بررسی برخی لم ها و قضیه های ریاضی

مدیران انجمن: parse, javad123javad

امید سیدیان

عضویت : پنج‌شنبه ۱۳۹۱/۴/۱۵ - ۲۰:۲۷


پست: 495

سپاس: 565

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط امید سیدیان »

ف ی ز ی ک نوشته شده:
آقای سیدیان نوشته شده:بی شمار عدد اول موجود است.
سلام و درود smile072
می دانیم که هر عدد صحیح مرکب از دو یا چند عدد اول ساخته می شود. پس اگر تعداد اعداد اول متناهی باشد، تعدادا کل اعداد متناهی است.یعنی بی نهایت عدد نداریم که این تناقض است. در نتیجه تعداد اعداد اول نامتناهی است.
مشکل اینجاست که حتی با متناهی عدد اول می شه نامتناهی عدد مرکب ساخت!
برای مثال صرفاً به 2 و 3 نگاه کن؛
با ضرب توان های مختلف 2 و 3، می شه نامتناهی عدد مرکب ساخت:

یک روز پادشاهی بهتر از چهل سال بندگی است

ف ی ز ی ک

عضویت : یک‌شنبه ۱۳۹۳/۱/۲۴ - ۱۵:۴۷


پست: 86

سپاس: 115

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط ف ی ز ی ک »

آقای سیدیان نوشته شده: مشکل اینجاست که حتی با متناهی عدد اول می شه نامتناهی عدد مرکب ساخت!
برای مثال صرفاً به 2 و 3 نگاه کن؛
با ضرب توان های مختلف 2 و 3، می شه نامتناهی عدد مرکب ساخت:
بله درسته، ولی به نظرتون میشه با تعداد متناهی از اعداد اول، همه ی اعداد مرکب را ساخت؟!
مثلا با اعداد 2 و 3 میتوان بی نهایت عدد ساخت، اما فقط اعدادی که مضرب 2 و 3 اند.پس شما عدد 10را چطور درست میکنید؟ بدیهی است که به عدد اول 5 هم نیاز داریم!
پس نباید هیچ محدودیتی برای تعداد اعداد اول وجود داشته باشد.

امید سیدیان

عضویت : پنج‌شنبه ۱۳۹۱/۴/۱۵ - ۲۰:۲۷


پست: 495

سپاس: 565

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط امید سیدیان »

ف ی ز ی ک نوشته شده:بله درسته، ولی به نظرتون میشه با تعداد متناهی از اعداد اول، همه ی اعداد مرکب را ساخت؟!
مثلا با اعداد 2 و 3 میتوان بی نهایت عدد ساخت، اما فقط اعدادی که مضرب 2 و 3 اند.پس شما عدد 10را چطور درست میکنید؟ بدیهی است که به عدد اول 5 هم نیاز داریم!
پس نباید هیچ محدودیتی برای تعداد اعداد اول وجود داشته باشد.
سلام بر شما

کاملاً درست می فرمایید. شهود شما درست است؛
اما باید این ایده ی خود را دقیق بنویسید.

بیش تر توضیح می دم:

در پست پیشین خود، شما فقط گفتید که اعداد مرکب نامتناهی اند.
این نامتناهی بودن اعداد مرکب، نا متناهی بودن اعداد اول را نتیجه نمی دهد.
حتی اگر عدد اول 2 را نیز در نظر بگیریم، می توانیم بی شمار عدد مرکب بسازیم.

پاینده باشید.
یک روز پادشاهی بهتر از چهل سال بندگی است

نمایه کاربر
mrfane

محل اقامت: تهران

عضویت : پنج‌شنبه ۱۳۹۰/۹/۲۴ - ۰۰:۰۵


پست: 814

سپاس: 550

جنسیت:

تماس:

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط mrfane »

اثبات بی پایان بودن اعداد اول:
روش برهان خلف:
فرض کنید تعداد اعداد اول محدود و برابر

باشد. ما آنها را با

نشان می دهیم.
عدد

را در نظر بگیرید به طوری که حاصلضرب همه اعداد اول باشد. یعنی:

مشخص است که این عدد از همه اعداد اول بزرگ تر است.
باقیمانده تقسیم

بر تک تک اعداد اول صفر خواهد بود.
باقیمانده

بر تک تک اعدد اول برابر با 1 خواهد بود. پس

بر هیچ عدد اولی بخشپذیر نیست.
پس

