پرش به محتوا

لم اقلیدس

از ویکی‌پدیا، دانشنامهٔ آزاد
صفحه عنوان اولین نسخه انگلیسی عناصر اقلیدس توسط سر هنری بیلینگزلی، 1570

در جبر و نظریۀ اعداد، لم اقلیدس (به انگلیسی: Euclid's lemma) بیان می‌کند که اگر ، آنگاه یا . که عددی اول و و اعدادی صحیح هستند؛ به عبارتی دیگر، اگر عدد اولی مانند ، حاصل‌ضرب و را عاد کند، در این صورت حداقل یکی از اعداد یا را عاد خواهد کرد؛ به عبارت دیگر، یا بر بخش‌پذیر هستند.

لم اقلیدس کاربردهای زیادی در نظریۀ اعداد دارد. یکی از این کاربردها را در قضیۀ اساسی حساب می‌بینیم.

اثبات

[ویرایش]

اثبات با استفاده از قضیۀ بزو:

طبق قضیۀ بزو، اگر و اعداد صحیح و نسبت به هم اول باشند، آنگاه اعداد صحیح و موجودند که:

حال در لم اقلیدس داریم و . لذا طبق قضیۀ بزو، و صحیحی موجودند که:

در نتیجه:

و از طرفی:

و لذا:

بنابراین:

جستارهای وابسته

[ویرایش]

منابع

[ویرایش]

مشارکت‌کنندگان ویکی‌پدیا. «Euclid's lemma». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۵ سپتامبر ۲۰۲۲.