نمایش مبدأ برای دایره محیطی

{{short description|دایره‌ای که از تمام رئوس یک چندضلعی عبور می‌کند}}
[[File:Circumscribed Polygon.svg|thumb|دایره محیطی ''C''، و مرکز دایره محیطی ''O'' مربوط به یک چندجمله‌ای محاطی ''P'']]
در [[هندسه]]، '''دایره محیطی''' {{انگلیسی|Circumscribed Circle}} (یا Circumcircle) از یک [[چندضلعی]]، [[دایره]] ای است که از تمام رئوس آن چندضلعی می‌گذرد. مرکز این دایره را «مرکز دایره محیطی» (Circumcenter) و شعاعش را «شعاع دایره محیطی» (Circumradius) می‌نامند.

همه چندضلعی‌ها لزوماً دایره محیطی ندارند. چندضلعی که دایره محیطی داشته باشد را «چندضلعی محاطی» (چون توسط یک دایره احاطه شده)، «چندضلعی دایره‌ای» (Cyclic Polygon)، یا «چندضلعی هم‌دایره» (Concyclic Polygon) نیز می‌نامند، چرا که رئوس آن [[نقاط هم‌دایره|هم‌دایره]] اند. تمام [[مثلث|مثلث‌ها]]، تمامی [[چند ضلعی ساده|چندضلعی‌های ساده]] [[چندضلعی منتظم|منتظم]]، تمام [[مستطیل|مستطیل‌ها]]، تمام [[ذوزنقه متساوی‌الساقین|ذوزنقه‌های متساوی الساقین]]، و همچنین تمام [[کایت (هندسه)|کایت‌های]] راست‌گوشه جزو چندضلعی‌های محاطی اند.

مفهوم مرتبط با آن، «[[مسئله کوچک‌ترین دایره|دایره احاطه‌کننده کمینه]]» است، یعنی کوچکترین دایره‌ای که خود چندضلعی را کاملاً در بر گیرد، به طوری که مرکز دایره داخل چندضلعی قرار گیرد. هر چندضلعی دارای چنین دایره‌ی منحصربفردی است که می‌توان آن را با الگوریتم [[زمان اجرای الگوریتم|زمان-خطی]] ساخت.<ref>{{cite journal|first=N.|last=Megiddo|title=Linear-time algorithms for linear programming in '''R'''<sup>3</sup> and related problems|journal=SIAM Journal on Computing|volume=12|issue=4|pages=759–776|year=1983|doi=10.1137/0212052}}</ref> حتی اگر یک چندضلعی دارای دایره محیطی باشد، ممکن است این دایره متفاوت با دایره احاطه‌کننده کمینه‌اش باشد. به عنوان مثال، برای یک [[مثلث‌های حاده و منفرجه|مثلث منفرجه]]، قطر دایره احاطه‌کننده کمینه، همان ضلع بزرگ مثلث بوده و دایره مذکور نیز از رأس مقابل این ضلع عبور نمی‌کند.

== مثلث‌ها ==
تمام مثلث‌ها دایره‌ای (یا دوری) اند؛ یعنی، هر مثلث دارای دایره محیطی است.

=== ترسیم با خط‌کش و پرگار ===
[[File:Circumcenter Construction.svg |upleft=1.35|thumb|[[ساخت با خط‌کش و پرگار|ساخت]] دایره محیطی (قرمز) و مرکز آن Q (نقطه قرمز)]]
مرکز دایره محیطی یک مثلث را می توان با [[ساخت با خط‌کش و پرگار|ترسیم]] دو [[عمودمنصف|عمود منصف]] دلخواه از آن بدست آورد. برای سه نقطه غیر-هم‌خط (یعنی رئوس مثلث)، این دو خط نمی‌توانند موازی باشند و مرکز دایره محیطی محل برخوردشان خواهد بود. هر نقطه روی عمود منصف از رأس انتهای ضلع مورد نظر به یک فاصله اند، در نتیجه محل برخوردشان (مرکز دایره محیطی) از هر سه رأس به یک فاصله می‌باشد، لذا شعاع دایره محیطی، فاصله آن از هر سه رأس مثلث است.

