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

[300px|تصغير|يسار|طريقة أقليدس لإيجاد القاسم المشترك الأكبر لعددين ابتُدأ بهما ممثلين بالقطعتين AB و CD، عُرفا كل منهما على أنهما مضاعفين لوحدة طول مشتركة. بما أن طول CD أقصر من AB، استعمل لقياس AB، ولكنه قاسه مرة واحدة لأن الباقي EA أصغر قطعا من CD. الآن، EA تقيس (مرتين) الطول الأقصر DC، حيث الباقي FC أقصر من EA. إذن، FC تقيس (ثلاث مرات) الطولEA. لأنه لم يبق أي باق، تتوقف العملية مع كون FC القاسم المشترك الأكبر. في اليمين، مثال [نيكوماكوس مع الأعداد 49 و21 معطيا قاسمهما المشترك الأكبر مساويا لسبعة. (أُخذ من Heath 1908:300).]]

في الرياضيات، **خوارزمية أقليدس**  هي طريقة فعالة تمكن من إيجاد القاسم المشترك الأكبر لعددين وهو أكبر عدد يقسم في نفس الوقت العددين معا بدون أي باق من القسمة. يُرمز له بالفرنسية ب PGCD وبالإنجليزية GCD.
سميت هذه الخوارزمية هكذا نسبة إلى عالم الرياضيات الإغريقي أقليدس الذي وصف الخوارزمية لأول مرة في كتابه المعروف باسم الأصول (حوالي عام 300 ق.م). هي مثال عن الخوارزميات (الخوارزمية طريقةٌ تمكن من القيام بعملية ما، خطوة خطوة طِبقا لقواعد معينة محددة مسبقا). وهو من أقدم الخوارزميات اللائي ما زلن قيد الاستعمال. قد تستعمل من أجل اختزال كسر إلى شكله المبسط غير القابل للاختزال، وهي جزء من الحسابات المتعلقة بنظرية الأعداد والتشفير.

تعتمد خوارزمية أقليدس على مبدأ أن القاسم المشترك الأكبر لعددين لا يتغير إذا عُوض أكبرهما بالفرق بينه وبين أصغرهما. على سبيل المثال، 21 هو القاسم المشترك الأكبر للعددين 252 و 105 (نظرا إلى أن 252 = 21 * 12 و 105 = 21 * 5)، وأن 21 هو أيضا القاسم المشترك الأكبر ل 105 و 252 - 105 = 147. بقلب مراحل خوارزمية أقليدس، الأخيرة، فما قبلها، فما قبلها وهكذا، يُحصل على صيغة يُعبر فيها عن القاسم المشترك الأكبر بتأليفة خطية للعددين الأصليين، أي على شكل مجموعهما بعد ضرب كل واحد منهما في عدد صحيح ما. على سبيل المثال، 21=5*105+(-2)*252. تعرف هذه المسألة بمتطابقة بيزو نسبة إلى عالم الرياضيات الفرنسي إيتيان بيزو.

الصيغة التي وُصفت أعلاه لخوارزمية أقليدس (وهكذا وصفها إقليدس) قد تتأخر أثناء عملية حساب الفرق بين أكبر العددين وأصغرهما، خصوصا إذا كان العدد الأكبر أكبر بكثير من العدد الأصغر. هناك صيغة أكثر سرعة من هذه الصيغة، تمكن من اختصار هذه المراحل. بدلا من تعويض أكبر العددين بالفرق بينه وبين أصغر العددين، يُعوض أكبر العددين بباقي قسمته على أصغر العددين. في هذه الطريقة، الخوارزمية تتوقف عندما يصيرا الباقي مساويا للصفر. تطبيقا لهذه الطريقة، الخوارزمية لا تتطلب أبدا، من الخطوات ما يتجاوز خمسة أضعاف عدد أرقام العدد المقسوم عليه، مكتوبا في القاعدة 10. برهن على هذه المسألة عالم الرياضيات الفرنسي غابرييل لامي. كان ذلك عام 1844، غارسا بذلك البذرة الأولى لعلم التعقد الحسابي. رأت النور خلال القرن العشرين طرق إضافية مكنت من جعل الخوارزمية أكثر قوة وسرعة.

