اگر دو کره k1 و k2 را مماس بر صفحه و مخروط در نظر بگیریم نقاط تماس کانون‌های بیضی خواهند بود. توجه کنید که PP1 و PF1 برابرند چون هر در پاره خط بر کره k1 مماسند بنابراین مجموع فاصله هر نقطه دلخواه P که روی نقاط برخورد صفحه و مخروط قرار دارند از کانون‌های F1 و F2 برابر طول پاره‌خط P1P2 است.
اثبات این ادعا برای حالت‌های خاص چندان مشکل نیست. اگر موفق شدید ثابت کنید که هیچ مثلث متساوی الاضلاعی روی نقاط صفحه شطرنجی قابل رسم نیست راه حل خود را در قسمت نظرات به اشتراک بگذارید.
تصویر این پست توجیهی دیداری از تناظر نقاط روی پاره‌خط و محور اعداد را بدست میدهد. این برابری تلویحا به این معنی است که تعداد نقاط روی هر پاره خط از یک خط راست با تعداد کل نقاط روی خط برابر است.
به نظر شما چه اشکالی در این ادعا وجود دارد؟ در قسمت نظرات در این مورد بحث کنید.
آخرین رکورد ثبت شده در کتاب گینس برای به خاطر سپاری هفتاد هزار رقم از ارقام عدد پی در سال ۲۰۱۵ و توسط رجیور مینا (Rajveer Meena) از ولور در هند بدست آمده است. بازخوانی این ارقام با چشمان بسته و در مقابل چشم داوران گینس بیش از ۱۰ ساعت به طول کشیده است.
تصویری از این نوجوان را در بخش نظرات و مطالب بیشتر در این مورد را در اینجا ببینید.
فرض کنید دو جرم فیزیکی که وزن یکی بزرگتر از دیگری است، در یک دنیای بدون اصطکاک روی سطحی و در مقابل یک دیوار قرار دارند. فرض کنید جسم سنگین‌تر بر اثر یک ضربه به سمت جسم سبک‌تر حرکت میکند تا به آن برخورد کند. پس از برخورد مقداری از سرعت جسم سنگین‌تر کم میشود و در عوض جسم سبک‌تر با سرعت بیشتری به حرکت در می‌آید تا به دیوار بخورد و به سمت جسم سنگین‌تر برگردد و با آن برخورد کند. در اثر این برخوردها هر بار سرعت هر دو جسم عوض میشود تا اینکه نهایتا هر دو جسم در جهت مخالف دیوار به سمت بینهایت حرکت میکنند بدون اینکه برخورد دیگری داشته باشند.
با شمارش تعداد برخوردهای این دوجسم میتوان ارقام عدد پی را محاسبه کرد. تعداد ارقام محاسبه شده به نسبت وزن دو جسم بستگی دارد. جدول زیر تعداد برخوردها و رابطه آن با نسبت وزنی دو جرم را نشان میدهد نشان میدهد:
نسبت وزن دو جسم -> تعداد برخوردها
1 -> 3
10 -> 31
100 -> 314
1000 -> 3141
10000 -> 31415
100000 -> 314159
1000000 -> 3141592
10000000 -> 31415926
….
همانطور که دیده میشود تعداد برخوردها ارقام عدد پی را بدست میدهد.
اگر موفق به اثبات این ادعا شدید راه‌حل را در قسمت نظرات به اشتراک بگذارید. در غیر اینصورت لینک حاوی توضیحات بیشتر و اثبات این ادعا را در قسمت نظرات ببینید.
برای دیدن فرمول اینجا را ببینید.
فرض کنید ۱۰۰ کیلوگرم سیب زمینی داریم که ۹۹٪ وزن تشکیل دهنده آن آب است. با گذشت زمان مقداری از آب سیب زمینی‌ها از دست می‌رود و حالا ۹۸٪ وزن تشکیل دهنده آنها آب است. حالا سیب‌زمینی‌ها ۵۰ کیلوگرم وزن دارند.
از اونجایی که این اختلاف وزن کاملا خلاف انتظار است به این موضوع پارادوکس سیب زمینی می‌گوید.
آیا میتوانید این ادعا را اثبات کنید؟
با کمک این ابزار آنلاین میتوانید با دادن یک مجموعه از نقاط در قسمت input data و انتخاب تعداد دوایر (جملات بسط فوریه) منحنی دلخواه خود را رسم کنید.
اگر موفق به رسم شکل جالبی شدید تصویر شکل و نقاط مرجع را در قسمت نظرات به اشتراک بگذارید.
اعداد داخل مربع اندازه اضلاع می‌باشند. ساختن مربع با مربعهای کامل برخلاف ظاهرش یک مسئله مدرن است که با استفاده از قوانین فیزیک الکتریسته حل شده است.
پیدا کردن کمترین تعداد مربعهای کامل که مربع دیگری را پر کنند، بعد از گذشت ۴۰ سال از مطرح شدن این مسئله و با استفاده از کامپیوتر در سال ۱۹۷۸ حل شده است.
ثابت شده که پرکردن یک مکعب با مکعب‌های کامل بطور مشابه امکان پذیر نیست. همچنین جالب است که با وجود اینکه مجموع مربعات اعداد متوالی ۱ تا ۲۴ برابر با توان دوم ۷۰ است، بطور هندسی نمی‌توان با کنار هم گذاشتن این ۲۴ مربع، مربع ۷۰ در ۷۰ درست کرد.
مجموعه بزرگی از مربعهای کامل را در اینجا ببینید.
فرض کنید n دونده از یک نقطه روی دایره‌ی به محیط واحد به طور همزمان و با سرعت‌های متفاوت شروع به دویدن کنند. یک دونده تنها خوانده میشود اگر فاصله‌اش از تمام دونده‌های دیگر بیشتر از \({1\over n}\) (یک تقسیم بر n) باشد. حدس دونده تنها (Lonely runner conjecture) می‌گوید با گذشت زمان محدود همه دونده‌ها بالاخره در لحظاتی تنها می‌شوند.
درستی این حدس که درسال ۱۹۶۷ مطرح شده است فقط برای مقادیر برابر با ۲، ۳، ۴، ۵، ۶ و ۷ به اثبات رسیده است.
این عدد اول ۲۴،۸۶۲،۰۴۸ رقمی توسط یک متخصص آی تی ۳۵ ساله ساکن فلوریدای آمریکا کشف شده است. پاتریک یکی از هزاران نفری است که بخشی از توان محاسباتی کامپیوترهای شخصی‌اش را به نرم افزار محاسباتی GIMP که به جستجو برای اعداد اول مرسن مشغول است اهدا کرده است. شما هم میتوانید به این پروژه بپیوندید و شاید عدد اول بعدی را شما پیدا کنید!
مسئله چهار رنگ اولین مسئله بزرگ ریاضی است که با کمک کامپیوتر به اثبات رسیده است. اینکه برای رنگ کردن یک نقشه پنج رنگ همیشه کافی است و سه رنگ کفایت نمیکند از سال ۱۸۰۰ برای ریاضی دانان به اثبات رسیده بود ولی کافی بودن چهار رنگ علیرغم تلاش ریاضی دانان برای سالهای دراز تا سال ۱۹۷۶ به اثبات نرسیده بود. اولین بار در سال ۱۸۵۲ این ادعا بصورت یک حدس ریاضی معرفی شد.
اثباتی که توسط دو ریاضی دان آمریکایی در سال ۱۹۷۶ برای این قضیه ارائه شد، تا سال‌ها مورد قبول جامعه ریاضی دان قرار نگرفت. زیرا تایید صحت عملکرد برنامه کامپیوتری بصورت سیستماتیک در آن زمان ممکن نبود. در سال ۲۰۰۵ با تولید اولین نرم افزار مخصوص اثبات قضایای ریاضی (Coq) که امکان فرمول بندی منطقی را در زبان برنامه نویسی بدست میداد بالاخره این اثبات تایید شد. در مورد نرم افزارهای proof assisstant اینجا را ببینید.