===ترسیمی دیگر===
[[File:Triangle circumcenter alternate construction.png|thumb|upleft=1.2|]]
روش دیگر جهت تعیین مرکز دایره محیطی این است که دو خط ترسیم شده، به گونه‌ای که هر کدام طبق شکل از دو رأس دلخواه، با زاویه (مجاور با ضلع مشترک بینشان) برابر با °90 منهای زاویه رأس مقابل با ضلع مشترک خارج شوند (در حالتی که زاویه آلفای مربوط به رأس مقابل، زاویه منفرجه‌ای باشد، ترسیم خطی با زاویه منفی به معنای این است که خطوط به سمت خارج مثلث کشیده می‌شوند، چرا که در این حالت مرکز دایره محیطی بیرون مثلث قرار می‌گیرد).

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

===معادلات دایره محیطی===
====مختصات کارتزین====
در [[صفحه]] اقلیدسی، امکان ارائه معادله صریحی از دایره محیطی برحسب [[مختصات کارتزین]] رئوس مثلث محاط در آن وجود دارد. فرض کنید:
{{وسط‌چین}}
<math>\begin{align}
  \mathbf{A} &= (A_x, A_y) \\
  \mathbf{B} &= (B_x, B_y) \\
  \mathbf{C} &= (C_x, C_y)
\end{align}</math>
{{پایان وسط‌چین}}
مختصات نقاط ''A''،{{رچ}} ''B''، و ''C'' باشند. آنگاه دایره محیطی مکان هندسی نقاط <math>\bf{b} = (v_x, v_y)</math> در صفحه کارتزین خواهد بود که در معادلات زیر صدق می‌کند:
{{وسط‌چین}}
<math>\begin{align}
  |\mathbf{v} - \mathbf{u}|^2 &= r^2 \\
  |\mathbf{A} - \mathbf{u}|^2 &= r^2 \\
  |\mathbf{B} - \mathbf{u}|^2 &= r^2 \\
  |\mathbf{C} - \mathbf{u}|^2 &= r^2
\end{align}</math>
{{پایان وسط‌چین}}
معادلات بالا تضمین می‌کنند که همه نقاط '''A'''، {{رچ}}'''B'''، {{رچ}}'''C'''، و '''v''' دارای فاصله مساوی ''r'' از مرکز مشترک ''u'' دایره می‌باشند. می‌توان با استفاده از اتحاد قطبش، این معادلات را به شرط ناصفر بودن هسته [[ماتریس]] زیر تقلیل داد:
{{وسط‌چین}}
<math>\begin{bmatrix}
  |\mathbf{v}|^2 & -2v_x & -2v_y & -1 \\
  |\mathbf{A}|^2 & -2A_x & -2A_y & -1 \\
  |\mathbf{B}|^2 & -2B_x & -2B_y & -1 \\
  |\mathbf{C}|^2 & -2C_x & -2C_y & -1
\end{bmatrix}</math>
{{پایان وسط‌چین}}
لذا، ممکن است بتوان دایره محیطی را به صورت [[مکان هندسی]] صفرهای [[دترمینان]] این ماتریس توصیف نمود:
{{وسط‌چین}}
<math>\det\begin{bmatrix}
  |\mathbf{v}|^2 & v_x & v_y & 1 \\
  |\mathbf{A}|^2 & A_x & A_y & 1 \\
  |\mathbf{B}|^2 & B_x & B_y & 1 \\
  |\mathbf{C}|^2 & C_x & C_y & 1
\end{bmatrix}=0.</math>
{{پایان وسط‌چین}}
با استفاده از [[بسط لاپلاس|بسط کوفاکتور]]، فرض کنید:
{{وسط‌چین}}
<math>\begin{align}
  S_x &= \frac{1}{2}\det\begin{bmatrix}
    |\mathbf{A}|^2 & A_y & 1 \\
    |\mathbf{B}|^2 & B_y & 1 \\
    |\mathbf{C}|^2 & C_y & 1
  \end{bmatrix}, \\[5pt]
  S_y &= \frac{1}{2}\det\begin{bmatrix}
    A_x & |\mathbf{A}|^2 & 1 \\
    B_x & |\mathbf{B}|^2 & 1 \\
    C_x & |\mathbf{C}|^2 & 1
  \end{bmatrix}, \\[5pt]
  a &= \det\begin{bmatrix}
    A_x & A_y & 1 \\
    B_x & B_y & 1 \\
    C_x & C_y & 1
  \end{bmatrix}, \\[5pt]
  b &= \det\begin{bmatrix}
     A_x & A_y & |\mathbf{A}|^2 \\
     B_x & B_y & |\mathbf{B}|^2 \\
     C_x & C_y & |\mathbf{C}|^2
  \end{bmatrix}