لخوارزمية أقليدس العديد من التطبيقات النظرية والعملية. تستعمل من أجل اختزال الكسور إلى شكلها المبسط. تستعمل أيضا في أثناء القسمة في إطار الحسابيات النمطية. قد تشكل بعض من الحسابات المستعملة لهذه الخوارزمية، جزءا من بروتوكولات التعمية التي بفضلها تؤمن الاتصالات عبر الأنترنيت. وتستعمل أيضا في طرق تمكن من كسر هذه الأنظمة التشفيرية؛ وذلك بتحليل عدد صحيح إلى عوامل. تستعمل خوارزمية أقليدس في حلحلة بعض الأشكال الخاصة من المعادلات الديوفانتية، من قبيل ايجاد أعداد صحيحة تحقق معادلات تردُدية عدة في إطار مبرهنة الباقي الصينية، ومن قبيل إنشاء الكسور المستمرة ومن أجل ايجاد قيم مقربة جذرية لأعداد حقيقية. أضف إلى ذلك أنها تستعمل حجرَ أساس في البرهان على مبرهنات في نظرية الأعداد من قبيل مبرهنة المربعات الأربع للاغرانج والمبرهنة الأساسية في الحسابيات. صُممت الخوارزمية في الأصل من أجل العمل على قسمة الأعداد الطبيعية والقياسات الهندسية، ولكنها عُممت خلال القرن التاسع عشر على كائنات ر ياضية أخرى. الأعداد الصحيحة الغاوسية ومتعددات الحدود ذات متغير واحد مثالان على ذلك.

## مثال
القاسم المشترك الأكبر ل 48 و 60 هو 12.

القاسم المشترك الأكبر للعددين 252 و 198:

252 = 198 * 1 + 54 ‘ أربع وخمسون هو باقي قسمة 252 على 198

فنجد القاسم المشترك للعددين 198 و 54

198 = 54 * 3 + 36 ‘ ست وثلاثون هو باقي القسمة.

نكرر العملية هذه المرة مع: 54 و 36

54 = 36 * 1 + 18

مرة أخرى:
36 = 18 * 2 + 0

هنا وصلنا للصفر فيكون العدد الثاني 18 هو القاسم المشترك الأكبر.

## الخلفية: القاسم المشترك الأكبر

## وصف الخوارزمية

القاسم المشترك الأكبر لعددين طبيعيين A، B يساوي القاسم المشترك الأكبر للعدد الثاني B وباقي قسمة A على B، ونكرر العملية نفسها حتى يصبح باقي القسمة مساويا الصفر، عندئذ يكون القاسم المشترك الأكبر هو العدد الآخر.
حيث r هو باقي قسمة A على B.

N هو القاسم المشترك الأكبر.

## التطور التاريخي
[تصغير|alt="Depiction of Euclid as a bearded man holding a pair of dividers to a tablet."|من المحتمل أن تكون الخوارزمية الإقليدية قد اكتشفت قرونا قبل [إقليدس. بُين هنا في رسم يعود تاريخه إلى عام 1474، حاملا لقدمة ذات الورنية]]

خوارزمية أقليدس هي واحدة من أقدم الخوارزميات الجارية الاستعمال. ظهرت في كتاب الأصول لإقليدس (في حوالي عام 300 قبل الميلاد)، وبالتحديد في الكتاب السابع (الخاصيتان الأولى والثانية) والكتاب العاشر (الخاصيتان الثانية والثالثة). في الكاتب السابع، طُبقت الخوارزمية على الأعداد الطبيعية بينما في الكتاب العاشر، طُبقت على أطوال القطع المستقيمة.

