موضوع مقاله: هندسه اقلیدسی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # هندسه اقلیدسی | مقدمه: هندسه اقلیدس دستگاهی ریاضیاتی است که آن را به اقلیدس، ریاضیدان یونانی اهل اسکندریه نسبت می‌دهند؛ چرا که او در کتاب هندسه خود به نام اصول اقلیدس (Elements) این نوع هندسه را توصیف نمود. | ## بخش 1: هندسه اقلیدسی | روش اقلیدس شامل فرض گرفتن دسته کوچکی از اصول موضوعه‌های شهودی، و استنتاج گزاره‌های زیادی از این اصول می‌باشد. گرچه که بسیاری از نتایج اقلیدس توسط ریاضیدانان قبل تر از او هم بیان شده بودند، اقلیدس اولین کسی بود که که نشان داد چگونه می‌توان این گزاره‌ها را در یک دستگاه استنتاجی و منطقی جامع گنجاند. کتاب اصول اقلیدس، ابتدا از هندسه مسطحه شروع می‌کند که هنوز هم در آموزش متوسطه به عنوان اولین دستگاه اصول موضوعه‌ای و اولین مثال‌ها از اثبات‌های ریاضیاتی تدریس می‌گردند. بخش اعظم کتاب اصول اقلیدس به بیان نتایجی می‌پردازد که اکنون به آن جبر و نظریه اعداد گفته شده و در آنجا به زبان هندسی بیان شده‌اند. برای بیش از دو هزار سال، صفت «اقلیدسی» برای چنین هندسه ای غیر ضروری می‌نمود، چرا که هیچ نوع هندسه دیگری هنوز درک نشده بود. اصول موضوعه‌های اقلیدس بسیار واضح و شهودی به نظر می‌رسیدند (به جز احتمالاً اصل توازی) به گونه ای که هر قضیه ای که از آن‌ها منتج می‌شد، با حالتی مطلق و عمدتاً ماورائی مورد پذیرش و مقبولیت قرار می‌گرفت. با این حال، امروزه بسیاری از هندسه‌های خود-سازگار و نااقلیدسی نیز شناخته شده‌اند که ابتدا در اوایل قرن ۱۹م میلادی کشف شدند. 47 هندسه اقلیدسی مثالی از هندسه سنتتیک (Synthetic Geometry) است، اینگونه که از نظر منطقی می‌توان از اصول موضوعه‌های توصیف کننده خواص پایه ای اشیاء هندسی چون نقاط و خطوط، به گزاره‌های توصیف کننده خواص آن اشیاء دست یافت که همگی این استدلالات بدون استفاده از دستگاه مختصات برای تعیین آن اشیاء صورت می‌پذیرد. | ## بخش 2: هندسه اقلیدسی | این را می‌توان با هندسه تحلیلی مقایسه نمود که در آن مختصات را جهت ترجمه گزاره‌های هندسی به زبان فرمول‌های جبری مورد استفاده قرار می‌دهند. نظرات مختلفی در زمینهٔ هندسه وجود داشت و سرانجام اقلیدس با انتشار کتاب اصول بنیادی را بنا نهاد که تا قرن‌ها منسجم‌ترین بنیادهای نظری بشر محسوب می‌شد. روش اقلیدس ساده بود او چند اصل موضوع و چند اصل متعارف را بدون اثبات به عنوان اصول بدیهی پذیرفت و سپس بر اساس آن صدها قضیه دیگر را اثبات کرد که بیشتر آن‌ها بسیار دور از ذهن بودند. او در اصول سیزده جلدی خود تمام دانش بشری تا آن زمان را گرد آورد که به مدت دو هزار سال به صورت مرجعی بی‌بدیل باقی ماند. روش بنداشتی (اصل موضوع) اقلیدس منجر به کاربرد الگویی شد که امروزه به آن ریاضیات محض می‌گوییم. محض از این نظر که با اندیشهٔ محض سر و کار دارد و از راه آزمون و خطا و تجربه به دست نمی‌آید و درستی یا نادرستی احکام آن را نیز از راه تجربه نمی‌توان اثبات یا نفی کرد. برای استفاده از روش بنداشتی یا اصل موضوع دو شرط را باید پذیرفت: شرط اول: پذیرفتن احکامی به نام بنداشت یا اصل موضوع که به هیچ توجیه دیگری نیاز نداشته باشند. شرط دوم: توافق بر این‌که کی و چگونه حکمی «به‌طور منطقی» از حکم دیگر نتیجه می‌شود، یعنی توافق در برخی قواعد استدلال. | ## بخش 3: هندسه اقلیدسی | کار عظیم اقلیدس این بود که چند اصل ساده، چند حکم که بی‌نیاز به توجیهی پذیرفتنی بودند دست‌چین کرد، و از آن‌ها ۴۶۵ گزاره نتیجه گرفت. اصول موضوعه تمامِ هندسهٔ اقلیدسی، می‌تواند از پنج اصلِ موضوعهٔ زیر استخراج شود: از هر دو نقطه متمایز، یک و تنها یک خط راست می‌گذرد. با یک نقطه به عنوانِ مرکز و یک پاره‌خط به عنوانِ شعاع می‌توان یک دایره رسم نمود. (این اصل معیاری طبیعی برای اندازه‌گیری زاویه‌ها در اختیار می‌گذارد) اگر یک خط، دو خطِ دیگر را قطع کند، آن دو خط در طرفی که جمعِ زوایایِ داخلیِ تولید شده توسطِ خطِ مورب کم‌تر از دوقائمه است به هم می‌رسند (خود یا امتدادشان).w:en:Euclid's postulates برایِ بیانِ این اصولِ موضوعه به مفاهیمی مانندِ نقطه و خط نیاز داریم. همان‌طور که باید چند گزاره را بدونِ اثبات بپذیریم تا بقیهٔ گزاره‌ها استخراج شوند لازم است چند مفهوم را نیز بدونِ تعریف بپذیریم. همان‌طور که دیده می‌شود اصولِ هندسهٔ اقلیدسی به جز اصلِ پنجم بسیار ساده و بدیهی به نظر می‌آیند. به همین‌دلیل از زمانِ اقلیدس ریاضیدانانِ بیشماری در شرق و غرب (من‌جمله خیام ریاضیدانِ ایرانی) تلاش کرده‌اند اصلِ آزاردهندهٔ پنجم را به اثبات برسانند.اما این کار همواره با شکست رو به رو شد. سپس برخی ریاضیدانان تلاش نمودند خلافِ اصلِ پنجم را فرض کنند تا ببینند آیا هندسه‌ای متناقض پدید می‌آید یا نه. | ## جمع‌بندی | از آن‌جا که هیچ تناقضی در هندسه‌هایِ دارایِ اصلِ پنجمِ متفاوت دیده نشد به آن‌ها نامِ هندسه نااقلیدسی را دادند.