دایره

در هندسه، دایره یک منحنی مسطح و بسته و شامل نقاطی از صفحه است که فاصله‌شان از نقطهٔ ثابتی واقع در آن صفحه مقداری ثابت باشد. نقطهٔ ثابت، مرکز دایره و مقدار ثابت، اندازهٔ شعاع دایره نامیده می‌شود. همچنین دایره را می‌توان یک بیضی دانست که کانون‌های آن بر همدیگر منطبقند (برون‌مرکزی آن صفر است)؛ ازین‌رو دایره یکی از مقاطع مخروطی است. مقطع مخروطی منحنی‌ای است که در محل تقاطع یک صفحه با یک مخروط پدیدار می‌شود، و هنگامی که صفحه با مقطع مخروط موازی باشد منحنی حاصل دایره خواهد بود. دایره را همچنین می‌توان به عنوان چندضلعی متساوی‌الاضلاعی تعریف کرد که تعداد اضلاع آن به بی‌نهایت میل می‌کند.

از سلسله مقالاتی دربارهٔ
مقاطع مخروطی
سهمی
معادله
برون‌مرکزی ()
نیم‌راست‌وتر کانونی ()
هذلولی
معادله
برون‌مرکزی ()
نیم‌راست‌وتر کانونی ()
بیضی
معادله
برون‌مرکزی ()
نیم‌راست‌وتر کانونی ()
دایره (حالت خاص بیضی)
معادله
برون‌مرکزی ()
نیم‌راست‌وتر کانونی ()

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

فلاسفهٔ یونان باستان (به پیروی از فیثاغوری‌ها و افلاطون) معمولاً مدل زمین‌مرکزی را با مدلی مبنی بر کروی بودن زمین در می‌آمیختند و بر این باور بودند که زمین کره‌ای است در مرکز جهان و افلاک در دایره‌هایی به دور زمین در گردشند. بطلمیوس با ابداع دایره‌هایی به عنوان فلک تدویر و فلک حامل نظامی ارائه داد که ساختار هستی را بر اساس دایره توجیه کند. کوپرنیک هم با ارائهٔ نظریهٔ خورشیدمرکزی‌اش ساختار جهان را متشکل از دایره‌هایی به گرد خورشید دانست. در نهایت کپلر اعلام کرد که مسیر گردش سیارات به شکل بیضی و نه دایره است و نیوتن شرایطی را مشخص کرد که تحت آن مسیر حرکت دایره‌ای به یکی دیگر از مقاطع مخروطی بدل می‌شود.

دایره کامل‌ترین شکل هندسی دانسته می‌شود و در فناوری، هنر، دین، و فرهنگ اهمیتی عمده داشته‌است. پرگار (که ابزاری برای کشیدن دایره بر اساس تعریف آن با مرکز و شعاع [تعریف اقلیدسی] است) و خط‌کش، تنها ابزار مجاز در هندسه اقلیدسی‌اند، تا جایی که هندسهٔ اقلیدسی گاه «هندسهٔ خط‌کش و پرگار» خوانده شده‌است. تربیع دایره، تثلیث زاویه، و تضعیف مکعب سه مسئلهٔ دشوار و مهمی بودند که در طول تاریخ هندسه‌دانان را درگیر خود کردند. در قرن نوزدهم پیر ونزل و فردیناند فون لیندمن ثابت کردند که این مسائل غیرممکنند.

تاریخچه

تاریخچهٔ مطالعهٔ دایره به پیش از آغاز تاریخ بازمی‌گردد؛ چنان‌که اختراع چرخ در هزارهٔ چهارم پیش از میلاد در میانرودان نشان از کشف ویژگی‌های بنیادی دایره دارد.[1] در مصر نیز احمس، نویسندهٔ پاپیروس ریاضی ریند، قانونی برای محاسبهٔ مساحت دایره به دست می‌دهد که با مطابق است.[2] در کتیبه‌ای بابلی متعلق به ۱۹۰۰-۱۶۰۰ پ.م. هم رابطهٔ بین مساحت و پیرامون دایره بررسی و عدد پی به‌شکلی ضمنی تعریف شده‌است.[3]

تاریخ باستان

مسیر حرکت افلاک در نظام بطلمیوسی
طرح جووانی دومنیکو کاسینی از مدل بطلمیوسی جهان هستی

نخستین قضایای مربوط به دایره دو قضیه از چهار قضیهٔ منسوب به تالس (ح. ۶۵۰ پ.م) هستند. او ثابت کرد که قطر دایره آن را به دو کمان مساوی تقسیم می‌کند و زاویهٔ محاطی‌ای که دایره را در دو سرِ یک قطرش قطع کند قائمه است.[4]

فیثاغوری‌ها باور داشتند که زمین کره‌ای است در مرکز هستی و ماه و خورشید و سیاره‌ها در دایره‌هایی هم‌مرکز روی یک صفحهٔ چرخ‌مانند به‌دور زمین در گردشند.[5] این نظریهٔ زمین‌مرکزی، باور غالب یونانیان باستان بود. بااین‌همه آریستارخوس ساموسی‌ (ح. ۳۱۰ ح. ۲۳۰ پ.م) نظریهٔ خورشیدمرکزی را مطرح کرد که در آن خورشید ثابت است و زمین در دایره‌ای به مرکزیت خورشید در حرکت.[6] همچنین فیلسوف یونانی افلاطون (۴۲۸/۴۲۷ ۳۴۸/۳۴۷ پ.م) باور داشت که زمین کره‌ای بی‌نقص است و همهٔ حرکت‌های سماواتی در دایره‌هایی کامل و با سرعت یکسان به گرد آن صورت می‌گیرد.[7] این باور افلاطون به اصلی جزم‌اندیشانه در آکادمی افلاطون و بعدها در میان ستاره‌شناسان یونان باستان بدل شد.[8]

یکی از مسائل هندسی که یونانیان به‌شدت با آن درگیر بودند مسئلهٔ یافتن مربعی با مساحت مساوی دایره (اصطلاحاً تربیع دایره) بود. آناکساگوراس (ح. ۴۵۰ پ.م) نخستین ریاضی‌دان شناخته‌شده‌ای است که این مسئله را مطالعه کرده‌است.[9] بقراط خیوسی (۴۷۰ ۴۱۰ پ.م) در تلاش برای حل تربیع دایره توانست ثابت کند که مساحت هلال کوچکتر ایجاد شده از برخورد دو دایره، برابر با مساحت مثلث قائم‌الزاویهٔ متساوی‌الساقینی است که وترش برابر وتر دایرهٔ کوچکتر و اضلاعش برابر شعاع دایرهٔ بزرگتر است. هلال بقراط نخستین منحنی‌ای بود که مساحت دقیق آن از طریق ریاضی محاسبه شد.[10] آریستوفان (ح. ۴۴۶ – ۳۸۶ پ.م) در نمایشنامهٔ پرنده‌ها «تربیع‌کنندگان دایره‌ها» را به سخره می‌گیرد.[11] دیگر مسائل بزرگی که ریاضی‌دانان یونانی را درگیر خود کرده بود تثلیث زاویه (تقسیم زاویه به سه قسمت مساوی) و تضعیف مکعب (دو برابر کردن حجم مکعب) با استفاده از پرگار و خط‌کش بود.

کتاب سوم اصول اقلیدس (ح. ۳۶۵ ۲۷۵ پ.م) نیز تماماً به ویژگی‌های دایره و مسائل مربوط به محیط و محاط کردن آن نسبت به چندضلعی‌ها اختصاص دارد.[12] همچنین سومین اصل از اصول موضوعه اقلیدس بیان می‌دارد که «برای هر پاره خط دلخواه می‌توان دایره‌ای به شعاع آن پاره خط و به مرکز یک سر آن رسم کرد.» ارشمیدس (۲۸۷ ۲۱۲ پ.م) هم در اندازه‌های دایره برای اولین بار فرمول مساحت دایره را اثبات کرد[13] و با چندضلعی‌های منتظم محیطی و محاطی ۹۶‌ضلعی، عدد پی را به صورت (یعنی ۳٫۱۴۰۸ < < ۳٫۱۴۲۹) تعریف و محاسبه کرد؛ ازین‌رو عدد پی در برخی منابع «عدد ارشمیدس» نامیده شده‌است.

