اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
مبرهنة إقليدس (بالإنجليزية: Euclid"s theorem) هي مبرهنة أساسية في نظرية الأعداد تنص أنه يوجد عدد لا نهائي من الأعداد الأولية. هناك العديد من البراهين المعروفة لهذه المبرهنة.
أعطى هذا البرهانَ إقليدس في كتابه العناصر، يأتي فيما يلي نصا:
لتكن لائحة الأعداد الأولية المنتهية p1, p2, ..., pn. سيُبرهن على أنه يوجد عدد أولي آخر ليس ضمن هذه المجموعة. وليكن P جداء هذه الأعداد الأولية جميعهن. P = p1p2...pn. وليكن q = P + 1. قد يكون q أوليا وقد يكون غير أولي.
يعتمد برهان آخر قدمه عالم الرياضيات السويسري ليونهارت أويلر على المبرهنة الأساسية في الحسابيات : لكل عدد صحيح طبيعي تعميل وحيد إلى جداء أعداد أولية. إذا كانت P هي مجموعة الأعداد الأولية، فإن أويلر كتب ما يلي:
المتساوية الأولى تعطيها صيغة المتسلسلة الهندسية
أعطى بول إيردوس برهانا تعتمد أيضا على المبرهنة الأساسية في الحسابيات. لاحِظ أن كل عدد صحيح يكتب على الشكل الوحيد التالي :
حيث r خال من المربعات (أي أنه غير قابل للقسمة على مربع أي عدد صحيح). ولنفترض أن عدد الأعداد الأولية منته وليكن عددهم هو k...
في خمسينات القرن العشرين، قدم هيليل فورشتنبرغ برهانا للا نهائية الأعداد الأولية باستعمال الطوبولوجيا العامة. انظر إلى برهان فورشتنبرغ على لا نهاية الأعداد الأولية.
تمثيل صيغة لايبنتس ل π على شكل جداء لأويلر يعطي ما يلي
كل مقام هو أقرب مضاعفات 4 للبسط. إذا كان عدد الأعداد الأولية منتهيا، لصار π عددا جذريا. وهذا يتناقض مع كون π عددا غير جذري. ولكن البرهان على أن π عدد غير جذري أصعب بكثير من البرهان على وجود عدد لا نهائي من الأعداد الأولية.