عددی اول است. که این خلاف فرض ماست.
لذا فرض اولیه ما اشتباه بوده و اعداد اول نامتناهی اند. smile039
آنچه دانه را شکافت، آن خدای من است.

امید سیدیان

عضویت : پنج‌شنبه ۱۳۹۱/۴/۱۵ - ۲۰:۲۷


پست: 495

سپاس: 565

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط امید سیدیان »

mrfane نوشته شده:اثبات بی پایان بودن اعداد اول:
روش برهان خلف:
فرض کنید تعداد اعداد اول محدود و برابر

باشد. ما آنها را با

نشان می دهیم.
عدد

را در نظر بگیرید به طوری که حاصلضرب همه اعداد اول باشد. یعنی:

مشخص است که این عدد از همه اعداد اول بزرگ تر است.
باقیمانده تقسیم

بر تک تک اعداد اول صفر خواهد بود.
باقیمانده

بر تک تک اعدد اول برابر با 1 خواهد بود. پس

بر هیچ عدد اولی بخشپذیر نیست.
پس

عددی اول است. که این خلاف فرض ماست.
لذا فرض اولیه ما اشتباه بوده و اعداد اول نامتناهی اند. smile039
همونطور کی می بینید اثباتش فوق العاده ساده و هوشمندانه است.
از این دست اثبات ها توی ریاضی زیاد داریم؛
اثبات هایی که برای قضیه های به ظاهر پیچیده هستند ولی خیلی ساده اند.
یک روز پادشاهی بهتر از چهل سال بندگی است

نمایه کاربر
ویستاM

عضویت : شنبه ۱۳۸۹/۵/۱۶ - ۱۹:۴۵


پست: 399

سپاس: 351

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط ویستاM »

mrfane نوشته شده:اثبات بی پایان بودن اعداد اول:
روش برهان خلف:
فرض کنید تعداد اعداد اول محدود و برابر

باشد. ما آنها را با

نشان می دهیم.
عدد

را در نظر بگیرید به طوری که حاصلضرب همه اعداد اول باشد. یعنی:

مشخص است که این عدد از همه اعداد اول بزرگ تر است.
باقیمانده تقسیم

بر تک تک اعداد اول صفر خواهد بود.
باقیمانده

بر تک تک اعدد اول برابر با 1 خواهد بود. پس

بر هیچ عدد اولی بخشپذیر نیست.
پس

عددی اول است. که این خلاف فرض ماست.
لذا فرض اولیه ما اشتباه بوده و اعداد اول نامتناهی اند. smile039
همین که عددی که بر هیچ عدد اولی بخش پذیر نباشه یک عدد اوله رو باید ثابت کرد!
بیان دیگه:
قضیه اساسی حساب
هر عدد صحیح n که 1± ≠ n، را می‌توان به صورت حاصل ضرب عوامل اول نوشت. بعلاوه، این نمایش به عوامل اول صرف نظر از ترتیب عوامل یکتا است.

البته من اثباتی بجز این برای بی شماری اعداد اول دنبال نکردم ولی به نظرم میرسه اثباتش باید سرراست تر از این باشه که از یک قضیه دیگه مثل قضیه اساسی حساب استفاده کنیم. البته راهی که به ذهن من میرسه با فرض خلف شروع میشه
نمیدونم شایدم برداشت من از اثبات درست نیست و اصلا به قضیه اساسی حساب هم نیازی نداریم!نظر شما چیه؟! smile072
جهان به حق مدیون ملت و ملیت ایرانی است
با افتخار و غرور ایرانی ام بر سر جهانیان فریاد میزنم که:
من نواده ی کوروش کبیرم

امید سیدیان

عضویت : پنج‌شنبه ۱۳۹۱/۴/۱۵ - ۲۰:۲۷


پست: 495

سپاس: 565

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط امید سیدیان »

ویستاM نوشته شده:
mrfane نوشته شده:اثبات بی پایان بودن اعداد اول:
روش برهان خلف:
فرض کنید تعداد اعداد اول محدود و برابر

باشد. ما آنها را با

نشان می دهیم.
عدد

را در نظر بگیرید به طوری که حاصلضرب همه اعداد اول باشد. یعنی:

مشخص است که این عدد از همه اعداد اول بزرگ تر است.
باقیمانده تقسیم

بر تک تک اعداد اول صفر خواهد بود.
باقیمانده

بر تک تک اعدد اول برابر با 1 خواهد بود. پس