آپولونیوس (ح. ۲۴۰ پ.م) به‌شکل ضمنی نشان داد که معادلهٔ دوقطبی با تغییر نظامی از دایره‌های هم‌محور را می‌سازد.[14] او همچنین در اثر مهمش با عنوان مخروطات،[persian-alpha 1] دایره را به عنوان حالت خاص بیضی و یکی از مقاطع مخروطی مطالعه، خط مماس بر منحنی (که بعدها موضوع اصلی حساب دیفرانسیل شد) را تعریف، و عدد پی را با دقتی بیشتر از ارشمیدس محاسبه کرد.[15] او همچنین مسئله‌های آپولونیوس را مطرح و حل کرد و تعریفی متفاوت از دایره (به عنوان مکان هندسی نقاطی که نسبت فواصلشان از دو نقطه ثابت است) ارائه کرد.

بطلمیوس (ح. ۱۰۰ ۱۶۸ میلادی) با ترکیب آرای ستاره‌شناسان پیشین در المجسطی، نظام زمین‌مرکزی‌اش را به‌گونه‌ای تعریف می‌کند که تمام ساختار هستی بر اساس شکل دایره توجیه شود.[16] به گفتهٔ بطلمیوس زمین و «افلاک» (به ترتیب ماه، عطارد، زهره، خورشید، مریخ، مشتری، و زحل) کاملا کروی‌اند و زمین در مرکز گیتی ثابت و مستحکم شده‌است. به باور او افلاک با سرعت یکنواخت بر دایره‌ای کوچک به نام فلک تدویر در حرکتند و مرکز هر فلک تدویر با سرعتی یکنواخت بر دایره‌ای بزرگ به نام فلک حامل به مرکزیت زمین حرکت می کند. همهٔ این‌ها در داخل منطقه‌البروج قرار دارند که کره‌ای است ثابت و ستارگان روی آن استقرار یافته‌اند.[17] مدل بطلمیوس از جهان هستی تا زمان کوپرنیک و تیکو براهه فصل‌الخطاب اخترشناسی باقی ماند.[18]

در روم باستان، «سولکوس پریمیجنیوس»[persian-alpha 2] آیینی بود مبنی بر این‌که پیش از بنانهادن هر شهر، پیشوایان مذهبی با هدایت خیشی بسته به دو گاو به دور محوطهٔ آن شیاری به شکل دایره رسم می‌کردند و باور بر این بود که این عمل از شهر حفاظت خواهد کرد. در اساطیر رومی نیز رومولوس به دور شهر رم شیاری دایره‌ای می‌کِشد و برادرش رموس را به علت ورود به این دایره می‌کُشد.[19]

در امپراتوری اشکانی نیز پایتخت‌ها و شهرهای مهم به شکل دایره ساخته می‌شدند؛ از جملهٔ این شهرها می‌توان از نسا، شهر گور، صددروازه، هترا، و تیسفون پارتی یاد کرد. به گفتهٔ گیرشمن، «طرح این شهرها، عدم امنیت دائمی را که در ایران عهد پارتیان حکفرما بود، عدم ثبات سیاست خارجی و اغتشاشات داخلی را آشکار می‌سازد… طرح عمومی آن‌ها عبارت است از دایره‌ای که از اصول شهرسازی قدیم آسیای غربی اقتباس شده و نیز طرح اردوگاه‌های نظامی قدیم را که در قشون آشوری متداول بوده‌است به خاطر می‌آورد.»[20]

همچنین در چین باستان لیو هوی (متولد ح. ۲۲۵ میلادی در کائو وی) با محاط کردن چندضلعی در دایره عدد پی را محاسبه کرد. تسو چونگچی (۴۲۹ ۵۰۰ میلادی) نیز در رسالهٔ شیوهٔ الحاق[persian-alpha 3] مقدار عدد پی را مستقل از لیو هوی ولی به شیوه‌ای مشابه برابر محاسبه کرد.[21]

قرون وسطی

نسخه‌ای از ترجمهٔ عربی مخروطات آپولونیوس

همزمان با حکومت مأمون در خراسان (در قرن سوم هجریاخوان ثلاثهٔ بنوموسی دست به ترجمهٔ مخروطات آپولونیوس از یونانی به عربی زدند. بنوموسی فقط نسخه‌ای ناقص از مخروطات را در اختیار داشتند و مقاطع مخروطی در زمان ایشان به دست فراموشی سپرده شده بود، بنابراین در فهم متن دچار مشکل بودند. اندکی بعد، یکی از اخوان ثلاثه به نام حسن، نظریهٔ مقاطع استوانه‌ای را ابداع کرد که می‌توان آن را مقدمه‌ای ساده بر مقاطع مخروطی دانست. پس از درگذشت حسن، برادرش احمد در شام نسخه‌ای کامل‌تر از چهار فصل اول مخروطات را با شرح اوتوکیوس پیدا کرد و به کمک برادر دیگرش، محمد، و با استفاده از دو نسخهٔ موجود و نظریهٔ حسن، موفق شد نظریات آپولونیوس را دریابد. احمد و محمد ترجمهٔ مقالهٔ اول تا چهارم مخروطات را به هلال حمصی و مقالهٔ پنجم تا هفتم آن را به ثابت بن قره سپردند و خود بازنگری نهایی ترجمه را عهده‌دار شدند. ترجمهٔ برادران بنوموسی از مقالات پنجم تا هفتم مخروطات تنها نسخهٔ باقی ماندهٔ این اثر است.[22]

بنوموسی در باب مسئلهٔ تثلیث زاویه (تقسیم یک زاویه به سه قسمت مساوی با استفاده از پرگار) نیز راه حلی با استفاده از مقاطع مخروطی پیشنهاد کردند. ابوجعفر خازن خراسانی ۳۶۰ ه‍.ق)، ابوسهل بیژن کوهی ۴۰۵ ه‍.ق) و ابوسعید سجزی (ح. ۳۳۰ ح. ۴۱۵ ه‍.ق) نیز راه‌حل‌هایی در مورد این قضیه ارائه کردند. ابوریحان بیرونی (۳۶۲ ۴۴۲ ه‍.ق) هم ۱۲ مسئله طرح کرد و نشان داد با حل شدن هر کدام، مسئلهٔ تثلیث زاویه هم حل می‌شود.[23]

عبدالرحمن صوفی (۲۹۱ ۳۷۶ ه‍.ق) به درخواست عضدالدولهٔ دیلمی (۳۲۴ ۳۷۲ ه‍.ق) کتابی با عنوان رسالة فی عمل المتساویة الاضلاع کلها بفتحة واحدة نوشت و در آن ترسیم چندضلعی‌های منتظم را با خط‌کش و پرگاری با دهانهٔ ثابت مطالعه کرد.[24] ابوالوفا محمد بوزجانی (۳۲۸ ۳۸۸ ه‍.ق) هم در کتاب فیما یحتاج الیه الصانع من الاعمال الهندسه[persian-alpha 4] یا اعمال هندسی در مورد ترسیم اشکال هندسی با پرگاری با دهانهٔ ثابت بحث کرده‌است.[24]

غیاث‌الدین جمشید کاشانی (۷۵۸ ۸۰۸ ه‍.ق) در الرِسالةُ المُحیطیة نسبت محیط دایره به قطر آن (عدد پی) را با ۱۶ رقم اعشار محاسبه کرد. کاشانی این محاسبات را به کمک دو ۳ × ۲۲۸ضلعی انجام داد که یکی محاط در و دیگری محیط بر دایره بودند. او همچنین در مقدمهٔ مفتاح الحساب می‌نویسد که در رسالهٔ وتر و جیب، که امروز گمشده است، با استفاده از حل جبری معادلات درجهٔ سوم راه حلی برای تثلیث زاویه ارائه کرده بود.[persian-alpha 5][24]

رنسانس و قرون جدید

طرح آندریاس سلاریوس از منظومه کوپرنیکی, از کتاب هارمونیا ماکروکاسمیکا (۱۶۶۰)

در دههٔ ۱۵۴۰، کوپرنیک نظریه خورشیدمرکزی‌اش را ارائه کرد. در مدل خورشید‌مرکزی کوپرنیک مسیر حرکت سیارات به دور خورشید به شکل دایره‌هایی به دور دایره (مشابه فلک‌های تدویر و فلک حامل در مدل بطلمیوسی) است. در مدل کوپرنیک:

عطارد در نهایت بر روی هفت دایره می‌چرخد، زهره بر پنج، زمین بر سه، و به دور آن ماه بر چهار، و در نهایت مریخ و مشتری و زحل هر کدام بر پنج. یعنی در کل ۳۴ دایره کافی است تا بتوان همهٔ ساختار گیتی و رقص سیارات را توصیف کرد.

 [25]

