<addthis />

متطابقة بوزو

من EverybodyWiki Bios & Wiki
اذهب إلى:تصفح، ابحث

خطأ: لا توجد وحدة بهذا الاسم "Unsubst".

في الحسابيات المعيارية، متطابقة بوزو هي معادلة ديوفنتية خطية :

حيث .

أعلن كلود غاسبارد باشي دي ميزيرياك هذه المبرهنة للمرة الأولى في كتابه Problèmes plaisants et délectables qui se font par les nombres، المطبوع في ليون سنة 1612.و خلال القرن 18م، عمم الرياضياتي إيتيين بوزو هذه النتيجة، و خاصة للحدوديات.

متطابقة بوزو في Z[عدل]

مبرهنة بوزو[عدل]

مبرهنة- ليكن a و b عددين صحيحين، إذا كان d هو قاسمهما المشترك الأكبر فإنه يوجد عددان صحيحان x و y بحيث x.a+y.b=d

و يكون، a و b أوليان فيما بينهما إذا و فقط إذا وجد عددان صحيحان x و y بحيث x.a+y.b=1.

البرهان- ليكن

جزء غير فارغ من ، إذن فهو يقبل أصغر عنصر .القسمة الإقليدية ل على تعطي و .و منه .

بافتراض أن ، سيكون و ، و هذا مستحيل ( هو أصغر عنصر ل).هكذا و يقسم .بالمثل يقسم . إذن قاسم مشترك ل و .و في النهاية، إذا كان قاسما مشتركا ل و ، فهو يقسم ، إذن هو القاسم المشترك الأكبر ل و .

تعطى الأعداد الصحيحة x و y أعلاه بخوارزمية إقليدس الممددة؛ وهي ليست وحيدة.

على سبيل المثال، فالقاسم المشترك الأكبر ل 12 و 42 هو 6، و نستطيع كتابة

و أيضا

انطلاقا من زوج حل، يمكن الحصول على كل الحلول الأخرى بتغيير :

تطبيقات[عدل]

يمكن استعمال مبرهنة بوزو لبرهان مبرهنة غاوس.

تعميمات[عدل]

مبرهنة- لتكن أعدادا صحيحة.يكون قاسمها المشترك الأكبر إذا و فقط إذا وجدت أعداد صحيحة حيث :

.

و تكون، أولية فيما بينها إذا و فقط إذا وجدت أعداد صحيحة حيث :

.

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

متطابقة بوزو في [Z[X[عدل]

مبرهنة- لتكن عائلة حدوديات من ، يكون قاسمها المشترك الأكبر إذا و فقط إذا وجدت عائلة حدوديات من بحيث.

و تكون الحدوديات أولية فيما بينها إذا و فقط إذا وجدت عائلة حدوديات من بحيث.

التمديد إلى حلقات أساسية كيفما كانت[عدل]

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

في حلقة أساسية، قاسم مشترك ل و هو مولد ل ، متطابقة بوزو هي نتيجة لهذا التعريف.

انظر أيضا[عدل]

مراجع[عدل]

Identité de Bézout-Wikimédia par moulin.

وصلات خارجية[عدل]

خطأ: لا توجد وحدة بهذا الاسم "Portal".


خطأ لوا في وحدة:ضبط_استنادي على السطر 904: attempt to index field 'wikibase' (a nil value).


This article "متطابقة بوزو" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:متطابقة بوزو. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.