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

مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...

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

آبراهام اونگار فرمولهایی برای محاسبه کاستی یک مثلث در مدل بلترامی- کلاین ارائه کرده است. او بر اساس ساختار جبری حاصل  از جمع سرعتهای نسبیتی روی مجموعه سرعتهای مجاز، تعریف جدیدی برای مساحت پیشنهاد می کند. در این مقاله بر اساس ایده های کارتسل و اونگار تعریف دقیقی برای مساحت و کاستی در مدل بلترامی - کلاین ارائه می کنیم. به کمک این تعریف، برای فرمولهای محاسبه کاستی اثباتهای ساده و مقدماتی به دست می...

آبراهام اونگار فرمولهایی برای محاسبه کاستی یک مثلث در مدل بلترامی- کلاین ارائه کرده است. او بر اساس ساختار جبری حاصل  از جمع سرعتهای نسبیتی روی مجموعه سرعتهای مجاز، تعریف جدیدی برای مساحت پیشنهاد می کند. در این مقاله بر اساس ایده های کارتسل و اونگار تعریف دقیقی برای مساحت و کاستی در مدل بلترامی - کلاین ارائه می کنیم. به کمک این تعریف، برای فرمولهای محاسبه کاستی اثباتهای ساده و مقدماتی به دست می...

قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.

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

قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.

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

در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.