خلال القرن التاسع عشر، فتحت خوارزمية أقليدس الباب نحو تطور أنظمة عددية جديدة. الأعداد الغاوسية وأعداد أيزنشتاين مثالان على ذلك. في عام 1815، استعمل غاوس خوارزمية أقليدس من أجل البرهان على وحدانية تفكيك الأعداد الغاوسية. رغم أن العمل قِيم بي في عام 1815، إلا أنه لم ينشر لأول مرة إلي في عام 1832. أشار غاوس إلى الخوارزمية في كتابه استفسارات حسابية والذي نُشر في عام 1801، ولكن فقط في شكل طريقة تمكن من حساب الكسور المستمرة.

## تطبيقات رياضياتية
### متطابقة بيزو
تنص متطابقة بيزو على أن القاسم المشترك الأكبر g لعددين a و b يمكن أن يمثل مجموعا خطيا للعددين a و b؛ أي أنه يوجد عددان، s و t حيث يتوفر ما يلي:
g = sa + tb

### الخوارزمية الإقليدية الممتدة

یمكن تمثیل القاسم المشترك الأكبر للعددین عن طریق دمج خطي مع عددین آخرین،

كیف یمكن أیجاد قیمتي n و m وذلك عن طریق خوارزمیة اقلیدس الممتدة وهناك ثلاثة طرق لمعرفة هذه القیم (الطرق هي مشابه لبعض، لكن یمكن القول أنها مختصره من الأخریات).
الطريقة الأولى: وهي يمكن ان نطلق عليها التراجع وفي هذه الطريقة نقوم بالحل عن طريق خوارزمية اقليدس وبعدها تقول بالتراجع الخلفي لايجاد قيمتي m،n كما في المثال التالي:
مثال: قم بتمثيل العددين 26 و 21 بطريقة اقليدس الممتدة:
فنبدأ بالحل كما هو الحال في طريقة اقليدس:
26 = 1* 21 + 5 و 21 = 4 * 5 + 1 و 5 = 5 * 1 + 0
وتتوقف عند الصفر. الآن المعادلة التي قبل المعادلة التي باقيها صفر أي المعادلة الثانية نقوم بكتابتها بالشكل التالي:
:1=21-4*5
أیضا المعادلة الأولى بنفس الشكل:
:5=26-1*21

في المعادلتين السابقتين
:1 = 21 – 4 * (26 – 1 * 21)

ومن غیر أجراء عملیة حسابیة، فقط نفك القوس لینتج:
1 = 21 -4*26 +4*21
1=21(1+4)-4*26 حيث 21 عامل مشترك
لیكون لدینا الناتج النهائي: 4*21 +21

1 = 5*21 + (-4)*26
نتاكد من النتيجة 5*21+ -4*26 والناتج يساوي واحد إذاً المعادلة صحيحة

إذاً قيمة m هي 5 وقيمة n هي -4.

### طريقة المصفوفات
: 
\begin{align}
a & = q_0 b + r_0 \\
b & = q_1 r_0 + r_1 \\
& \,\,\,\vdots \\
r_{N-2} & = q_N r_{N-1} + 0
\end{align}


:
\begin{pmatrix} a \\ b \end{pmatrix} =
\begin{pmatrix} q_0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} b \\ r_0 \end{pmatrix} =
\begin{pmatrix} q_0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} q_1 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} r_0 \\ r_1 \end{pmatrix} =
\cdots =
\prod_{i=0}^N \begin{pmatrix} q_i & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} r_{N-1} \\ 0 \end{pmatrix} \,.


:
\mathbf{M} = \begin{pmatrix} m_{11} & m_{12} \\ m_{21} & m_{22} \end{pmatrix} =
\prod_{i=0}^N \begin{pmatrix} q_i & 1 \\ 1 & 0 \end{pmatrix} =
\begin{pmatrix} q_0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} q_1 & 1 \\ 1 & 0 \end{pmatrix} \cdots \begin{pmatrix} q_{N} & 1 \\ 1 & 0 \end{pmatrix} \,.


