کوچک‌ترین مضرب مشترک

در حساب و نظریه اعداد، کوچکترین مضرب مشترک    از دو عدد صحیح a و b را اغلب به صورت (LCM(a, b نمایش داده که کوچکترین عدد صحیح مثبتی است که بر هردوی a و b بخش پذیر می‌باشد.Hardy & Wright, § 5.1, p. 48 از آنجا که تقسیم بر صفر تعریف نشده، تعریف ک.م.م. تنها زمانی معنادار است که a و b هردو مخالف صفر باشند. با اینحال، برخی از مؤلفان  را برای تمام a‌ها برابر با صفر تعریف می‌کنند، به این دلیل که ک.م.م. را کوچکترین کران بالایی در مشبکه بخش‌پذیری تعریف می‌نمایند.

همچنین ک.م.م. را می‌توان آن قبل از جمع، تفریق یا مقایسه کسرها به کار برد. ک.م.م. بیش از دو عدد صحیح نیز خوش‌تعریف است: در این حالت ک.م.م. برابر با کوچکترین عدد صحیح مثبتی است که بر هرکدام از آن‌ها بخش‌پذیر باشد.

 تعریف  
فرض کنید  اعداد صحیح و ناصفر باشند. در میان مضرب‌های مشترک مثبت  کوچکترین عدد را (که بنا بر اصل خوش ترتیبی وجود دارد.) کوچکترین مضرب مشترک  می‌نامیم و آن را با ‍ نشان می‌دهیم.

 قضیه 
اگر  اعدادی صحیح و ناصفر باشند، هر مضرب مشترک آن‌ها بر  بخش‌پذیر است.

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

(۱)  و 

از طرف دیگر
 و  برای هر 

بنابراین

یعنی  مضربی مشترک از  است. در نتیجه اگر ، آنگاه ، که با نابرابری سمت راست (۱) تناقض دارد بنابراین  و 

 محاسبه ک.م.م. 
برای محاسبه ک.م.م. می‌توان همه اعداد را به عوامل اول تجزیه کرد. ک.م.م. برابر حاصل ضرب عوامل مشترک با توان بزرگتر و عوامل غیر مشترک می‌شود. همچنین می‌توان ک.م.م. را به کمک ب.م.م. تعریف نمود: از آنجا که ب م م دو عدد برابر با حاصل ضرب آنها تقسیم بر ک.م.م. آنها است، ک.م.م. دو عدد برابر با حاصل ضرب آنها تقسیم بر ب.م. م آنهاست:

از آنجا که ب.م.م. دو عدد شمارنده هر دو است، بهتر است اول تقسیم و سپس ضرب کرد که بدین ترتیب ک.م.م. به این شکل تعریف خواهد شد:

 جستارهای وابسته 
 بزرگ‌ترین مقسوم‌علیه مشترک
 ارجاعات

 منابع 




رده:چهار عمل اصلی
رده:عملیات روی اعداد
رده:نظریه اعداد