بر هیچ عدد اولی بخشپذیر نیست.
پس

عددی اول است. که این خلاف فرض ماست.
لذا فرض اولیه ما اشتباه بوده و اعداد اول نامتناهی اند. smile039
همین که عددی که بر هیچ عدد اولی بخش پذیر نباشه یک عدد اوله رو باید ثابت کرد!
بیان دیگه:
قضیه اساسی حساب
هر عدد صحیح n که 1± ≠ n، را می‌توان به صورت حاصل ضرب عوامل اول نوشت. بعلاوه، این نمایش به عوامل اول صرف نظر از ترتیب عوامل یکتا است.

البته من اثباتی بجز این برای بی شماری اعداد اول دنبال نکردم ولی به نظرم میرسه اثباتش باید سرراست تر از این باشه که از یک قضیه دیگه مثل قضیه اساسی حساب استفاده کنیم. البته راهی که به ذهن من میرسه با فرض خلف شروع میشه
نمیدونم شایدم برداشت من از اثبات درست نیست و اصلا به قضیه اساسی حساب هم نیازی نداریم!نظر شما چیه؟! smile072
سلام و درود بر شما
برای قسمت اولی که فرمودید،
به نظر من تعریف عدد اول خودش همه چیز رو بیان می کنه:
عدد طبیعی بزرگتر از یک اول است، با این شرط که تنها دو مقسوم علیه ِمثبت آن، خودش و عدد یک باشد.
یک روز پادشاهی بهتر از چهل سال بندگی است

نمایه کاربر
ویستاM

عضویت : شنبه ۱۳۸۹/۵/۱۶ - ۱۹:۴۵


پست: 399

سپاس: 351

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط ویستاM »

آقای سیدیان نوشته شده:
ویستاM نوشته شده:
mrfane نوشته شده:اثبات بی پایان بودن اعداد اول:
روش برهان خلف:
فرض کنید تعداد اعداد اول محدود و برابر

باشد. ما آنها را با

نشان می دهیم.
عدد

را در نظر بگیرید به طوری که حاصلضرب همه اعداد اول باشد. یعنی:

مشخص است که این عدد از همه اعداد اول بزرگ تر است.
باقیمانده تقسیم

بر تک تک اعداد اول صفر خواهد بود.
باقیمانده

بر تک تک اعدد اول برابر با 1 خواهد بود. پس

بر هیچ عدد اولی بخشپذیر نیست.
پس

عددی اول است. که این خلاف فرض ماست.
لذا فرض اولیه ما اشتباه بوده و اعداد اول نامتناهی اند. smile039
همین که عددی که بر هیچ عدد اولی بخش پذیر نباشه یک عدد اوله رو باید ثابت کرد!
بیان دیگه:
قضیه اساسی حساب
هر عدد صحیح n که 1± ≠ n، را می‌توان به صورت حاصل ضرب عوامل اول نوشت. بعلاوه، این نمایش به عوامل اول صرف نظر از ترتیب عوامل یکتا است.

البته من اثباتی بجز این برای بی شماری اعداد اول دنبال نکردم ولی به نظرم میرسه اثباتش باید سرراست تر از این باشه که از یک قضیه دیگه مثل قضیه اساسی حساب استفاده کنیم. البته راهی که به ذهن من میرسه با فرض خلف شروع میشه
نمیدونم شایدم برداشت من از اثبات درست نیست و اصلا به قضیه اساسی حساب هم نیازی نداریم!نظر شما چیه؟! smile072
سلام و درود بر شما
برای قسمت اولی که فرمودید،
به نظر من تعریف عدد اول خودش همه چیز رو بیان می کنه:
عدد طبیعی بزرگتر از یک اول است، با این شرط که تنها دو مقسوم علیه ِمثبت آن، خودش و عدد یک باشد.
ممنون از پاسختون
تعریف عدداول این رو ثابت می کنه که عدد اول بر هیچ عددی بجز خودش و 1 بخش پذیر نیست
اما چیزی که اینجا میبینیم عددیه که بر هیچ عدد اولی بخش پذیر نیست
باید ثابت کنیم که همه ی اعداد رو میتونیم به صورت عوامل اول بنویسیم (قضیه اساسی حساب) و بعد از این واقعیت استفاده کنیم
بنظرم میاد اثبات بی شماری اعداد اول باید پایه ای تر باشه و بشه مستقل از این قضیه حسابش کرد
نمیدونم منظورم رو رسوندم یانه!
پیروز باشید
جهان به حق مدیون ملت و ملیت ایرانی است
با افتخار و غرور ایرانی ام بر سر جهانیان فریاد میزنم که:
من نواده ی کوروش کبیرم