: 
\begin{pmatrix} a \\ b \end{pmatrix} =
\mathbf{M} \begin{pmatrix} r_{N-1} \\ 0 \end{pmatrix} =
\mathbf{M} \begin{pmatrix} g \\ 0 \end{pmatrix} \,.


:
\begin{pmatrix} g \\ 0 \end{pmatrix} =
\mathbf{M}^{-1} \begin{pmatrix} a \\ b \end{pmatrix} =
(-1)^{N+1} \begin{pmatrix} m_{22} & -m_{12} \\ -m_{21} & m_{11} \end{pmatrix} \begin{pmatrix} a \\ b \end{pmatrix} \,.


: 

### المعادلات الديوفانتية الخطية
يمكن لخوارزمية أقليدس أيضا أن تستعمل من أجل حلحلة العديد من المعادلات الديوفانتية الخطية. تظهر واحدة من هده المعادلات في مبرهنة الباقي الصيني.

: 
\begin{align}
x_1 & \equiv x \bmod m_1 \\
x_2 & \equiv x \bmod m_2 \\
& \vdots \\
x_N & \equiv x \bmod m_N\,.
\end{align}


### مبرهنة الباقي الصيني
مبرهنة الباقي الصيني

: 
\begin{align}
x_1 & \equiv x \pmod {m_1} \\
x_2 & \equiv x \pmod {m_2} \\
& \,\,\,\vdots \\
x_N & \equiv x \pmod {m_N} \,.
\end{align}


### شجرة ستيرن-بروكوت
تصغير|300px|شجرة ستيرن-بروكوت، و متتاليات ستيرن-بروكوت من الرتبة ''i'' حيث ''i'' = 1، 2، 3، 4.

تُستعمل خوارزمية أقليدس من أجل ترتيب جميع الأعداد الجذرية الموجبة في شجرة ثنائية البحث غير منتهية، تسمى شجرة ستيرن-بروكوت.

### الكسور المستمرة
:
\begin{align}
\frac a b &= q_0 + \frac{r_0} b \\
\frac b {r_0} &= q_1 + \frac{r_1}{r_0} \\
\frac{r_0}{r_1} &= q_2 + \frac{r_2}{r_1} \\
& \,\,\, \vdots \\
\frac{r_{k-2}}{r_{k-1}} &= q_k + \frac{r_k}{r_{k-1}} \\
& \,\,\,  \vdots \\
\frac{r_{N-2}}{r_{N-1}} &= q_N\,.
\end{align}


:\frac a b = q_0 + \cfrac 1 {q_1 + \cfrac{r_1}{r_0}} \,.

:\frac a b = q_0 + \cfrac 1 {q_1 + \cfrac 1 {q_2 + \cfrac{r_2}{r_1}}}\,. 

:\frac a b = q_0 + \cfrac 1 {q_1 + \cfrac 1 {q_2 + \cfrac{1}{\ddots + \cfrac 1 {q_N}}}} = [ q_0; q_1, q_2, \ldots , q_N ] \,.

:\frac{1071}{462} = 2 + \cfrac 1 {3 + \cfrac 1 7} = [2; 3, 7]

## الفعالية الخوارزمية
[تصغير|alt="A set of colored lines radiating outwards from the origin of an ''x''-''y'' coordinate system. Each line corresponds to a set of number pairs requiring the same number of steps in the Euclidean algorithm."|عدد الخطوات المطلوبة في الخوارزمية الإقليدية لحساب القاسم المشترك الأكبر(''x''،''y''). النقط الحمراء تدل على عدد صغير نسبيا من الخطوات (سريع)، بينما النقط الصفراء والخضراء والزرقاء تدل على عدد أكبر على التوالي من النقط (بطيء). المنطقة الداكنة الزرقاء تخضع لمعادلة المستقيم ''y'' = Φ''x''، حيث Φ يمثل [نسبة ذهبية|النسبة الذهبية.]]

