مبرهنة أويلر

في نظرية الأعداد، مبرهنة أويلر لصاحبها ليونارد أويلر تنص على أنه إذا كان n عددا طبيعيا وa أوليا مع n، فإن a مرفع لقوة $\varphi (n)$ يطابق 1 قياس n:

$a^{\varphi (n)}\equiv 1\mod n$

حيث $\varphi (n)$ دالة أويلر أو مؤشر أويلر

في 1736، قدم أويلر إثباته لمبرهنة فيرما الصغرى، والتي قدمها فيرما دون إثبات. بعد ذلك، قدم أويلر أدلة أخرى على النظرية، وبلغت ذروتها بـ «نظرية أويلر» في ورقته البحثية عام 1763، والتي حاول فيها إيجاد أصغر أس الذي به تكون نظرية فيرما الصغرى صحيحة دائمًا.

النظرية تعد تعميماً لنظرية فيرما الصغرى، ويمكن تعميمها إلى مبرهنة كارمايكل.

يمكن استخدام المبرهنة لإيجاد البواقي لإعداد ذات قوى كبيرة ل"n" بسهولة. على سبيل المثال: لإيجاد وحدة الآحاد للعدد $7^{222}$ والذي يكافئ $7^{222}{\pmod {10}}$

$7^{\varphi (10)}\equiv 7^{4}\equiv 1{\pmod {10}}\implies 7^{220}\equiv 1{\pmod {10}}\implies 7^{222}\equiv 49\equiv 9{\pmod {10}}$

إذا آحاد العدد $7^{222}$ ^{هو 9}

البرهان

لتكن $R=\{x_{1},x_{2},...,x_{\varphi (n)}\}$ _{نظام بواقي مصغر (mod n) ولتكن a عدداً صحيحاً أولي نسبياً مع n.}

البرهان مبني على أن الضرب بـa يدوّر الباقي x_i: بكلمات أخرى إذا كان $ax_{j}\equiv ax_{k}{\pmod {n}}$ فإن $j=k$.

ما يعني أن المجموعات $R$ و $aR=\{ax_{1},ax_{2},...,ax_{\varphi (n)}\}$ بأخذهم (mod n) فإن لهم نفس الباقي، مايعني أن حاصل ضرب عناصر المجموعة R مساوٍ لـ aR :

$\prod _{i=1}^{\varphi (n)}x_{i}\equiv \prod _{i=1}^{\varphi (n)}ax_{i}\equiv a^{\varphi (n)}\prod _{i=1}^{\varphi (n)}x_{i}{\pmod {n}},$ وبالتالي نستطيع التخلص من x_i ونحصل على مبرهنة أويلر:

$a^{\varphi (n)}\equiv 1{\pmod {n}}.$

راجع أيضاً

• مبرهنة كارمايكل
• مبرهنة فيرما الصغرى
• نظرية ويلسون

المصادر

• Gauss، Carl Friedrich؛ Clarke، Arthur A. (translator into English) (1986)، Disquisitiones Arithemeticae (Second, corrected edition)، New York: Springer، ISBN:0-387-96254-9 {{استشهاد}}: |الأول2= باسم عام (مساعدة)
• Gauss، Carl Friedrich؛ Maser، H. (translator into German) (1965)، Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition)، New York: Chelsea، ISBN:0-8284-0191-8 {{استشهاد}}: |الأول2= باسم عام (مساعدة)
• Hardy، G. H.؛ Wright، E. M. (1980)، An Introduction to the Theory of Numbers (Fifth edition)، Oxford: مطبعة جامعة أكسفورد، ISBN:978-0-19-853171-5== وصلات خارجية ==
• إيريك ويستاين، {{{title}}}، ماثوورلد Mathworld (باللغة الإنكليزية).

• Euler's Theorem at PlanetMath