کوپرنیک خود می‌دانست که پیچیدگی دایره‌هایی به دور دایره دقیقا با داده‌های ریاضی نمی‌خواند، با این حال به باور او مدل خودش از مدل بطلمیوسی (که از ۴۰ دایره برای توصیف جهان هستی استفاده می‌کرد) ساده‌تر و دقیق‌تر بود.[26] کوپرنیک در ویرایش‌های بعدی مدلش و برای تطبیق با داده‌های موجود مجبور شد تعداد دایره‌ها را به ۴۸ افزایش دهد. به نوشتهٔ آرتور کستلر در خوابگردها، «وسواس و خیال‌پردازی کوپرنیک نسبت به دایره‌ها و کره‌ها باعث شد مدل او به جای نظام ساده و هماهنگی که می‌توانست باشد به کابوسی دردناک و سردرگم بدل شود.»[27]

در ۱۶۰۲ میلادی، کپلر در پی رفع نارسایی‌هایی مدل کوپرنیک و با بیان این نکته که هر دایره را با داشتن سه نقطه روی محیط آن می‌توان تعریف کرد و اینکه مکان مریخ در فصل‌های مختلف در صورت سه نقطه‌ای دایره قرار نمی‌گیرد، دایره بودن مدار سیارات را رد کرد.[28] او به این نتیجه رسید که مسیر حرکت سیارات به شکل تخم‌مرغ (خاگی) است و فواصل بین آنها بر اساس اجسام افلاطونی تعیین می‌شود. تیکو براهه (۱۵۴۶–۱۶۰۱ م.) با تکیه بر مشاهدات ۳۵ ساله‌اش از حرکت مریخ،[persian-alpha 6] نظریات کپلر را دربارهٔ شکل منظومهٔ شمسی رد کرد.[30] براهه خود در ۱۵۸۸ نظامی از جهان هستی ارائه کرده بود تا «مزیت‌های فیزیکی مدل بطلمیوسی را با مزیت‌های ریاضیاتی مدل کوپرنیکی» ترکیب کند. در نظام براهه‌ای زمین در مرکز جهان قرار دارد و ماه و خورشید در دایره‌هایی به دور آن می‌گردند، ولی مدار دیگر سیارات (عطارد، زهره، مریخ، مشتری، و زحل) دایره‌هایی است به دور خورشید. براهه همچنین کپلر را دعوت کرد که به رصدخانهٔ او در پراگ — که آن زمان پایتخت امپراتوری مقدس روم بود — برود. کپلر، در تلاش برای حل ناهماهنگی بین مدلش از هستی و مشاهدات براهه، به این کشف مهم نایل شد که سیارات در مداری بیضوی (برون‌مرکزی‌دار) و نه مدور به دور خورشید می‌گردند.[31] کپلر همچنین در کتاب هارمونی جهان (۱۶۱۸) مفهوم هارمونی و هم‌نهشتی را به صورت هندسی در ریاضیات، موسیقی، اختربینی، و اخترشناسی مطالعه می‌کند و فواصل مطبوع موسیقی را با شکل دایره متناظر می‌داند. برای مثل به باور کپلر علت اینکه فاصله‌هایی با نسبت ۳:۵ (فاصلهٔ ششم بزرگ در نظام کوک خالص) مطبوعند و فاصله‌هایی با نسبت ۳:۷ نامطبوع این است که پنج‌ضلعی منتظم را می‌توان را با خط‌کش و پرگار رسم کرد ولی هفت‌ضلعی منتظم را نمی‌توان.[32]

نیوتن (۱۶۴۲۱۷۲۷) در اصول ریاضی فلسفه طبیعی از دایره با عنوان «مسیر»[persian-alpha 7] یاد می‌کند. نیوتن، بیست سال پیش از نگارش اصول، حرکت دایره‌ای را (که در زمان تعادل کامل گرانش و مرکزگریزی روی می‌دهد) مطالعه و قوانین آن را کشف کرده بود. طبق محاسبات او، در صورت عدم تعادل کامل بین گرانش و مرکزگریزی، برون‌مرکزیِ مسیرِ حرکت از صفر بیشتر می‌شود و مدار به یکی دیگر از مقاطع مخروطی (بیضی، سهمی، یا هذلولی) بدل می‌گردد.[33] همچنین مبحث خط مماس بر منحنی، راهنمای هر دوی نیوتن و لایبنیتس در ابداع مستقل حساب دیفرانسیل و انتگرال (انتشار در ۱۶۸۴ میلادی) بود.[34] انتگرال‌گیری (یافتن مساحت زیر یک تابع) در واقع تعریف مدرن مسئلهٔ تربیع دایره (یافتن مستطیلی با مساحت مساوی دایره) است و نیوتن خود به جای لفظ «انتگرال‌گیری» (که از تعاریف لایبنیتس گرفته‌شده است) از عبارت «تربیع منحنی»[persian-alpha 8] استفاده می‌کرد.

در تاریخ معاصر

در سال ۱۷۸۶ کارل فریدریش گاوس ثابت کرد که هفده‌ضلعی منتظم را می‌توان با پرگار و خط‌کش ترسیم کرد. پنج سال بعد نیز شرایط قابل رسم بودن چندضلعی منتظم با پرگار و خط‌کش را تدوین کرد و نشان داد که بیشتر چندضلعی‌ها را نمی‌توان با خط‌کش و پرگار ترسیم کرد. گابریل لامه (۱۸۷۰–۱۷۹۵) با تعمیم معادلهٔ بیضی، دایره را به همراه مربع در ردهٔ ابربیضی‌ها یا «منحنی‌های لامه» دسته‌بندی کرد.[35] در ۱۸۳۷ نیز پیر ونزل با استفاده از نظریهٔ میدان ثابت کرد تثلیث زاویه (تقسیم یک زاویه به سه قسمت مساوی با استفاده از خط‌کش و پرگار) و تضعیف مکعب (ساخت مکعبی با دوبرابر حجم مکعب اولیه با استفاده از خط‌کش و پرگار) مسائلی غیر ممکنند. از همین رو آگوست دمورگان (۱۸۰۶ ۱۸۷۱) در کتاب خلاصه‌ای از تناقض‌ها[persian-alpha 9] «ابلهان تناقض‌کار» یعنی «تربیع‌کنان دایره»، «تثلیث‌کنان زاویه»، و «تضعیف‌کنان مکعب» را نقد می‌کند.[36] در ۱۸۸۰ جان ون با ترکیب دیاگرام اویلر و آرای جرج بول، نمودار ون را ابداع کرد که در آن مجموعه‌ها به صورت دایره‌های همپوشان تصویر می‌شوند. در ۱۸۸۲ فردیناند فون لیندمن نشان داد که پی عددی متعالی است، و بنابراین ثابت کرد که تربیع دایره (رسم مربعی با مساحت برابر دایره) مسئله‌ای غیرممکن است. پیت هاین (۱۹۰۵–۱۹۹۶) نیز ابرمعادلهٔ ابربیضی‌ها را به‌دست آورد و از آن‌ها در طراحی‌های خود استفاده کرد.[37]

کاربرد

سازوکار یک دوربین فیلم‌برداری ساخت شوروی بر اساس چرخش مثلث رولو در مربع
نمای سمت‌الرأسی از اندرونی برج طغرل، که دایره‌شکل است و معرف معماری دوران سلجوقیان است.

دایره کامل‌ترین شکل ریاضیاتی دانسته می‌شود و در تاریخ تمدن بشری اهمیتی عمده داشته است.[38] تقریبا همهٔ وسایل نقلیه بر اساس چرخش چرخ کار می‌کنند که وسیله‌ای دایره‌شکل است.[39] اغلب ابزار مکانیکی و الکترومکانیکی نیز برای انتقال توان از چرخ‌دنده بهره می‌برند که معمولاً به شکل دایره است.[40] مولدهای الکتریکی هم بر اساس چرخش دوّار هادی در میدانی مغناطیسی عمل می‌کنند. مثلث رولو (اشتراک سه دایره با شعاع مساوی که مرکز هر کدام در تقاطع دو تای دیگر واقع شده‌است) می‌تواند در داخل یک مربع بچرخد.[41] این ویژگی بنیاد سازوکار متهٔ واتز[persian-alpha 10] است.[42] روتور موتور وانکل نیز به شکل مثلث رولو است.