نمایه کاربر
ویستاM

عضویت : شنبه ۱۳۸۹/۵/۱۶ - ۱۹:۴۵


پست: 399

سپاس: 351

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط ویستاM »

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

نمایه کاربر
Saman Q

عضویت : یک‌شنبه ۱۳۹۳/۳/۱۱ - ۲۰:۰۸


پست: 56

سپاس: 31

جنسیت:

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط Saman Q »

این اثبات نامتناهی بودن اعداد اوله که :

میدونیم 2 , 3 , 5 و ... اعداد اول اند.

حالا فرض میکنیم دنبالشون متناهیه !
پس

فقط عدد اول هستند.

حالا عدد

رو در نظر میگیریم که برابر

حالا چون

یک عدد طبیعی و مخالف

است , پس

مرکبه و یک مقسوم علیه اول دارد که آن را

می نامیم پس داریم :



و

پس

بر

تقسیم پذیره , یعنی

که غیر ممکنه پس اعداد اول نامتناهیه !

ویرایش : ببخشید متوجه نشدم که نامتناهی بودن اعداد اول در این تاپیک اثبات شده smile026 حواس پرتیم رو به خوبیه خودتون ببخشید ! smile072
تصویر

نمایه کاربر
Parmenides

عضویت : دوشنبه ۱۳۸۵/۱۲/۲۸ - ۱۵:۴۱


پست: 1325

سپاس: 239

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط Parmenides »

قضیه اساسی حساب دیفرانسیل و انتگرال (1):

فرض کنید:



تابعی است یک متغیره که در بازه

پیوسته است.

و








در این صورت:



یک پاد مشتق

روی

است، یعنی:





No rational argument will have a rational effect on a man who does not want to adopt a rational attitude.

-Karl Popper-

امید سیدیان

عضویت : پنج‌شنبه ۱۳۹۱/۴/۱۵ - ۲۰:۲۷


پست: 495

سپاس: 565

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط امید سیدیان »

با سلام خدمت بچه های هوپا؛

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

هدف اصلی جستار:

هدف این جستار اثبات کردن قضیه ها و لم ها نیست!
هدف اصلی، بررسی قضیه هاست.

شما تقریباً هر قضیه ای رو که در نظر بگیرید، اثباتش رو می تونید توی نت پیدا کنید.
حتی اگر مستقیماً هم اثباتش پیدا نشه، می شه اون رو توی پی دی اف های لکچر های دانشکده های ریاضی دنیا پیدا کرد.

همونطور که بهتون گفتم هدف ما این نیست که بریم مثل احمق ها (منظورم اصلاً شما عزیزان نیستید!) یک سری اثبات رو از یک جا کپی کنیم؛
بلکه هدف ما اینه که بیایم اصلاً درست قضیه نوشتن رو یاد بگیریم،
اثبات کردن رو یاد بگیریم و حال کنیم!
چند تا قضیه ببینیم برامون مرور بشه، و از ظرافت هاش کیف کنیم!


راجع به اثبات کردن:

. اثبات کردن کلاً و اساساً کار ساده و طبیعی ای و روتینی نیست.
اثبات کردن نیاز به دقت، دانش، پشت کار، علاقه و بیش از هر چیز امیدواری داره.

. تقریباً همه ی این قضیه هایی که می بینید، یک شبه اثبات نشدن،
و گاهی برای اثباتشون، سال ها ی متمادی طول کشیده شده
و الآن به ما رسیده و ما زرتی اثبات می کنیم. (در واقع حفظ می کنیم!)

. این اثبات ها برای این که به ما برسند، راه بسیار طولانی ای طی کردند.
اولش این شکلی مرتب نبودند!
اولش یک طرح ساده بودند و سپس طی چندین مرحله سیقل خوردند و آب بندی شده اند.

. ما نباید اثبات ها رو حفظ کنیم، باید با هاشون حال کنیم!
باید اثبات رو به دقت ببینیم و از ایده اش در جا های دیگه استفاده کنیم.
به هر حال خیلی از اثبات ها هستند که هم ایده اند!
یک روز پادشاهی بهتر از چهل سال بندگی است

نمایه کاربر
Cartouche

عضویت : پنج‌شنبه ۱۳۸۹/۷/۲۹ - ۱۹:۳۶


