|
|
| Line 1: |
Line 1: |
| [[Image:Cyclic quadrilateral.svg|thumb|right|Examples of cyclic quadrilaterals.]]
| | It's embarrassing to have hemorrhoids. This can provide you discomfort and irritating feelings. And when you have them, you normally look for the best hemorrhoid treatment in purchase to receive over those feelings.<br><br>It is not pricey at all, meaning it really is reasonably-priced. If you choose to buy venapro it's good to understand If you make bigger orders like 3 or even more bottles, then we will meet the requirements for a bargain. The product is supported up by a refund. It has a 90 day refund. This implies which you can ask to receive your funds back when it refuses to supply we any effect. There is sincerity inside this [http://hemorrhoidtreatmentfix.com/hemorrhoid-surgery hemorrhoids surgery] product in the sense that we will not be ripped off.<br><br>It is a truth that hemorrhoid is considered to be a form of vein swelling, that arises around the lower rectal areas. Besides, it is very mentioned that forty percent of the adults are having hemorrhoids also.<br><br>A healthy digestion will moreover be a key for not wanting to undertake any hemorrhoid cure. Great digestion ehances normal bowel movement. Exercising daily, strolling for about 20 to 30 minutes a day supports the digestive program.<br><br>Step 7 - Take A Sitz Bath. Fill the shower with approximately 8 or 9 inches of warm water, climb inside plus bathe for 10 to 15 minutes. You are able to repeat this process three times a day. One cup of Epsom salts is added but should you are a diabetic or suffer from any alternative chronic illness, check with your general practitioner at the outset.<br><br>Witch Hazel, you are able to carry this with you and utilize it whenever you're out. Pour a little of it on your bathroom paper plus employ it to clean oneself. Not just will you be cleaner, plus this might be important to heal the hemorrhoids, but Witch Hazel usually actively shrink the hemorrhoids.<br><br>As we can see there are different types of hemorrhoid treatment which you can utilize at home. Some of them can offer a ideal deal of relief from this uncomfortable condition, so it does pay to try them out. Do this and you'll shortly see you are no longer needing to deal with hemorrhoids on a daily basis. |
| In [[Euclidean geometry]], a '''cyclic quadrilateral''' or '''inscribed quadrilateral''' is a [[quadrilateral]] whose [[vertex (geometry)|vertices]] all lie on a single [[circle]]. This circle is called the ''circumcircle'' or [[circumscribed circle]], and the vertices are said to be ''[[concyclic]]''. The center of the circle and its radius are called the ''circumcenter'' and the ''circumradius'' respectively. Other names for these quadrilaterals are '''concyclic quadrilateral''' and '''chordal quadrilateral''', the latter since the sides of the quadrilateral are [[Chord (geometry)|chords]] of the circumcircle. Usually the quadrilateral is assumed to be [[Convex and concave polygons|convex]], but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.
| |
| | |
| The word cyclic is from the Greek ''kuklos'' which means "circle" or "wheel".
| |
| | |
| All [[triangle]]s have a [[Circumscribed circle|circumcircle]], but not all quadrilaterals do. An example of a quadrilateral that cannot be cyclic is a non-square [[rhombus]]. The section [[Cyclic quadrilateral#Characterizations|characterizations]] below states what [[necessary and sufficient condition]]s a quadrilateral must satisfy to have a circumcircle.
| |
| | |
| ==Special cases==
| |
| Any [[Square (geometry)|square]], [[rectangle]], [[isosceles trapezoid]], or [[antiparallelogram]] is cyclic. A [[kite (geometry)|kite]] is cyclic [[if and only if]] it has two right angles. A [[bicentric quadrilateral]] is a cyclic quadrilateral that is also [[tangential quadrilateral|tangential]] and an [[Ex-tangential quadrilateral#Ex-bicentric quadrilateral|ex-bicentric quadrilateral]] is a cyclic quadrilateral that is also [[Ex-tangential quadrilateral|ex-tangential]].
| |
| | |
| ==Characterizations==
| |
| A convex quadrilateral is cyclic [[if and only if]] the four [[perpendicular]] bisectors to the sides are [[Concurrent lines|concurrent]]. This common point is the [[circumcenter]].<ref name=Usiskin>{{citation |first1=Zalman |last1=Usiskin |first2=Jennifer |last2=Griffin |first3=David |last3=Witonsky |first4=Edwin |last4=Willmore |title=The Classification of Quadrilaterals: A Study of Definition |chapter=10. Cyclic quadrilaterals |chapterurl=http://books.google.com/books?id=ZkoUR5lRwdcC&pg=PA63 |year=2008 |publisher=IAP |isbn=978-1-59311-695-8 |pages=63–65 |series=Research in mathematics education}}</ref>
| |
| | |
| A convex quadrilateral ''ABCD'' is cyclic if and only if its opposite angles are [[supplementary angle|supplementary]], that is<ref name=Usiskin/>
| |
| :<math>A + C = B + D = \pi = 180^{\circ}.</math>
| |
| | |
| The direct theorem was Proposition 22 in Book 3 of [[Euclid]]'s [[Euclid's Elements|''Elements'']].<ref>{{citation |date=June 1997 |last=Joyce |first=D. E. |chapterurl=http://aleph0.clarku.edu/~djoyce/java/elements/bookIII/propIII22.html |title=[[Euclid's Elements]] |chapter=Book 3, Proposition 22 |publisher=Clark University}}</ref> Equivalently, a convex quadrilateral is cyclic if and only if each [[exterior angle]] is equal to the opposite [[interior angle]].
| |
| | |
| Another [[necessary and sufficient condition]] for a convex quadrilateral ''ABCD'' to be cyclic is that an angle between a side and a [[diagonal]] is equal to the angle between the opposite side and the other diagonal.<ref name=Andreescu>{{citation |first1=Titu |last1=Andreescu |first2=Bogdan |last2=Enescu |title=Mathematical Olympiad Treasures |chapter=2.3 Cyclic quads |chapterurl=http://books.google.com/books?id=mwUHJpvLOPsC&pg=PA44 |year=2004 |publisher=Springer |isbn=978-0-8176-4305-8 |pages=44–46, 50 |MR=2025063}}</ref> That is, for example,
| |
| :<math>\angle ACB = \angle ADB.</math>
| |
| | |
| [[Ptolemy's theorem]] expresses the product of the lengths of the two diagonals ''p'' and ''q'' of a cyclic quadrilateral as equal to the sum of the products of opposite sides:<ref name=Durell/>{{rp|p.25}}
| |
| :<math>\displaystyle pq = ac + bd.</math>
| |
| | |
| The [[Theorem#Converse|converse]] is also true. That is, if this equation is satisfied in a convex quadrilateral, then it is a cyclic quadrilateral.
| |
| | |
| If two lines, one containing segment ''AC'' and the other containing segment ''BD'', intersect at ''X'', then the four points ''A'', ''B'', ''C'', ''D'' are concyclic if and only if<ref>{{citation |last=Bradley |first=Christopher J. |title=The Algebra of Geometry: Cartesian, Areal and Projective Co-Ordinates |publisher=Highperception |year=2007 |isbn=1906338000 |page=179 |oclc=213434422}}</ref> | |
| :<math>\displaystyle AX\cdot XC = BX\cdot XD.</math>
| |
| | |
| The intersection ''X'' may be internal or external to the circle. In the former case, the cyclic quadrilateral is ''ABCD'', and in the latter case, the cyclic quadrilateral is ''ABDC''. When the intersection is internal, the equality states that the product of the segment lengths into which ''X'' divides one diagonal equals that of the other diagonal. This is known as the ''intersecting chords theorem'' since the diagonals of the cyclic quadrilateral are chords of the circumcircle.
| |
| | |
| Yet another characterization is that a convex quadrilateral ''ABCD'' is cyclic if and only if<ref>{{citation
| |
| |last=Hajja |first=Mowaffaq
| |
| |journal=Forum Geometricorum
| |
| |pages=103–6
| |
| |title=A condition for a circumscriptible quadrilateral to be cyclic
| |
| |url=http://forumgeom.fau.edu/FG2008volume8/FG200814.pdf
| |
| |volume=8 |format=PDF
| |
| |year=2008}}</ref>
| |
| :<math>\tan{\frac{A}{2}}\tan{\frac{C}{2}}=\tan{\frac{B}{2}}\tan{\frac{D}{2}}=1.</math>
| |
| | |
| ==Area==
| |
| The [[area]] ''K'' of a cyclic quadrilateral with sides ''a'', ''b'', ''c'', ''d'' is given by [[Brahmagupta's formula]]<ref name=Durell/>{{rp|p.24}} | |
| :<math>K=\sqrt{(s-a)(s-b)(s-c)(s-d)} \,</math>
| |
| | |
| where ''s'', the [[semiperimeter]], is <math>s=\tfrac{1}{2}(a+b+c+d)</math>. It is a [[corollary]] to [[Bretschneider's formula]] since opposite angles are supplementary. If also {{nowrap|''d'' {{=}} 0}}, the cyclic quadrilateral becomes a triangle and the formula is reduced to [[Heron's formula]].
| |
| | |
| The cyclic quadrilateral has [[Maxima and minima|maximal]] area among all quadrilaterals having the same sequence of side lengths. This is another corollary to Bretschneider's formula. It can also be proved using [[calculus]].<ref>{{citation |last=Peter |first=Thomas |title=Maximizing the area of a quadrilateral |journal=The College Mathematics Journal |volume=34 |issue=4 |date=September 2003 |pages=315–6 |jstor=3595770}}</ref>
| |
| | |
| Four unequal lengths, each less than the sum of the other three, are the sides of each of three non-congruent cyclic quadrilaterals,<ref name=Coxeter/> which by Brahmagupta's formula all have the same area. Specifically, for sides ''a'', ''b'', ''c'', and ''d'', side ''a'' could be opposite any of side ''b'', side ''c'', or side ''d''.
| |
| | |
| The area of a cyclic quadrilateral with successive sides ''a'', ''b'', ''c'', ''d'' and angle ''B'' between sides ''a'' and ''b'' can be expressed as<ref name=Durell/>{{rp|p.25}}
| |
| :<math>K = \tfrac{1}{2}(ab+cd)\sin{B}</math>
| |
| | |
| or<ref name=Durell/>{{rp|p.26}}
| |
| :<math>K = \tfrac{1}{2}(ac+bd)\sin{\theta}</math>
| |
| | |
| where ''θ'' is the angle between the diagonals. Provided ''A'' is not a right angle, the area can also be expressed as<ref name=Durell/>{{rp|p.26}}
| |
| :<math>K = \tfrac{1}{4}(a^2-b^2-c^2+d^2)\tan{A}.</math>
| |
| | |
| Another formula is<ref>{{citation|last=Prasolov|first=Viktor|title=Problems in plane and solid geometry: v.1 Plane Geometry|url=http://students.imsa.edu/~tliu/Math/planegeo.pdf |format=PDF}}</ref>{{rp|p.83}}
| |
| :<math>\displaystyle K=2R^2\sin{A}\sin{B}\sin{\theta}</math>
| |
| | |
| where ''R'' is the radius in the [[Circumscribed circle|circumcircle]]. As a direct consequence,<ref name=Alsina>{{citation |first1=Claudi |last1=Alsina |first2=Roger |last2=Nelsen |title=When Less is More: Visualizing Basic Inequalities |chapter=4.3 Cyclic, tangential, and bicentric quadrilaterals |chapterurl=http://books.google.com/books?id=U1ovBsSRNscC&pg=PA64 |url=http://books.google.com/books?id=U1ovBsSRNscC |year=2009 |publisher=Mathematical Association of America |isbn=978-0-88385-342-9 |page=64}}</ref>
| |
| :<math>K\le 2R^2</math>
| |
| | |
| where there is equality if and only if the quadrilateral is a square.
| |
| | |
| ==Diagonals==
| |
| In a cyclic quadrilateral with successive vertices ''A'', ''B'', ''C'', ''D'' and sides {{nowrap|''a'' {{=}} ''AB''}}, {{nowrap|''b'' {{=}} ''BC''}}, {{nowrap|''c'' {{=}} ''CD''}}, and {{nowrap|''d'' {{=}} ''DA''}}, the lengths of the diagonals {{nowrap|''p'' {{=}} ''AC''}} and {{nowrap|''q'' {{=}} ''BD''}} can be expressed in terms of the sides as<ref name=Durell/>{{rp|p.25,}}<ref name=Alsina2>{{citation
| |
| |last1=Alsina |first1=Claudi |last2=Nelsen |first2=Roger B.
| |
| |journal=Forum Geometricorum
| |
| |pages=147–9
| |
| |title=On the diagonals of a cyclic quadrilateral
| |
| |url=http://forumgeom.fau.edu/FG2007volume7/FG200720.pdf |format=PDF
| |
| |volume=7
| |
| |year=2007}}</ref>
| |
| :<math>p = \sqrt{\frac{(ac+bd)(ad+bc)}{ab+cd}}</math>
| |
| | |
| and
| |
| :<math>q = \sqrt{\frac{(ac+bd)(ab+dc)}{ad+bc}}.</math>
| |
| | |
| According to ''Ptolemy's second theorem'',<ref name=Durell/>{{rp|p.25,}}<ref name=Alsina2/>
| |
| :<math>\frac {p}{q}= \frac{ad+cb}{ab+cd}</math>
| |
| | |
| using the same notations as above.
| |
| | |
| For the sum of the diagonals we have the inequality<ref name=Crux>Inequalities proposed in ''Crux Mathematicorum'', 2007, [http://hydra.nat.uni-magdeburg.de/math4u/ineq.pdf Problem 2975], p. 123</ref>
| |
| :<math>p+q\ge 2\sqrt{ac+bd}.</math>
| |
| | |
| Equality holds [[if and only if]] the diagonals have equal length, which can be proved using the [[AM-GM inequality]].
| |
| | |
| In any convex quadrilateral, the two diagonals together partition the quadrilateral into four triangles; in a cyclic quadrilateral, opposite pairs of these four triangles are [[Similarity (geometry)|similar]] to each other.
| |
| | |
| If ''M'' and ''N'' are the midpoints of the diagonals ''AC'' and ''BD'', then<ref>{{cite web |title=''ABCD'' is a cyclic quadrilateral. Let ''M'', ''N'' be midpoints of diagonals ''AC'', ''BD'' respectively... |date=2010 |work=Art of Problem Solving |url=http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=350179}}</ref>
| |
| :<math>\frac{MN}{EF}=\frac{1}{2}\left |\frac{AC}{BD}-\frac{BD}{AC}\right|</math>
| |
| | |
| where ''E'' and ''F'' are the intersection points of the extensions of opposite sides.
| |
| | |
| ==Angle formulas==
| |
| For a cyclic quadrilateral with successive sides ''a'', ''b'', ''c'', ''d'', [[semiperimeter]] ''s'', and angle ''A'' between sides ''a'' and ''d'', the [[trigonometric functions]] of ''A'' are given by<ref>{{citation |last1=Siddons |first1=A. W. |first2=R. T. |last2=Hughes |title=Trigonometry |publisher=Cambridge University Press |year=1929 |page=202 |oclc=429528983}}</ref>
| |
| :<math>\cos A = \frac{a^2 + d^2 - b^2 - c^2}{2(ad + bc)},</math>
| |
| :<math>\sin A = \frac{2\sqrt{(s-a)(s-b)(s-c)(s-d)}}{(ad+bc)},</math>
| |
| :<math>\tan \frac{A}{2} = \sqrt{\frac{(s-a)(s-d)}{(s-b)(s-c)}}.</math>
| |
| | |
| The angle ''θ'' between the diagonals satisfies<ref name=Durell/>{{rp|p.26}}
| |
| :<math>\tan \frac{\theta}{2} = \sqrt{\frac{(s-b)(s-d)}{(s-a)(s-c)}}.</math>
| |
| | |
| If the extensions of opposite sides ''a'' and ''c'' intersect at an angle ''<math>\phi</math>'', then
| |
| :<math>\cos{\frac{\phi}{2}}=\sqrt{\frac{(s-b)(s-d)(b+d)^2}{(ab+cd)(ad+bc)}}</math>
| |
| | |
| where ''s'' is the [[semiperimeter]].<ref name=Durell>{{citation |first1=C. V. |last1=Durell |first2=A. |last2=Robson |title=Advanced Trigonometry |url=http://books.google.com/books?id=3iYbExAsepEC |year=2003 |publisher=Courier Dover |isbn=978-0-486-43229-8 |origyear=1930}}</ref>{{rp|p.31}}
| |
| | |
| ==Parameshvara's formula==
| |
| A cyclic quadrilateral with successive sides ''a'', ''b'', ''c'', ''d'' and [[semiperimeter]] ''s'' has the circumradius (the [[radius]] of the [[circumscribed circle|circumcircle]]) given by<ref name=Alsina2/><ref>{{citation |last=Hoehn |first=Larry |title=Circumradius of a cyclic quadrilateral |journal=Mathematical Gazette |volume=84 |issue=499 |date=March 2000 |pages=69–70 |jstor=3621477}}</ref> | |
| :<math>R=\frac{1}{4} \sqrt{\frac{(ab+cd)(ac+bd)(ad+bc)}{(s-a)(s-b)(s-c)(s-d)}}.</math>
| |
| | |
| This was derived by the Indian mathematician Vatasseri [[Parameshvara]] in the 15th century.
| |
| | |
| Using [[Brahmagupta's formula]], Parameshvara's formula can be restated as
| |
| :<math>4KR=\sqrt{(ab+cd)(ac+bd)(ad+bc)}</math>
| |
| | |
| where ''K'' is the area of the cyclic quadrilateral.
| |
| | |
| ==Anticenter and collinearities==
| |
| Four line segments, each [[perpendicular]] to one side of a cyclic quadrilateral and passing through the opposite side's [[midpoint]], are [[Concurrent lines|concurrent]].<ref name=Altshiller-Court>{{citation |first=Nathan |last=Altshiller-Court |title=College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle |year=2007 |publisher=Courier Dover |isbn=978-0-486-45805-2 |edition=2nd |origyear=1952 |oclc=78063045 |pages=131, 137–8}}</ref>{{rp|p.131;}}<ref name=Honsberger/> These line segments are called the ''maltitudes'',<ref>{{mathworld|title=Maltitude|urlname=Maltitude}}</ref> which is an abbreviation for midpoint altitude. Their common point is called the ''anticenter''. It has the property of being the reflection of the [[circumcenter]] in the [[Quadrilateral#Remarkable points and lines in a convex quadrilateral|"vertex centroid"]]. Thus in a cyclic quadrilateral, the circumcenter, the "vertex centroid", and the anticenter are [[Collinear points|collinear]].<ref name=Honsberger>{{citation |first=Ross |last=Honsberger |title=Episodes in Nineteenth and Twentieth Century Euclidean Geometry |chapterurl=http://books.google.com/books?id=6oduPgvOAhwC&pg=PA35 |year=1995 |publisher=Cambridge University Press |isbn=978-0-88385-639-0 |pages=35–39 |chapter=4.2 Cyclic quadrilaterals |series=New Mathematical Library |volume=37}}</ref>
| |
| | |
| If the diagonals of a cyclic quadrilateral intersect at ''P'', and the [[midpoint]]s of the diagonals are ''M'' and ''N'', then the anticenter of the quadrilateral is the [[orthocenter]] of [[triangle]] ''MNP''. Moreover, the anticenter is the midpoint of the [[line segment]] joining the midpoints of the diagonals.<ref name=Honsberger/>
| |
| | |
| In a cyclic quadrilateral, the [[Quadrilateral#Remarkable points and lines in a convex quadrilateral|"area centroid"]] ''G<sub>a</sub>'', the [[Quadrilateral#Remarkable points and lines in a convex quadrilateral|"vertex centroid"]] ''G<sub>v</sub>'', and the intersection ''P'' of the diagonals are collinear. The distances between these points satisfy<ref>{{citation|last=Bradley|first=Christopher|title=Three Centroids created by a Cyclic Quadrilateral|url=http://people.bath.ac.uk/masgcs/Article141.pdf|year=2011 |format=PDF}}</ref>
| |
| :<math>PG_a = \tfrac{4}{3}PG_v.</math>
| |
| | |
| ==Other properties==
| |
| [[Image:Japanese theorem 2.svg|thumb|right|Japanese theorem]]
| |
| | |
| *In a cyclic quadrilateral ''ABCD'', the [[Incircle and excircles of a triangle|incenter]]s in [[triangle]]s ''ABC'', ''BCD'', ''CDA'', and ''DAB'' are the vertices of a [[rectangle]]. This is one of the theorems known as the [[Japanese theorem for cyclic quadrilaterals|Japanese theorem]]. The [[orthocenter]]s of the same four triangles are the vertices of a quadrilateral [[Congruence (geometry)|congruent]] to ''ABCD'', and the [[centroid]]s in those four triangles are vertices of another cyclic quadrilateral.<ref name=Andreescu/>
| |
| | |
| *In a cyclic quadrilateral ''ABCD'' with circumcenter ''O'', let ''P'' be the point where the diagonals ''AC'' and ''BD'' intersect. Then angle ''APB'' is the [[arithmetic mean]] of the angles ''AOB'' and ''COD''. This is a direct consequence of the [[inscribed angle theorem]] and the [[exterior angle theorem]].
| |
| | |
| *There are no cyclic quadrilaterals with rational area and with unequal rational sides in either [[Arithmetic progression|arithmetic]] or [[geometric progression]].<ref name=Buchholz>{{citation
| |
| | last1 = Buchholz | first1 = R. H.
| |
| | last2 = MacDougall | first2 = J. A.
| |
| | doi = 10.1017/S0004972700032883
| |
| | issue = 2
| |
| | journal = Bulletin of the Australian Mathematical Society
| |
| | mr = 1680787
| |
| | pages = 263–9
| |
| | title = Heron quadrilaterals with sides in arithmetic or geometric progression
| |
| | volume = 59
| |
| | year = 1999}}</ref>
| |
| | |
| *If a cyclic quadrilateral has side lengths that form an [[arithmetic progression]] the quadrilateral is also [[Ex-tangential quadrilateral#Ex-bicentric quadrilateral|ex-bicentric]].
| |
| | |
| *If the opposite sides of a cyclic quadrilateral are extended to meet at ''E'' and ''F'', then the internal [[Bisection#Angle bisector|angle bisectors]] of the angles at ''E'' and ''F'' are perpendicular.<ref name=Coxeter>{{citation |first1=Harold Scott MacDonald |last1=Coxeter |first2=Samuel L. |last2=Greitzer |title=Geometry Revisited |chapter=3.2 Cyclic Quadrangles; Brahmagupta's formula |chapterurl=http://books.google.com/books?id=VdAM58ksvcIC&pg=PA57 |year=1967 |publisher=Mathematical Association of America |isbn=978-0-88385-619-2 |pages=57, 60}}</ref>
| |
| | |
| ==Brahmagupta quadrilaterals==
| |
| A '''Brahmagupta quadrilateral'''<ref>{{cite journal |last=Sastry |first=K.R.S. |title=Brahmagupta quadrilaterals |journal=Forum Geometricorum |volume=2 |pages=167–173 |year=2002 |url=http://forumgeom.fau.edu/FG2002volume2/FG200221.pdf |format=PDF}}</ref> is a cyclic quadrilateral with integer sides, integer diagonals, and integer area. All Brahmagupta quadrilaterals with sides ''a, b, c, d'', diagonals ''e, f'', area ''K'', and circumradius ''R'' can be obtained by clearing denominators from the following expressions involving rational parameters ''t'', ''u'', and ''v'':
| |
| | |
| :<math>a=[t(u+v)+(1-uv)][u+v-t(1-uv)]</math>
| |
| :<math>b=(1+u^2)(v-t)(1+tv)</math>
| |
| :<math>c=t(1+u^2)(1+v^2)</math>
| |
| :<math>d=(1+v^2)(u-t)(1+tu)</math>
| |
| :<math>e=u(1+t^2)(1+v^2)</math>
| |
| :<math>f=v(1+t^2)(1+u^2)</math>
| |
| :<math>K=uv[2t(1-uv)-(u+v)(1-t^2)][2(u+v)t+(1-uv)(1-t^2)]</math>
| |
| :<math>4R=(1+u^2)(1+v^2)(1+t^2).</math>
| |
| | |
| ==Properties of cyclic quadrilaterals that are also orthodiagonal==
| |
| ===Circumradius and area===
| |
| For a cyclic quadrilateral that is also [[orthodiagonal quadrilateral|orthodiagonal]] (has perpendicular diagonals), suppose the intersection of the diagonals divides one diagonal into segments of lengths ''p''<sub>1</sub> and ''p''<sub>2</sub> and divides the other diagonal into segments of lengths ''q''<sub>1</sub> and ''q''<sub>2</sub>. Then<ref>{{citation |first1=Alfred S. |last1=Posamentier |first2=Charles T. |last2=Salkind |title=Challenging Problems in Geometry |chapterurl=http://books.google.com/books?id=ld-_Puq62mcC&pg=PA104 |year=1970 |publisher=Courier Dover |isbn=978-0-486-69154-1 |pages=104–5 |chapter=Solutions: 4-23 Prove that the sum of the squares of the measures of the segments made by two perpendicular chords is equal to the square of the measure of the diameter of the given circle. |edition=2nd}}</ref> (the first equality is Proposition 11 in [[Archimedes]] [[Book of Lemmas]])
| |
| :<math> D^2=p_1^2+p_2^2+q_1^2+q_2^2=a^2+c^2=b^2+d^2 </math>
| |
| | |
| where ''D'' is the [[diameter]] of the [[circumcircle]]. This holds because the diagonals are perpendicular [[Circle#Chord|chords of a circle]]. These equations imply that the [[circumradius]] ''R'' can be expressed as
| |
| :<math> R=\tfrac{1}{2}\sqrt{p_1^2+p_2^2+q_1^2+q_2^2} </math>
| |
| | |
| or, in terms of the sides of the quadrilateral, as
| |
| :<math> R=\tfrac{1}{2}\sqrt{a^2+c^2}=\tfrac{1}{2}\sqrt{b^2+d^2}. </math>
| |
| | |
| It also follows that
| |
| :<math> a^2+b^2+c^2+d^2=8R^2. </math>
| |
| | |
| Thus, according to [[Quadrilateral#Diagonals|Euler's quadrilateral theorem]], the circumradius can be expressed in terms of the diagonals ''p'' and ''q'', and the distance ''x'' between the midpoints of the diagonals as
| |
| :<math> R=\sqrt{\frac{p^2+q^2+4x^2}{8}}. </math>
| |
| | |
| A formula for the [[area]] ''K'' of a cyclic orthodiagonal quadrilateral in terms of the four sides is obtained directly when combining [[Cyclic quadrilateral#Diagonals|Ptolemy's theorem]] and the formula for the [[Orthodiagonal quadrilateral#Area|area of an orthodiagonal quadrilateral]]. The result is
| |
| :<math> K=\tfrac{1}{2}(ac+bd). </math>
| |
| | |
| ===Other properties===
| |
| *In a cyclic orthodiagonal quadrilateral, the [[Cyclic quadrilateral#Other properties|anticenter]] coincides with the point where the diagonals intersect.<ref name=Altshiller-Court/>
| |
| | |
| *[[Brahmagupta's theorem]] states that for a cyclic quadrilateral that is also [[Orthodiagonal quadrilateral|orthodiagonal]], the perpendicular from any side through the point of intersection of the diagonals bisects the opposite side.<ref name=Altshiller-Court/>
| |
| | |
| *If a cyclic quadrilateral is also orthodiagonal, the distance from the [[circumcenter]] to any side equals half the length of the opposite side.<ref name=Altshiller-Court/>
| |
| | |
| *In a cyclic orthodiagonal quadrilateral, the distance between the midpoints of the diagonals equals the distance between the circumcenter and the point where the diagonals intersect.<ref name=Altshiller-Court/>
| |
| | |
| ==See also==
| |
| *[[Butterfly theorem]]
| |
| *[[Circumcircle|Cyclic polygon]]
| |
| *[[Power of a point]]
| |
| *[[Ptolemy's table of chords]]
| |
| *[[Robbins pentagon]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| | |
| ==External links==
| |
| *[http://www.mathalino.com/reviewer/derivation-formulas/derivation-formula-area-cyclic-quadrilateral Derivation of Formula for the Area of Cyclic Quadrilateral]
| |
| *[http://www.cut-the-knot.org/Curriculum/Geometry/CyclicQuadrilateral.shtml Incenters in Cyclic Quadrilateral] at [[cut-the-knot]]
| |
| *[http://www.cut-the-knot.org/Curriculum/Geometry/Brahmagupta2.shtml Four Concurrent Lines in a Cyclic Quadrilateral] at [[cut-the-knot]]
| |
| *{{MathWorld |urlname=CyclicQuadrilateral |title=Cyclic quadrilateral}}
| |
| *[http://dynamicmathematicslearning.com/nine-point-quad.html Euler centre and maltitudes of cyclic quadrilateral] at [http://dynamicmathematicslearning.com/JavaGSPLinks.htm Dynamic Geometry Sketches], interactive dynamic geometry sketch.
| |
| | |
| [[Category:Quadrilaterals]]
| |