در دین‌ها و فرهنگ‌های مختلف، دایره نماد تکامل، بی‌نهایتی، و الوهیت است.[43] در دین هندو و آیین بودا، ماندالا یا دوایر کیهان‌نما طرح‌هایی پیچیده‌اند که رابطهٔ جهان اصغر[persian-alpha 11] و جهان اکبر[persian-alpha 12] به تصویر می‌کشند. در اسلام، دایره نماد «جلال خداوندی» است[44] و در مسیحیت پرگار بیانگر «ابتکار آفرینش» از سوی خدای پدر است.[45] در عرفان یهودی هم درخت زندگی دیاگرامی با ده دایره به نام سفیروت است که هرکدام نماد صورتی از هستی‌اند.[46] پرگار و گونیا نماد اصلی انجمن برادری فراماسونری است و نشان ماسونی نقطه‌ای درون دایره نیز به عنوان نماد جهان هستی به کار می‌رود.[47] در علوم خفیه دایره شکلی بنیادی است و آیین کشیدن «دایره تعویذ» به دور فرد او را از ارواح خبیث و خطرهای روحانی محافظت می‌کند و برای تبدیل مکان به «حرم غصب‌ناکردنی» به کار می‌رود.[48] صوفی‌ها هم روی زمین دایره‌ای موسوم به «خط عزیمت» می‌کشیدند و درون آن نماز‌هایی با سوره سجده‌دار می‌خواندند.[44] در روانشناسی تحلیلی نیز یونگی‌ها دایره را نماد «خود» می‌دانند.[44] حلقه‌ هم در فرهنگ‌های مختلف به‌عنوان نماد اتحاد، یگانگی، موقعیت اجتماعی، و اقتدار به‌کار می‌رود.[49]

از آغاز معماری در دوران نوسنگی، دایره به دلایل کاربردی و نمادین نقشی بنیادی در ساخت‌وساز بوده‌است. استون‌هنج، شناخته‌شده‌ترین اثر دوران نوسنگی، به شکل دایره است.[50] ردپای مسئلهٔ تربیع دایره را هم می‌توان در تاریخ معماری دید؛ چنان که محیط مقطع هرم بزرگ جیزه برابر است با محیط دایره‌ای به شعاع ارتفاع هرم.[51] همچنین مفهوم مرد ویترویوسی، که بنیان معماری غربی از دوران روم تا دوران مدرن بوده، بر اساس تربیع دایره شکل گرفته‌است.[52] به باور پال کلتر،[persian-alpha 13] از آنجا که مربع نماد زمین است و دایره نماد تکامل و الوهیت، تربیع دایره نماد جهانی ایجاد تعادل بین دنیای دنی و عالی است.[53] به گفتهٔ هانری استیرلن هم عمدهٔ تلاش‌ها و نوآوری‌های معماران ایرانی بعد از دوران اشکانی معطوف به ایجاد ارتباط بین پلان مربعی ابنیه و مقطع دایره‌ای پایهٔ گنبد بوده‌است.[54] از دیگر الگوهای دایره‌ای در تاریخ معماری می‌توان به معابد گرد و روتونداها در معماری رومی، رمانسک و رنسانس، معابد آسمان و خانه‌های فوجیان تالو در چین، و پنجره‌ها در معماری گوتیک اشاره کرد. از آنجا که پرگار از ابزار اصلی سازندگان و معماران در طول تاریخ بوده‌است، اشکالی که می‌توان آن‌ها را با پرگار کشید (مانند چهارضلعی، پنج‌ضلعی، و شش‌ضلعی) در آثار معماری نقش عمده‌تری دارند و اشکالی که نمی‌توان با پرگار ترسیمشان کرد (مانند هفت‌ضلعی) نادرند.[55] در نقاشی‌های مذهبی، قدیسان غالبا با هالهٔ نوری دایره‌ای شکل به گرد سرشان به تصویر کشیده می‌شوند.[56] در تئوری موسیقی غربی، برای نمایش هندسی اعتدال مساوی دوازده‌نتی گام کروماتیک غالبا از دیاگرامی دایره‌شکل (از جمله دایره پنجم‌ها، که قدمت آن به فیثاغورث می‌رسد، و دایره کروماتیک) استفاده می‌شود.[57] در تئوری موسیقی قدیم ایران و کشورهای دیگر جهان اسلام هم نظریهٔ ادوار دستان‌بندی سازها (نحوهٔ کوک ساز و موقعیت پرده‌های آن) را با کمک مجموعه‌ای از دایره‌ها توصیف می‌کرده‌است.[58]

تعریف دایره

تعریف اقلیدسی

دایره مکان هندسی همهٔ نقاطی است که از یک نقطهٔ معین (موسوم به مرکز دایره) فاصله‌ای ثابت (موسوم به شعاع) داشته باشند. یعنی:[59]

این تعریف دایره معادل همان تعریفی است که اقلیدس در اصول ارائه می‌کند:

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

 اصول اقلیدس، مقالهٔ ۱ گزارهٔ ۱۵[60]

و

نقطهٔ مذکور «مرکز دایره» نام دارد.

 اصول اقلیدس، مقالهٔ ۱ گزارهٔ ۱۶[61]

تعریف آپولونیوسی

تعریف آپولونیوسی دایره

آپولونیوس نشان داد که دایره را می‌توان به عنوان مکان هندسی همهٔ نقاطی نشان داده که نسبت فواصلشان از دو نقطهٔ ثابت عددی است ثابت و برابر با نسبت فواصل دو نقطهٔ ثابت از دایره. یعنی:

این دو نقطه به «کانون»‌های دایره موسومند. می‌توان با عملیات‌های جبری ساده ثابت کرد که تعریف آپولونیوسی و اقلیدسی معادل یکدیگرند.

دایره به عنوان حالت خاص چندضلعی

دایره را می‌توان چندضلعی منتظمی با شعاع محاطی[persian-alpha 14] و شعاع محیطی[persian-alpha 15] دانست که تعداد اضلاع آن به بی‌نهایت میل می‌کند. در هندسه، از دایره‌ای با این تعریف با عناوین بی‌نهایت‌ضلعی و تک‌ضلعی یاد شده‌است.

با این تعریف، محیط دایره برابر است با:[62]

و مساحت آن برابر است با:[63]

که هر دو حدشان یکی است، چرا که با میل کردن به بی‌نهایت، و به یک پاره‌خط (شعاع دایره) میل می‌کنند.[64]

به عنوان مقطع مخروطی

دایره «حالت خاص تبهگون»[persian-alpha 16] از بیضی‌ است که در آن نیم‌قطر بزرگ و نیم‌قطر کوچک مساوی‌اند (برون‌مرکزی آن صفر است). ازین رو دایره یکی از مقاطع مخروطی است، به این مفهوم که در محل برخورد مخروطی قائم و صفحه‌ای که با قاعدهٔ آن مخروط موازی باشد دایره پدید می‌آید.[65] در هندسه تصویری، اشتقاق دایره از مخروط معادل تصویر مرکزی مقطع مخروط روی صفحه‌ای است که با قاعدهٔ مخروط موازی است.[66]

ویژگی‌های دایره

شعاع، قطر، و وتر

یک دایره با مشخصات آن (مرکز، شعاع)

پاره‌خطی که مرکز دایره را به یکی از نقاط روی محیط دایره وصل می‌کند شعاع نام دارد و می‌توان آن را «بردار شعاع» آن نقطه دانست.[67] شعاع معمولا با حرف لاتین [persian-alpha 17] نشان داده می‌شود.

قطر دایره حداکثر فاصلهٔ بین دو نقطه روی محیط دایره است و اندازهٔ آن دو برابر شعاع دایره است. هر قطر دایره از مرکز دایره می‌گذرد و دایره را به دو کمان مساوی تقسیم می‌کند. این کمان‌ها نیم‌دایره نامیده می‌شوند. خود قطر هم توسط مرکز دایره به دو پاره‌خط مساوی تقسیم می‌شود.[68] قطر دایره معمولا با حرف لاتین [persian-alpha 18] نشان داده می‌شود.

پاره‌خطی که دو نقطهٔ متمایز از یک دایره را به هم پیوند می‌دهد، وتر[persian-alpha 19] یا زِه آن دایره نامیده می‌شود. هر وتری که از مرکز دایره بگذرد حداکثر اندازهٔ ممکن برای وتر یک دایره را دارد و همان قطر دایره است.[69]

