ar %D8%AA%D9%88%D8%B7%D8%A6%D8%A9 %D8%A5%D9%82%D9%84%D9%8A%D8%AF%D8%B3

توطئة إقليدس هي توطئة في الجبر ونظرية الأعداد تصف خاصية أساسية للأعداد الأولية وتحديدًا:^{[note 1]}

لو أن العدد الأولي $p$ يقسم حاصل الضرب $ab$ للعددين الصحيحين $a$ و $b$ , فإن $p$ يقسم على الأقل واحد من هذين العددين الصحيحين $a$ أو $b$ . — توطئة إقليدس

كمثال، لو كان $p = 19$ ، $a = 133$ ، $b = 143$ ، إذا $ab = 133 \times 143 = 19019$ ، وبما أن هذه القيمة قابلة للقسمة على 19، فبحسب التوطئة يكون أحد العددين 133 أو 143 أو كليهما قابلا للقسمة على 19. وبالفعل نجد أن $133 = 19 \times 7$ .

استخدمت هذه الخاصية لإثبات مبرهنة الحساب الأساسية.^{[note 2]} واستخدمت لتعريف العناصر الأولية، وهي تعميم للأعداد الأولية في الحلقات التبادلية العشوائية. توضح توطئة إقليدس أن العناصر غير القابلة للاختزال في مجموعة الأعداد الصحيحة هي أيضًا عناصر أولية. يستخدم البرهان الاستقراء الرياضي لذا لا ينطبق على جميع المجالات التكاملية.

صياغات التوطئة

عادة ما تستخدم توطئة إقليدس بالشكل التالي:

مبرهنة — إذا كانت $p$ عددا أوليا قاسما لجداء $ab$ وغير قاسمة لـ $a,$ فهي إذا قاسمة لـ $b.$

يمكن تعميم توطئة إقليدس من الأعداد الأولية إلى أي أعداد صحيحة على النحو التالي.

مبرهنة — إذا كان العدد الصحيح $n$ قاسما لجداء العددين الصحيحين $ab$ , وكان أوليا نسبيا مع $a$ , فإن $n$ يقسم $b$ .

هذا تعميم لأن العدد الأولي $p$ هو أولي نسبيا مع العدد الصحيح $a$ إذا وفقط إذا كان $p$ لا يقسم $a$ .

تاريخ

ظهرت التوطئة لأول مرة كمبرهنة رقم 30 في الكتاب السابع من أصول إقليدس. وضمنيا هو جزء في أي كتاب يغطي نظرية الأعداد الأولية.^[4]^[5]^[6]^[7]^[8]

ظهر تعميم التوطئة للأعداد الصحيحة عام 1681 في كتاب جان برستيه Nouveaux Elémens de Mathématiques.^[9]

ظهرت التوطئة في أطروحة جاوس Disquisitiones Arithmeticae، كمبرهنة إقليدس رقم 14 (القسم 2)، والني استخدمها جاوس لإثبات تفرد ناتج تحليل عدد صحيح لعوامله الأولية (نظرية 16)، مقرا ببديهية هذا الأمر. ومن ثم يصل لتعميم الأعداد الأولية على الأعداد الصحيحة.^[10] لهذا السبب، يُشار أحيانًا لتعميم توطئة إقليدس باسم توطئة جاوس، ولكن يعتقد البعض أن هذا الاستخدام غير صحيح^[11] بسبب الخلط بينها وبين توطئة جاوس للبواقي التربيعية.

براهين

مثال

مراجع

^ Bajnok 2013، Theorem 14.5
^ Joyner, Kreminski & Turisco 2004، Proposition 1.5.8, p. 25
^ Martin 2012، صفحة 125
^ Gauss 2001، صفحة 14
^ Hardy, Wright & Wiles 2008، Theorem 3
^ Ireland & Rosen 2010، Proposition 1.1.1
^ Landau 1999، Theorem 15
^ Riesel 1994، Theorem A2.1
^ Euclid 1994، صفحات 338–339
^ Gauss 2001، Article 19
^ إيريك ويستاين، Euclid's Lemma، ماثوورلد Mathworld (باللغة الإنكليزية).

^ It is also called Euclid's first theorem^[1]^[2] although that name more properly belongs to the side-angle-side condition for showing that مثلثs are congruent.^[3]
^ In general, to show that a domain is a مجال ذو تفكيك وحيد (جبر), it suffices to prove Euclid's lemma and the ascending chain condition on principal ideals (ACCP)

انظر أيضا

خوارزمية أقليدس

هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.

[1] Bajnok 2013، Theorem 14.5

[2] Joyner, Kreminski & Turisco 2004، Proposition 1.5.8, p. 25

[3] Martin 2012، صفحة 125

[DA1-6] Gauss 2001، صفحة 14

[7] Hardy, Wright & Wiles 2008، Theorem 3

[8] Ireland & Rosen 2010، Proposition 1.1.1

[9] Landau 1999، Theorem 15

[10] Riesel 1994، Theorem A2.1

[11] Euclid 1994، صفحات 338–339

[DA2-12] Gauss 2001، Article 19

[13] إيريك ويستاين، Euclid's Lemma، ماثوورلد Mathworld (باللغة الإنكليزية).

[4] It is also called Euclid's first theorem^[1]^[2] although that name more properly belongs to the side-angle-side condition for showing that مثلثs are congruent.^[3]

[5] In general, to show that a domain is a مجال ذو تفكيك وحيد (جبر), it suffices to prove Euclid's lemma and the ascending chain condition on principal ideals (ACCP)

[note 1]

[note 2]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[1]

[2]

[3]