\end{align}</math>
{{پایان وسط‌چین}}
سپس داریم <math>\left|\mathbf{v}\right|^2-2\mathbf{S}\mathbf{v}-b=0</math> و با فرض این که سه نقطه [[هم‌خطی|هم‌خط]] نباشند (در غیر این صورت دایره محیطی، همان خطی است که می‌توان آن را به عنوان دایره تعمیم یافته ای دید که S آن در بی‌نهایت قرار دارد)، معادله <math>\left|\mathbf{v}-\frac{\mathbf{S}}{a}\right|^2=\frac{b}{a}+\frac{\left|\mathbf{S}\right|^2}{a^2}</math>، به ما مرکز دایره محیطی <math>\frac{\mathbf{S}}{a}</math> و شعاع دایره محیطی <math>\sqrt{\frac{b}{a}+\frac{\left|\mathbf{S}\right|^2}{a^2}}</math> را خواهد داد. رهیافت مشابهی امکان بدست آوردن معادلات مربوط به کره محیطی یک [[چهاروجهی]] را خواهند داد.

====معادله پارامتری====
[[بردار واحد]] [[تعامد (هندسه)|عمود]] بر صفحه در بر گیرنده دایره به این صورت است:
{{وسط‌چین}}
<math>\widehat{n} = \frac{(P_2 - P_1) \times (P_3 - P_1)}{| (P_2 - P_1) \times (P_3 - P_1)|}</math>
{{پایان وسط‌چین}}
ازین رو، اگر شعاع ''r''، مرکز، <math>P_c</math>، نقطه‌ای روی دایره، <math>P_0</math> و بردار نرمال واحد <math display="inline">\widehat{n}</math> از صفحه‌ی شامل دایره داده شده باشد، معادله تک پارامتری دایره که از <math>P_0</math> شروع شده و در جهت مثبت (یعنی در [[قانون دست راست|جهت راست-دست]]) حول <math>\scriptstyle{\widehat{n}}</math> پیش رود، به صورت زیر خواهد بود:
{{وسط‌چین}}
<math>\mathrm{R} (s) = \mathrm{P_c} + 
  \cos\left(\frac{\mathrm{s}}{\mathrm{r}}\right)
    (P_0 - P_c) + 
  \sin\left(\frac{\mathrm{s}}{\mathrm{r}}\right)
    \left[\widehat{n} \times(P_0 - P_c)\right].
</math>
{{پایان وسط‌چین}}