خط مماس

خط‌ها یا با دایره در دو نقطه برخورد می‌کنند، یا در یک نقطه، و یا با دایره برخورد نمی‌کنند. هر خطی که با دایره تنها در یک نقطه برخورد کند (آن را در یک نقطه لمس کند) به خط مماس (یا خط تانژانت) بر دایره در آن نقطه موسوم است. خط‌هایی که دایره را در دو نقطه قطع می‌کنند هم خط سکانت نامیده می‌شوند[70] و خطوطی که با دایره برخورد نمی‌کنند «خط پاسان»[persian-alpha 20] نام دارند.

از هر نقطهٔ بیرون دایره، دو خط مماس بر آن دایره می‌توان رسم کرد. این دو مماس طول یکسانی دارند. همچنین اگر از نقطهٔ بیرون دایره‌ای به مرکزیت بتوان دو مماس بر نقاط و روی محیط دایره رسم کرد، زاویه‌های و مکملند.[71] شعاع دایره نیز در نقطهٔ تماس بر خط مماس عمود است.[72]

زاویه مرکزی و زاویه محاطی

زاویه‌های مرکزی و محاطی

زاویه‌ای که از برخورد دو شعاع یک دایره پدید می‌آید زاویهٔ مرکزی نام دارد. رأس زوایای مرکزی در مرکز دایره قرار دارد. هر زاویهٔ مرکزی از قرص دایره یک قطاع جدا می‌کند.[73] همچنین هر زاویهٔ مرکزی از محیط دایره یک کمان جدا می‌کند، که به آن کمان نظیر آن زاویهٔ مرکزی گفته می‌شود. طول کمان نظیر هر زاویهٔ مرکزی برابر حاصلضرب شعاع دایره در اندازهٔ آن زاویه مرکزی بر حسب رادیان است . اگر اندازهٔ زاویهٔ مرکزی بر حسب درجه نوشته شود، طول کمان نظیر آن برابر است با .

از برخورد دو خط سکانت روی محیط دایره زاویهٔ محاطی پدید می‌آید. رأس زوایای محاطی روی محیط دایره قرار دارد.[74] هر زاویهٔ محاطی یک کمان از دایره جدا می‌کند که به آن کمان نظیر آن زاویهٔ محاطی گفته می‌شود. اندازه کمان نظیر هر زاویهٔ محاطی در دایره نصف اندازهٔ زاویهٔ محاطی روبروی آن کمان است. حالت تبهگون زاویهٔ محاطی زمانی رخ می‌دهد که یکی از اضلاع زاویه بر دایره مماس باشد، و به زاویهٔ مماسی موسوم است.

زاویه مرکزی

زاویه‌ای که راس آن مرکز دایره و دو ضلع آن شعاع‌های دایره می‌باشند.

نکته: اندازه زاویه مرکزی با اندازه کمان روبرو آن برابر است.

زاویه محاطی

زاویه‌ای که راس آن روی محیط دایره و دو ضلع آن وترهایی از دایره می‌باشد.

نکته: اندازه زاویه محاطی برابر است با نصف کمان روبرو.

کمان، قطاع، و قطعه

کمان بزرگ و کوچک دایره
کمان، قطاع، و قطعه

هر دو نقطه A و B روی محیط دایره آن را به دو کمان تقسیم می‌کنند. برحسب عرف، کمان کوچکتر روی دایره (کمانی که زاویهٔ مرکزی متناظر آن کمتر از ۱۸۰° باشد) با نقاط دو سر آن و کمان بزرگتر (کمانی که زاویهٔ مرکزی متناظر آن بیشتر از ۱۸۰° باشد) با نقاط دو سر آن و نقطه‌ای در میان آن دو مشخص می‌گردد. کمانی که زاویهٔ مرکزی متناظر آن مساوی ۱۸۰° باشد نیم‌دایره نام دارد.[75] مجموع زوایای متناظر دو کمان حاصل از دو نقطه روی دایره همواره برابر ۳۶۰° است.

قطاع بخشی از قرص دایره است که با دو شعاع (یک زاویهٔ مرکزی) و یک کمان محدود شده‌است. قطعه دایره نیز بخشی از قطاع است که بین کمان و وتر بین دو سر شعاع‌های زاویهٔ مرکزی قرار دارد.

محیط

پویانمایی رابطهٔ محیط دایره با عدد پی

اگر شعاع دایره و قطر آن باشد، محیط دایره برابر است با:[76]

این فرمول را می‌توان با استفاده از حسابان و فرمول طول قوس در مختصات قطبی اثبات کرد:

دایره حداقل محیط برای یک مقدار معین مساحت را دارد.[77] نسبت محیط به قطر دایره با بزرگ و کوچک شدن آن ثابت می‌ماند. این نسبت با علامت (پی) نشان داده می‌شود و می‌توان ثابت کرد که عددی متعالی و تقریباً برابر ۳/۱۴۱۵۹ است.[78][79]

مساحت

مساحت دایره برابر است با حاصلضرب مربع شعاع دایره در عدد پی

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

= = مساحت

دایره حداکثر مساحت ممکن برای مقدار معین محیط را دارد.[80]

اثبات

مساحت دایره بر اساس محیط و شعاع آن تعیین می‌شود. اگر یک دایرهٔ مفروض به چهار قطاع مساوی تقسیم شود:

و به صورت زیر کنار هم چیده شود:

مشاهده می‌شود که شکل حاصل نامتعارف است. اما اگر دایرهٔ مفروض به قطاع‌های بیشتری تقسیم شود و همین روند ادامه یابد، مشاهده می‌شود که شکل به دست آمده به متوازی‌الاضلاع نزدیک می‌شود. به عنوان نمونه در مرحله‌ای که دایره مفروض به هشت قطاع مساوی تقسیم می‌شود، حاصل شکل زیر خواهد بود (که به متوازی‌الاضلاع نزدیک تر است):

اگر فرض را بر این باشد که دایره به تعداد بی‌شمار قطاع مساوی مساوی تقسیم شده‌است، آن گاه شکل حاصل متوازی‌الاضلاعی خواهد بود که به مستطیل خیلی نزدیک است.[81] با دانستن اینکه مساحت این متوازی‌الاضلاع با دایرهٔ مفروض برابر است، با ضرب کردن ارتفاع متوازی‌الاضلاع (که همان شعاع دایره است) در ضلع بزرگ متوازی‌الاضلاع مساحت دایره به دست می‌آید. قابل توجه است که اضلاع بزرگ متوازی‌الاضلاع همان کمان‌های نظیر قطاع‌ها را تشکیل می‌دهند؛ پس می‌شود گفت که هر ضلع بزرگ متوازی‌الاضلاع برابر با نصف محیط دایرهٔ مفروض خواهد بود؛ یعنی اندازهٔ آن خواهد بود. اندازهٔ ضلع کوچک متوازی‌الاضلاع هم که (شعاع دایره) است، پس مساحت دایره خواهد بود.[82]

این اثبات را می‌توان با استفاده از مختصات قطبی به شکل صوری زیر نوشت:[83]

اِفرازِ صفحه توسط دایره

دایره صفحه را به سه بخش اِفراز می‌کند:

  1. داخل دایره: مجموعه نقطه‌هایی مانند ، که فاصلهٔ آن‌ها از مرکز دایره، کمتر از شعاع دایره است. داخل دایره به قرص موسوم است.[84]
  2. روی دایره: مجموعه نقطه‌هایی مانند ، که فاصلهٔ آن‌ها از مرکز دایره، برابر شعاع دایره است.
  3. خارج دایره: مجموعهٔ نقطه‌هایی مانند ، که فاصلهٔ آن‌ها از مرکز دایره، از شعاع دایره بیشتر است.

اشتراک دایره‌ها

عدسی متقارن و نامتقارن

اشتراک دو قرص دایره به عدسی[persian-alpha 21] یا اهلیلجی موسوم است.[85] اگر دو دایره شعاع برابر داشته باشند عدسی متقارن و در غیر این‌صورت عدسی نامتقارن (یا کلی) پدید می‌آید. مساحت عدسی متقارن با شعاع و طول کمان رادیان عبارت است از:

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