دُرست فعالية خوارزمية أقليدس بشكل كثيف. تتمثل هذه الفعالية في عدد الخطوات اللازمة من أجل إيجاد القاسم المشترك الأكبر المراد حسابه. أول تحليل لفعالية الخوارزمية يرجع إلى العالم غيينو، (كان ذلك عام 1811)، حيث أثبت أنه أثناء حساب القاسم المشترك الأكبر للعددين u و v، عدد الخطوات اللازمة، لا يمكن أن يتجاوز v. وزاد فيما بعد هذا البرهانَ دقة عندما برهن أن هذا العدد لا يمكن أن يتجاوز v/2 +2.

انظر إلى بيير جوزيف إتيان فينك. في عام 1837، درس إيميل ليجي أسوأ حالة، والتي هي حيث يكون المقسوم والمقسوم عليه عددان متتاليان من متتالية فيبوناتشي. واصل غابرييل لامي سير فينك في عام 1844، مبرهنا على أن عدد خطوات خوارزمية إقليدس لا تتجاوز أبدا خمس مرات عدد الأرقام اللائي يكونن المقسوم عليه، مكتوبا في القاعدة العشرية.

## في النظم العددية الأخرى
### الأعداد الجذرية والأعداد الحقيقية
### متعددات الحدود

:r_{k-2}(x) = q_k(x)r_{k-1}(x) + r_k(x),

:\begin{align}
   a(x) &= x^4 - 4x^3 + 4x^2 - 3x + 14 = (x^2 - 5x + 7)(x^2 + x + 2) \qquad \text{and}\\
   b(x) &= x^4 + 8x^3 + 12x^2 + 17x + 6 = (x^2 + 7x + 3)(x^2 + x + 2).
 \end{align}

### الأعداد الطبيعية الغاوسية
تصغير|alt="A set of dots lying within a circle. The pattern of dots has fourfold symmetry، i.e.، rotations by 90 degrees leave the pattern unchanged. The pattern can also be mirrored about four lines passing through the center of the circle: the vertical and horizontal axes، and the two diagonal lines at ±45 degrees."|توزيع الأعداد الطبيعية الغاوسية ''u''&nbsp;+&nbsp;''vi'' في المستوى العقدي، من معايير ''u''<sup>2</sup>&nbsp;+&nbsp;''v''<sup>2</sup> أصغر من 500

الأعداد الغاوسية الصحيحة هن أعداد مركبة  حيث u و v أعداد صحيحة، و هو الجذر التربيعي لناقص واحد. بتعريف خوارزمية مماثلة لخوارزمية أقليدس، يتبين أن الأعداد الغاوسية تقبل هي الأخرى تفكيكا وحيدا لجداء أعداد غاوسية أخرى، وذلك باستعمال الحجة نفسها التي استعمل أعلاه. هذا التفكيك الوحيد يساعد في العديد من المجالات، منها على سبيل المثال، ايجاد جميع ثلاثيات فيثاغورس، ومنها أيضا البرهان على مبرهنة فيرما حول مجموع مربعين. مساهمة خوارزمية أقليدس في هذه التطبيقات غير أساسية حيث يمكن أن يُبرهن عليها بطرق أخرى.

### المجالات الإقليدية
### الحلقات غير التبادلية

## تعميمات إلى بُنى رياضياتية أخرى
[تصغير|alt="A cord wound seven times around a torus and reconnected to its beginning، forming a closed loop. In the process، the cord completes three circuits of the torus، forming a (3، 7) torus knot."|يمكن أن تطبق الخوارزمية الإقليدية في [نظرية العقد (رياضيات)|نظرية العقد.]]

## المراجع
* من كتاب مقدمة في التشفير بالطرق الكلاسيكية

## وصلات خارجية

تصنيف:إقليدس
تصنيف:حسابيات
تصنيف:خوارزميات نظرية الأعداد
تصنيف:مقالات تحوي براهين