پست: 1197

سپاس: 957

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط Cartouche »

آقای سیدیان نوشته شده:. تقریباً همه ی این قضیه هایی که می بینید، یک شبه اثبات نشدن،
و گاهی برای اثباتشون، سال ها ی متمادی طول کشیده شده
و الآن به ما رسیده و ما زرتی اثبات می کنیم. (در واقع حفظ می کنیم!)

. این اثبات ها برای این که به ما برسند، راه بسیار طولانی ای طی کردند.
اولش این شکلی مرتب نبودند!
اولش یک طرح ساده بودند و سپس طی چندین مرحله سیقل خوردند و آب بندی شده اند.
در واقع یکی از تفاوت های اصلی "گزاره" و "قضیه" در همین هست که اثبات قضایا، اینطور نیست که به ذهن هر کسی به سرعت خطور کنه، اما گزاره ها رو هر کسی که اندکی ریاضیات بخونه میتونه اثبات کنه.
دوای درد عاشق را کسی کو سهل پندارد

ز فکر آنان که در تدبیر درمانند در مانند

نمایه کاربر
Parmenides

عضویت : دوشنبه ۱۳۸۵/۱۲/۲۸ - ۱۵:۴۱


پست: 1325

سپاس: 239

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط Parmenides »

Cartouche نوشته شده:
آقای سیدیان نوشته شده:. تقریباً همه ی این قضیه هایی که می بینید، یک شبه اثبات نشدن،
و گاهی برای اثباتشون، سال ها ی متمادی طول کشیده شده
و الآن به ما رسیده و ما زرتی اثبات می کنیم. (در واقع حفظ می کنیم!)

. این اثبات ها برای این که به ما برسند، راه بسیار طولانی ای طی کردند.
اولش این شکلی مرتب نبودند!
اولش یک طرح ساده بودند و سپس طی چندین مرحله سیقل خوردند و آب بندی شده اند.
در واقع یکی از تفاوت های اصلی "گزاره" و "قضیه" در همین هست که اثبات قضایا، اینطور نیست که به ذهن هر کسی به سرعت خطور کنه، اما گزاره ها رو هر کسی که اندکی ریاضیات بخونه میتونه اثبات کنه.
در ریاضی گزاره اثبات پذیر و قضیه تفاوتی ندارند، و هر گزاره ای هم قابل اثبات نیست.
No rational argument will have a rational effect on a man who does not want to adopt a rational attitude.

-Karl Popper-

نمایه کاربر
Cartouche

عضویت : پنج‌شنبه ۱۳۸۹/۷/۲۹ - ۱۹:۳۶


پست: 1197

سپاس: 957

Re: بررسی برخی لم ها و قضیه های ریاضی

پست توسط Cartouche »

Parmenides نوشته شده:
Cartouche نوشته شده:
آقای سیدیان نوشته شده:. تقریباً همه ی این قضیه هایی که می بینید، یک شبه اثبات نشدن،
و گاهی برای اثباتشون، سال ها ی متمادی طول کشیده شده
و الآن به ما رسیده و ما زرتی اثبات می کنیم. (در واقع حفظ می کنیم!)

. این اثبات ها برای این که به ما برسند، راه بسیار طولانی ای طی کردند.
اولش این شکلی مرتب نبودند!
اولش یک طرح ساده بودند و سپس طی چندین مرحله سیقل خوردند و آب بندی شده اند.
در واقع یکی از تفاوت های اصلی "گزاره" و "قضیه" در همین هست که اثبات قضایا، اینطور نیست که به ذهن هر کسی به سرعت خطور کنه، اما گزاره ها رو هر کسی که اندکی ریاضیات بخونه میتونه اثبات کنه.
در ریاضی گزاره اثبات پذیر و قضیه تفاوتی ندارند، و هر گزاره ای هم قابل اثبات نیست.
تاجایی که من میدونم، تفاوت دارند، و تفاوتشون هم فقط موردی نیست که عرض کردم؛ اما چون ارتباطی به موضوع نداره و باعث انحراف و خرابی جستار میشه، توضیح بیشتر نمیدم. اگر توضیح لازم داشتید، پیام دهید.
--------------------------
منظورم از گزاره، گزاره اثبات پذیر است. تذکر بجایی بود.
دوای درد عاشق را کسی کو سهل پندارد

ز فکر آنان که در تدبیر درمانند در مانند

ارسال پست