از اشتراک سه قرص دایره با شعاع مساوی که مرکز هر کدام در نقطهٔ تقاطع دو تای دیگری قرار گرفته باشد مثلث رولو حاصل می‌شود. مثلث رولو حداقل مساحت برای عرض معین در میان منحنی‌هایی با عرض ثابت را دارد. مساحت مثلث رولو ساخته‌شده از دوایری با شعاع عبات است از:[86]

مثلث رولو می‌تواند در داخل یک مربع بچرخد.[87]

برخی از قضایای دایره

قضیهٔ تالس: زاویهٔ محاطی متناظر به نیم‌دایره همواره ۹۰° است.[88]
در هر دایره، قطر عمود بر هر وتر، آن وتر و کمان‌های نظیرِ آن وتر را نصف می‌کند.[89]
در یک دایره، از دو وتر نابرابر، آنکه بزرگتر است، به مرکز دایره نزدیکتر است، و بالعکس.
شکل دیگر: در یک دایره، وترهای مساوی از مرکز دایره به یک فاصله‌اند.[90]
عمودمنصف هر وتر دایره از مرکز دایره می‌گذرد.[91]
قضیه وتر: در یک دایره، حاصلضرب پاره‌خط‌های روی هر وتر حاصل از تقاطع با یک وتر دیگر برابر با حاصلضرب پاره‌خط‌های حاصل‌شده روی وتر دومی است، یعنی .[92]
اگر دو خط سکانت متقاطع رسم شوند، اندازهٔ زاویه بین آن دو برابر است با نصف تفاضل کمان‌های محاط‌شده ( و )، یعنی .
قضیه پنج دایره: هرگاه پنج دایره که مرکزهایشان بر روی محیط دایرهٔ ششمی جای گرفته‌است، یکدیگر را زنجیروار بر روی همان دایره قطع کنند، آنگاه نقطه دوم تقاطع دایره‌ها رئوس داخلی ستاره‌ای پنج‌پرند که رئوس خارجی‌اش بر روی محیط این دایره‌ها جای گرفته‌است.[93]
زوایای روبرو در هر چهارضلعی محاطی مکملند (مجموعشان برابر ۱۸۰° است).[94]
قضیه بطلمیوس: مجموع حاصلضرب اضلاع روبروی هر چهارضلعی محاطی برابر است با حاصلضرب قطرهای آن. یعنی:[95]

زوایای روبرو در هر چهارضلعی محاطی مکملند (مجموعشان برابر ۱۸۰° است).[96]

دستگاه دوایر

مراکز و دوایر تشابه

مراکز تشابه داخلی و خارجی دو دایره

نقاط تقاطع مماس‌های مشترک دو دایره به «مراکز تشابه» آن دو دایره موسومند.[97] مرکز تشابهی که از برخورد مماس‌های مستقیم (خط‌هایی که هر دو دایره را در یک سمت لمس می‌کنند) ایجاد می‌شود «مرکز تشابه بیرونی» و مرکز تشابهی که از برخورد مماس‌های اریب (خط‌هایی که دو دایره را در دو سمت مقابل لمس می‌کنند) «مرکز تشابه درونی» نامیده می‌شود. می‌توان ثابت کرد که مراکز تشابه دایره روی خطی قرار دارند که از مراکز دو دایره می‌گذرد و این خط و امتداد آن را به نسبت شعاع‌های دو دایره تقسیم می‌کنند.[98] همچنین دایره‌ای که مرکزش روی این خط باشد و از هر دو مرکز تشابه بگذرد (قطر آن برابر فاصلهٔ بین دو مرکز تشابه باشد) به «دایرهٔ تشابه» موسوم است. می‌توان ثابت کرد که این دایره مکان هندسی همهٔ مراکز تشابه داخلی و خارجی ممکن است.[99]

در دستگاه سه زاویه‌ای شش مرکز تشابه (دو تا  ———  یکی بیرونی و یکی درونی  ———  برای هر جفت دایره) وجود دارد. می‌توان ثابت کرد که سه مرکز تشابه بیرونی روی یک خط قرار دارند و هر دو مرکز تشابه درونی با مرکز تشابه بیرونی سوم روی یک خطند.[100]

دوایر هم‌محور

دو مدادِ دوایر هم‌محور با خط رادیکال عمود بر هم، که به دایره‌های آپولونیوس موسوم است.

دستگاه دوایر به دایره‌هایی گفته می‌شود که مرکز آن‌ها روی یک خط قرار دارد و خط رادیکال (مکان هندسی نقاطی که مماس‌های ترسیم شده به هر دایره طول مساوی داشته باشند) مشترکی داشته باشند.[101] مجموعهٔ همهٔ دوایر هم‌محور به «مدادِ دوایر هم‌محور» موسوم است. اگر خط رادیکال یک مداد دوایر (برابر محور ها) گرفته شود، معادلهٔ دستگاه برابر خواهد بود که مقداری ثابت است، و می‌توان نشان داد که طول مماس بر هر دایره از هر نقطه معین روی خط رادیکال برابر و مستقل از و شعاع دایره‌ها است.[102]

معادله‌های دایره