====مختصات سه‌خطی و گرانیگاهی====
معادله ای برای دایره محیطی در مختصات سه‌خطی <math>x:y:z</math> به این صورت است:<ref name=WW>{{cite book|last=Whitworth|first=William Allen|title=Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions|publisher=Deighton, Bell, and Co.|year=1866|page=[https://archive.org/details/trilinearcoordin00whituoft/page/n241/mode/2up 199]|url=https://archive.org/details/trilinearcoordin00whituoft}}</ref> {{رچ}} <math>a/x+b/y+c/z=0</math>. معادله آن در [[دستگاه مختصات گرانیگاهی|مختصات گرانیگاهی]] <math>x:y:z</math> به این صورت است: <math>a^2/x+b^2/y+c^2/z=0</math>.

مزدوج ایزوگونال دایره محیطی، خط در بی‌نهایت بوده که در مختصات سه‌خطی به صورت <math>ax+by+cz=0</math> و در مختصات گرانیگاهی به صورت <math>x+y+z=0</math> است.

====ابعاد بالاتر====
دایره محیطی یک مثلث که در بعد ''d'' نشانده شده است را می توان با استفاده از روش تعمیم یافته پیدا نمود. فرض کنید <math>\mathbf{A}</math> و <mdfth>\mathbf{B}</math> و <math>\mathbf{C}</math> نقاط ''d''-بعدی بوده که تشکیل مثلث می‌دهند. با انتقال دستگاه شروع می‌کنیم تا <math>\mathbf{C}</math> به [[مبدأ (ریاضیات)|مبدأ مختصات]] منتقل شود:
{{وسط‌چین}}
<math>\begin{align}
  \mathbf{a} &= \mathbf{A}-\mathbf{C}, \\
  \mathbf{b} &= \mathbf{B}-\mathbf{C}.
\end{align}</math>
{{پایان وسط‌چین}}
سپس شعاع دایره محیطی، ''r''، به این صورت خواهد بود:
{{وسط‌چین}}
<math>r = \frac
             {\left\|\mathbf{a}\right\|\left\|\mathbf{b}\right\|\left\|\mathbf{a} - \mathbf{b}\right\|}
             {2 \left\|\mathbf{a}\times\mathbf{b}\right\|}
         = \frac{\left\|\mathbf{a} - \mathbf{b}\right\|}{2 \sin\theta}
         = \frac{\left\|\mathbf{A} - \mathbf{B}\right\|}{2 \sin\theta},
</math>
{{پایان وسط‌چین}}
که در آن <math>\theta</math> زاویه داخلی بین <math>\mathbf{a}</math> و <math>\mathbf{b}</math> است. مرکز دایره محیطی، <math>p_0</math> به این صورت داده شده است:
{{وسط‌چین}}
<math>p_0 = \frac{(\left\|\mathbf{a}\right\|^2\mathbf{b} - \left\|\mathbf{b}\right\|^2\mathbf{a})
                      \times (\mathbf{a} \times \mathbf{b})}
                  {2 \left\|\mathbf{a}\times\mathbf{b}\right\|^2} + \mathbf{C}.</math>
{{پایان وسط‌چین}}
این فرمول تنها در سه بعد کار می‌کند، چرا که [[ضرب خارجی]] در ابعاد دیگر تعریف نشده، اما می‌توان آن را با جایگزین کردن [[ضرب داخلی]] با اتحادهای زیر تعمیم داد:
{{وسط‌چین}}
<math>\begin{align}
  (\mathbf{a} \times \mathbf{b}) \times \mathbf{c} &= (\mathbf{a} \cdot \mathbf{c})\mathbf{b} - (\mathbf{b} \cdot \mathbf{c})\mathbf{a}, \\
  \mathbf{a} \times (\mathbf{b} \times \mathbf{c}) &= (\mathbf{a} \cdot \mathbf{c})\mathbf{b} - (\mathbf{a} \cdot \mathbf{b})\mathbf{c}, \\
    \left\|\mathbf{a} \times \mathbf{b}\right\|^2  &= \left\|\mathbf{a}\right\|^2 \left\|\mathbf{b}\right\|^2 - (\mathbf{a} \cdot \mathbf{b})^2.
\end{align}</math>
{{پایان وسط‌چین}}

==منابع==
{{پانویس|چپ‌چین=بله}}

==پیوندهای بیرونی==
{{چپ‌چین}}
*[http://www.mathalino.com/reviewer/derivation-of-formulas/derivation-of-formula-for-radius-of-circumcircle Derivation of formula for radius of circumcircle of triangle] at Mathalino.com
* [http://dynamicmathematicslearning.com/semi-regular-anglegon.html Semi-regular angle-gons and side-gons: respective generalizations of rectangles and rhombi] at [http://dynamicmathematicslearning.com/JavaGSPLinks.htm Dynamic Geometry Sketches], interactive dynamic geometry sketch.
{{پایان چپ‌چین}}

===MathWorld===
{{چپ‌چین}}
*{{MathWorld |title=Circumcircle |urlname=Circumcircle}}
*{{MathWorld |title=Cyclic Polygon |urlname=CyclicPolygon}}
*{{MathWorld |title=Steiner circumellipse |urlname=SteinerCircumellipse}}
{{پایان چپ‌چین}}

===تعاملی===
{{چپ‌چین}}
*[http://www.mathopenref.com/trianglecircumcircle.html Triangle circumcircle] and [http://www.mathopenref.com/trianglecircumcenter.html circumcenter] With interactive animation
*[https://web.archive.org/web/20070819015520/http://www.uff.br/trianglecenters/X0003.html An interactive Java applet for the circumcenter]
{{پایان چپ‌چین}}

{{چندضلعی‌ها}}
[[رده:دایره‌های تعریف شده برای یک مثلث]]
[[رده:ساخت با خط‌کش و پرگار]]