نمودار معادلهٔ دایره‌ای به مرکز (c(h,k و شعاع r

معادلهٔ متعارف

نمودار معادلهٔ دایره‌ای به مرکز مبدأ مختصاتی و شعاع

معادلهٔ دایره‌ای که مرکزش و شعاعش باشد عبارت است از:[103]

و اگر مرکز دایره در مبدأ مختصاتی قرار بگیرد معادلهٔ آن عبارت است از:

اثبات

نقطهٔ روی دایره است اگر و تنها اگر:

یعنی اگر و تنها اگر:

این درست است اگر و تنها اگر:

معادلهٔ عام منحنی‌های درجه دو

برای اینکه معادلهٔ عام منحنی‌‌های درجه دو (یعنی ) دایره باشد، باید را برابر صفر قرار داد و را برابر . با شرط این معادله را می‌توان به شکل زیر نوشت:[104]

که به معادلهٔ کلی دایره موسوم است. برای تبدیل این معادله به معادلهٔ متعارف دایره، می‌توان با استفاده از اتحاد مربع مجموع دو جمله‌ای عبارت بالا را به شکل زیر نوشت:[105]

که در آن . در این معادله مرکز دایره در نقطهٔ و شعاع آن برابر با است. اگر کوچکتر از صفر باشد حاصل یک «دایرهٔ حقیقی»، اگر بزرگ‌تر از صفر باشد دایره حاصل یک «دایرهٔ مجازی»[persian-alpha 22] و اگر برابر صفر باشد حاصل نقطه خواهد بود.[106]

معادلهٔ پارامتری

معادلهٔ پارامتری دایره‌ای به شعاع عبارت است از:[107]

که در آن .

معادلهٔ پارامتری دایره را به صورت عبارت‌های گویا نیز می‌توان نوشت. در این حالت معادلهٔ پارامتری دایره‌ای به شعاع عبارت است از:[108]

طول کمان ، انحنا ، و زاویه مماسی را نیز می‌توان به‌صورت پارامتری نوشت، که عبارتند از:[109]

صورت سه‌نقطه‌ای

معادلهٔ دایره‌ای که از سه نقطهٔ غیر هم‌خط به ازای می‌گذرد (یعنی دایرهٔ محیطی مثلثی که رئوسش این سه نقطه‌اند) عبارت است از:[110]

این معادله را می‌توان به صورت معادلهٔ عام منحنی‌های درجه دو نوشت:

که در آن ، مقدار صفر است (چرا که عبارتی قطری بین و در دایره نیست)، و:[111]

در این‌صورت مرکز دایره در نقطهٔ خواهد بود و شعاع آن عبارت است از:[112]

معادله قطبی

معادلهٔ قطبی دایره به محوریت مرکز آن نوشته می‌شود و شکلی ساده دارد. معادلهٔ قطبی دایره‌ای به شعاع که مرکز آن در مبدأ مختصاتی واقع شده باشد عبارت است از:[113]

اگر مرکز دایره به نقطهٔ منتقل شود معادلهٔ قطبی آن عبارت خواهد بود از:[114]

و اگر مرکز دایره به نقطهٔ منتقل شود معادلهٔ قطبی آن عبارت خواهد بود از:[115]

ابرمعادله

دایرهٔ واحد به عنوان حالت خاص ابربیضی

صورت عام ابرمعادله در دستگاه مختصات قطبی عبارت است از:[116]

اگر در این معادله باشد و ، ، و هم هر سه مساوی ۲ باشند، منحنی حاصل دایرهٔ واحد (دایره‌ای با شعاع یک) است. با ضرب کردن در معادلهٔ بالا، معادلهٔ دایره‌ای با شعاع حاصل می‌شود.[117]

ترسیم با خط‌کش و پرگار

ترسیم پنج‌ضلعی با خط‌کش و پرگار

خط‌کش و پرگار تنها ابزارهای مجاز ترسیم در هندسه اقلیدسی هستند،[118] تا جایی که هندسهٔ اقلیدسی گاه «هندسهٔ خط‌کش و پرگار» خوانده شده‌است.[119] پرگار ابزاری برای کشیدن دایره بر اساس تعریف اقلیدسی آن است[120] و با خط‌کشی با طول بی‌نهایت می‌توان خط راست کشید، و هدف ریاضی‌دانان اقلیدسی این بود که همهٔ اشکال را با این دو ابزار بسازند.[121] بنابراین در ترسیم با خط‌کش و پرگار تنها از سه اصل اول اصول موضوعه هندسه اقلیدسی می‌توان استفاده کرد. بنابر اثبات گاوس، تنها شکل‌هایی را می‌توان با خط‌کش و پرگار رسم کرد که اندازه‌شان عدد ترسیم‌پذیر باشد. اعداد ترسیم‌پذیر اعدادی‌اند که بتوان آن‌ها را با اعمال چهار عمل اصلی و ریشه دوم بر یک عدد ترسیم‌پذیر دیگر به دست آورد (صفر و یک بنابر تعریف ترسیم‌پذیرند).

ترسیم‌های بنیادی

ترسیم‌های بنیادی

همهٔ ترسیم‌ها با خط‌کش و پرگار با تکرار و ترکیب پنج ترسیم بنیادی در صفحه صورت می‌گیرند. این پنج ترسیم بنیادی عبارتند از:

  1. ساخت یک خط با داشتن دو نقطه (اصل اول از اصول موضوعه هندسه اقلیدسی)
  2. ساخت یک دایره با داشتن دو نقطه (اصل سوم از اصول موضوعه هندسه اقلیدسی)
  3. ساخت یک نقطه در محل تقاطع دو خط ناموازی
  4. ساخت دو نقطه در محل تقاطع یک خط و یک دایره (در صورت تقاطع)
  5. ساخت دو نقطه در محل تقاطع دو دایره (در صورت تقاطع)

برخی ترسیم‌های خط‌کش و پرگار

تنصیف زاویه: برای رسم نیمساز زاویه ابتدا به مرکزیت رأس زاویه کمانی به شعاع دلخواه زده شود و نقاط تقاطع آن با اضلاع زاویه ( و ) مشخص شود. سپس به مرکزیت و دو کمان با شعاع مساوی و بزرگتر از نصف زده شود. با اتصال نقاط تقاطع این کمان، نیمساز زاویه حاصل می‌شود.[122]
ترسیم عمودمنصف پاره‌خط: به شعاع بیش از نصف طول پاره‌خط دو کمان به مرکزیت دو سر پاره‌خط زده می‌شود. با وصل کردن نقاط تقاطع دو کمان، عمودمنصف پاره‌خط حاصل می‌شود.[123]
رسم عمودی بر خط از نقطه‌ای بیرون آن: به مرکزیت نقطه کمانی به شعاع دلخواه زده می‌شود تا خط را در و قطع کند. سپس به روش مذکور در بالا عمودمنصف پاره خط ترسیم می‌شود.[124]
ترسیم دایره با داشتن سه نقطه غیرهم‌خط ، ، و : به روش بالا عمودمنصف پاره‌خط‌های و رسم می‌شود. نقطهٔ تقاطع دو عمودمنصف مرکز دایره است و می‌توان از آن به فاصلهٔ هر کدام از نقاط دایره را رسم کرد.

ترسیم‌های غیرممکن

یکی از مسائل کهن ریاضی که در طول تاریخ ریاضی‌دانان را درگیر خود کرده بود تربیع دایره است و مطلوب آن ترسیم مربعی با خط‌کش و پرگار است که مساحت آن با مساحت دایره‌ای مفروض برابر باشد. شکل دیگری از این مسئله ترسیم مربعی با خط‌کش و پرگار است که محیط آن با محیط دایرهٔ مفروض برابر باشد.[125] در ۱۸۸۲ فردیناند فون لیندمن نشان داد که پی عددی متعالی است، و تربیع دایره غیرممکن است. در زبان انگلیسی «تربیع دایره» (به انگلیسی: squaring the circle) وارد ادبیات شده‌است و همچنین ضرب‌المثلی به مفهوم «عمل غیرممکن» است.[126]

تثلیث زاویه و تضعیف مکعب (یا «مسئلهٔ دلوسی») نیز دو مسئله کهن دیگر ترسیم با خط‌کش و پرگارند که هدف اولی تقسیم زاویه به سه قسمت مساوی است و هدف دومی ترسیم مکعبی که حجم آن دو برابر حجم مکعبی مفروض (هر ضلع آن برابر ضلع مکعب مفروض) باشد.[127] ترسیم هفت‌ضلعی منتظم با استفاده از خط‌کش و پرگار (یا تقسیم دایره به هفت کمان مساوی، موسوم به تسبیع دایره هم از مسائلی است که به‌ویژه دانشمندان عصر طلایی اسلام را به خود مشغول داشته بود.[128] در سال ۱۷۸۶ کارل فریدریش گاوس گاوس نشان داد که هفت کوچکترین عدد ترسیم‌ناپذیر است و نمی‌توان هفت‌ضلعی منتظم را با پرگار و خط‌کش ترسیم کرد.[129]

در بعدهای بالاتر

یک تصویرسازی سه‌بعدی از ۳-کره، یا تعمیم دایره در فضای چهاربعدی. همانگونه که می‌توان از اشیاء سه‌بعدی عکس‌هایی دوبعدی تهیه کرد، از اشیاء چهاربعدی هم می‌توان تصاویری سه‌بعدی ساخت.

تعمیم دایره در فضای سه‌بعدی کره نام دارد.[130] همهٔ نقاط روی سطح کره از مرکز آن به یک فاصله‌اند. همچنین تعمیم دایره در فضای بعدی به -کره موسوم است.[131] -کره مجموعهٔ همهٔ نقاطی است که در فضای بعدی از یک نقطهٔ معین فاصلهٔ یکسانی داشته باشند. به‌این‌ترتیب ۱-کره همان دایره و ۲-کره همان کره است.

همچنین حاصل اکستروژن موازی دایره استوانه و حاصل اکستروژن مرکزی آن مخروط است.

یادداشت‌ها

  1. یونانی: κωνικά «کُنیکا»، انگلیسی: Conics
  2. لاتین: Sulcus Primigenius، به معنای شیار تولد
  3. Zhui Shu (綴述 ژویی شو).
  4. در باب آنچه صنعتگران از مسائل هندسی نیاز دارند.
  5. «و رساله‌های دیگر تألیف کردم مانند... و رساله «وتر و جیب» در استخراج آن دو برای یک سوم قوسی که وتر جیب آن معلوم باشد و این نیز یکی از مسائلی است که بر پیشینیان دشوار بوده چنانکه صاحب مجسطی [= بطلمیوس] در آن کتاب گفته است که برای به دست آوردن آن راهی نیست.»
  6. علت اینکه تیکو مریخ را برای مشاهده انتخاب کرد این است که سنتاً حرکت بازگشتی آن نسبت به بقیهٔ‌ «افلاک» طولانی‌تر و مدار آن کمتر مشابه دایرهٔ کامل بوده‌است. عمدهٔ تلاش بطلمیوس در ارائهٔ دوایر تدویر متعدد در واقع توجیه حرکت مریخ بوده‌است.[29]
  7. trajectory
  8. squaring Curve
  9. A Budget of Paradoxes
  10. Watts Brothers Tool Works
  11. microcosm
  12. macrocosm
  13. Paul Calter
  14. inradius
  15. circumradius
  16. degenerate case
  17. مخفف radius، به معنای پرتو
  18. مخفف diametrus، ترانویسی کلمه یونانی διάμετρος (دیامترون: دیا = حد وسط دو چیز و مترون = اندازه‌گیری)
  19. chord
  20. Passante
  21. lens
  22. virtual circle

منابع

پانویس

  1. MacTutor History of Mathematics
  2. MacTutor History of Mathematics
  3. Arndt et al. 2001:167
  4. Davis 2006:15
  5. Koestler 2017:31
  6. Koestler 2017:49
  7. Koestler 2017:57
  8. Koestler 2017:63
  9. MacTutor History of Mathematics
  10. Postnikov & Shenitzer 2000:645
  11. Davis 2006:95
  12. MacTutor History of Mathematics
  13. Wolfram MathWorld 2003
  14. MacTutor History of Mathematics
  15. Mazer 2011:11
  16. Davis 2006:xlii
  17. Koestler 2017:66-70
  18. Koestler 2017:66
  19. Riess 2016:105
  20. زحمت‌کشان ۱۳۸۴:۳۰–۳۴
  21. Martzloff 1997:277-282
  22. هوخندایک و امینی ۱۳۹۲:۸۶–۹۸
  23. عالم‌زاده و دوست‌قرین ۱۳۸۷:۱۲۳–۱۴۰
  24. میرابوالقاسمی و باقری ۱۳۸۲:۸۹–۱۴۲
  25. Koestler 2017:146
  26. Koestler 2017:147
  27. Koestler 2017:159
  28. Koestler 2017:324
  29. Koestler 2017:315
  30. Koestler 2017:283-300
  31. Koestler 2017:283-300
  32. Koestler 2017:390
  33. Koestler 2017:507
  34. Mazer 2011:42
  35. Gielis 2003:21
  36. Davis 2006:xlii
  37. Gielis 2003:21
  38. Gielis 2003:19
  39. Gielis 2003:19
  40. Gielis 2003:19
  41. Gielis 2003:20
  42. Reuleaux Triangle -- from Wolfram MathWorld
  43. Gielis 2003:20
  44. بزرگ‌بیگدلی , اکبری‌گندمانی و محمدی‌کله‌سر ۱۳۸۶:۷۹–۹۸
  45. Blunt 1938:53
  46. Calter 2007:137
  47. Hoerricks 2015
  48. Koestler 2017:77
  49. Calter 2007:147-149
  50. Calter 2007:171
  51. Calter 2007:22
  52. Calter 2007:116
  53. Calter 2007:25
  54. استیرلن و فلاح‌نژاد ۱۳۷۴:۱۸۸–۲۰۰
  55. Calter 2007:75
  56. Calter 2007:167
  57. Hollander
  58. وجدانی ۱۳۹۱:۱۸
  59. What Is Circle? -- Alexander Bogomolny
  60. Euclid , Heath & Densmore 2002, I:15
  61. Euclid , Heath & Densmore 2002, I:16
  62. Wolfram MathWorld 2003
  63. Wolfram MathWorld 2003
  64. Wolfram MathWorld 2003
  65. Wolfram MathWorld 2003
  66. Lockhart 2012:142
  67. What Is Circle? -- Alexander Bogomolny
  68. What Is Circle? -- Alexander Bogomolny
  69. What Is Circle? -- Alexander Bogomolny
  70. What Is Circle? -- Alexander Bogomolny
  71. CIRCLE DEFINITIONS AND THEOREMS 2007
  72. CIRCLE DEFINITIONS AND THEOREMS 2007
  73. What Is Circle? -- Alexander Bogomolny
  74. What Is Circle? -- Alexander Bogomolny
  75. CIRCLE DEFINITIONS AND THEOREMS 2007
  76. Wolfram MathWorld 2003
  77. Wolfram MathWorld 2003
  78. 1911 Encyclopædia Britannica: Circle
  79. Wolfram MathWorld 2003
  80. Wolfram MathWorld 2003
  81. Wolfram MathWorld 2003
  82. Wolfram MathWorld 2003
  83. Wolfram MathWorld 2003
  84. Wolfram MathWorld 2003
  85. Wolfram MathWorld 2003
  86. Reuleaux Triangle -- from Wolfram MathWorld
  87. Reuleaux Triangle -- from Wolfram MathWorld
  88. Davis 2006:15
  89. CIRCLE DEFINITIONS AND THEOREMS 2007
  90. CIRCLE DEFINITIONS AND THEOREMS 2007
  91. CIRCLE DEFINITIONS AND THEOREMS 2007
  92. CIRCLE DEFINITIONS AND THEOREMS 2007
  93. Wolfram MathWorld -- Miquel Five Circles Theorem
  94. CIRCLE DEFINITIONS AND THEOREMS 2007
  95. Bogomolny -- Ptolemy's Theorem
  96. CIRCLE DEFINITIONS AND THEOREMS 2007
  97. 1911 Encyclopædia Britannica: Circle
  98. 1911 Encyclopædia Britannica: Circle
  99. 1911 Encyclopædia Britannica: Circle
  100. 1911 Encyclopædia Britannica: Circle
  101. 1911 Encyclopædia Britannica: Circle
  102. 1911 Encyclopædia Britannica: Circle
  103. Wolfram MathWorld 2003
  104. Gibson 2003:23
  105. Gibson 2003:23
  106. Gibson 2003:23
  107. Wolfram MathWorld 2003
  108. Wolfram MathWorld 2003
  109. Wolfram MathWorld 2003
  110. Wolfram MathWorld 2003
  111. Wolfram MathWorld 2003
  112. Wolfram MathWorld 2003
  113. Wolfram MathWorld 2003
  114. Wolfram MathWorld 2003
  115. Wolfram MathWorld 2003
  116. Gielis 2003:26
  117. Gielis 2003:26
  118. Koestler 2017:390
  119. Davis 2006:5
  120. What Is Circle? -- Alexander Bogomolny
  121. Davis 2006:111
  122. M3210 - Higher Geometry I
  123. M3210 - Higher Geometry I
  124. M3210 - Higher Geometry I
  125. Davis 2006:109
  126. Davis 2006:109
  127. M3210 - Higher Geometry I
  128. کرامتی ۱۳۸۷:۲۹۱-۲۹۴
  129. Gielis 2003:21
  130. Wolfram MathWorld 2003
  131. Wolfram MathWorld 2003

فهرست منابع

  • استیرلن؛ فلاح‌نژاد، منصور (۱۳۷۴). «تطور معماری مساجد در ایران». هنر (۳۰): ۱۸۸–۲۰۰. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۹-۰۱-۱۸.
  • بزرگ‌بیگدلی، سعید؛ اکبری‌گندمانی، هیبت‌الله؛ محمدی‌کله‌سر، علیرضا (۱۳۸۶). «نمادهای جاودانگی (تحلیل و بررسی نماد دایره در متون دینی و اساطیری)». پژوهش‌های ادب عرفانی (۱): ۷۹–۹۸. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۹-۰۱-۱۴.
  • زحمت‌کشان، مژده (۱۳۸۴). «پایتخت‌های اشکانیان: تأملی در شهرهای دایره ای اشکانیان». رشد آموزش تاریخ (۱۹): ۳۰–۳۴. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۹-۰۱-۱۴.
  • عالم‌زاده، هادی؛ دوست‌قرین، فاطمه (۱۳۸۷). «میرزا ابوتراب نطنزی و رویکردی بدیع به مسئله تثلیث زاویه». تاریخ و تمدن اسلامی (۸): ۱۲۳–۱۴۰. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۹-۰۱-۱۵.
  • کرامتی، یونس (۱۳۸۷). «دائرة المعارف بزرگ اسلامی:تسبیع دایره». مرکز دائرة المعارف بزرگ اسلامی. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۹-۰۱-۲۶.
  • میرابوالقاسمی، سیدمحمدتقی؛ باقری، محمد (۱۳۸۲). «رساله عبدالرحمن صوفی دربارهٔ هندسه پرگاری». تاریخ علم (۱): ۸۹–۱۴۲. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۹-۰۱-۱۵.
  • وجدانی، بهروز (۱۳۹۱). «مروری بر مفهوم واژه‌های دایره، دوایر، دور و ادوار در موسیقی ایرانی» (۸). فصلنامه داخلی خانه موسیقی ایرانی: ۱۸–۱۹. بایگانی‌شده از اصلی (PDF) در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۱۶ ژانویه ۲۰۱۸.
  • هوخندایک، یان پ.؛ امینی، حسن (۱۳۹۲). «مطالعه مقاطع مخروطی در دوره اسلامی». میراث علمی اسلام و ایران (۳): ۸۶–۹۸. بایگانی‌شده از اصلی در ۲۹ مارس ۲۰۱۹. دریافت‌شده در ۲۰۱۸-۱۲-۱۹.

پیوند به بیرون

در ویکی‌انبار پرونده‌هایی دربارهٔ دایره موجود است.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.