Japanese theorem for cyclic quadrilaterals: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 22:51, 14 November 2024

In geometry, the Japanese theorem states that the centers of the incircles of certain triangles inside a cyclic quadrilateral are vertices of a rectangle. It was originally stated on a sangaku tablet on a temple in Yamagata prefecture, Japan, in 1880.^[2]

Triangulating an arbitrary cyclic quadrilateral by its diagonals yields four overlapping triangles (each diagonal creates two triangles). The centers of the incircles of those triangles form a rectangle.

Specifically, let $□ ABCD$ be an arbitrary cyclic quadrilateral and let $M 1$ , $M 2$ , $M 3$ , $M 4$ be the incenters of the triangles $△ ABD$ , $△ ABC$ , $△ BCD$ , $△ ACD$ . Then the quadrilateral formed by $M 1$ , $M 2$ , $M 3$ , $M 4$ is a rectangle. Proofs are given by Bogomolny^[2] and Reyes.^[1]

This theorem may be extended to prove the Japanese theorem for cyclic polygons, according to which the sum of inradii of a triangulated cyclic polygon does not depend on how it is triangulated. The special case of the theorem for quadrilaterals states that the two pairs of opposite incircles of the theorem above have equal sums of radii. To prove the quadrilateral case, simply construct the parallelogram tangent to the corners of the constructed rectangle, with sides parallel to the diagonals of the quadrilateral. The construction shows that the parallelogram is a rhombus, which is equivalent to showing that the sums of the radii of the incircles tangent to each diagonal are equal. This related result comes from an earlier sangaku tablet, also from Yamagata, from 1800.^[2]

The quadrilateral case immediately proves the general case, as any two triangulations of an arbitrary cyclic polygon can be connected by a sequence of flips that change one diagonal to another, replacing two incircles in a quadrilateral by the other two incircles with equal sum of radii.

References

^ ^a ^b Reyes, Wilfred (2002). "An application of Thébault's theorem" (PDF). Forum Geometricorum. 2: 183–185. MR 1990908. Archived from the original (PDF) on 2024-01-06.
^ ^a ^b ^c Bogomolny, Alexander (2018). "Incenters in cyclic quadrilaterals". Cut-the-Knot.

External links

Japanese theorem, interactive proof with animation

[reyes-1] Reyes, Wilfred (2002). "An application of Thébault's theorem" (PDF). Forum Geometricorum. 2: 183–185. MR 1990908. Archived from the original (PDF) on 2024-01-06.

[ctk-2] Bogomolny, Alexander (2018). "Incenters in cyclic quadrilaterals". Cut-the-Knot.

[1]

[2]

@@ Line 1: / Line 1: @@
-In [[geometry]], the '''Japanese theorem''' states that the centers of the [[incircle]]s of certain [[triangles]] inside a [[cyclic quadrilateral]] are vertices of a rectangle.
+{{Short description|Centers of the incircles of triangles inside a cyclic quadrilateral form a rectangle}}
+{{CS1 config|mode=cs1}}
+[[File:Japanese theorem 2 correct version a.svg|thumb|right|upright=1.3|Japanese theorem:<br/>{{math|□''M''{{sub|1}}''M''{{sub|2}}''M''{{sub|3}}''M''{{sub|4}}}} is a rectangle. <br/> <math>r_1+r_3=r_2+r_4 </math>{{r|reyes}}]]
+In [[geometry]], the '''Japanese theorem''' states that the centers of the [[incircle]]s of certain [[triangles]] inside a [[cyclic quadrilateral]] are vertices of a [[rectangle]]. It was originally stated on a [[sangaku]] tablet on a temple in [[Yamagata prefecture]], Japan, in 1880.{{r|ctk}}
-Triangulating an arbitrary concyclic quadrilateral by its diagonals yields four overlapping triangles (each diagonal creates two triangles). The centers of the incircles of those triangles form a rectangle.
+Triangulating an arbitrary cyclic quadrilateral by its diagonals yields four overlapping triangles (each diagonal creates two triangles). The centers of the incircles of those triangles form a rectangle.
-[[Image:Japanese theorem 2.svg|center|600px|]]
-Specifically, let <math> \square ABCD </math> be an arbitrary concyclic quadrilateral and let be <math>M_1,M_2,M_3,M_4</math> the incenters of the triangles <math> \triangle ABD, \triangle  ABC, \triangle BCD, \triangle ACD </math>. Then the quadrilateral formed by <math>M_1,M_2,M_3,M_4</math> is a rectangle.
+Specifically, let {{math|□''ABCD''}} be an arbitrary cyclic quadrilateral and let {{math|''M''{{sub|1}}}}, {{math|''M''{{sub|2}}}}, {{math|''M''{{sub|3}}}}, {{math|''M''{{sub|4}}}} be the incenters of the triangles {{math|△''ABD''}}, {{math|△''ABC''}}, {{math|△''BCD''}}, {{math|△''ACD''}}. Then the quadrilateral formed by {{math|''M''{{sub|1}}}}, {{math|''M''{{sub|2}}}}, {{math|''M''{{sub|3}}}}, {{math|''M''{{sub|4}}}} is a rectangle. Proofs are given by Bogomolny{{r|ctk}} and Reyes.{{r|reyes}}
-Note that this theorem is easily extended to prove the [[Japanese theorem for cyclic polygons]]. To prove the quadrilateral case, simply construct the parallelogram tangent to the corners of the constructed rectangle, with sides parallel to the diagonals of the quadrilateral. The construction shows that the parallelogram is a rhombus, which is equivalent to showing that the sums of the radii of the incircles tangent to each diagonal are equal.
+This theorem may be extended to prove the [[Japanese theorem for cyclic polygons]], according to which the sum of inradii of a triangulated cyclic polygon does not depend on how it is triangulated. The special case of the theorem for quadrilaterals states that the two pairs of opposite incircles of the theorem above have equal sums of radii. To prove the quadrilateral case, simply construct the parallelogram tangent to the corners of the constructed rectangle, with sides parallel to the diagonals of the quadrilateral. The construction shows that the parallelogram is a rhombus, which is equivalent to showing that the sums of the radii of the incircles tangent to each diagonal are equal. This related result comes from an earlier sangaku tablet, also from Yamagata, from 1800.{{r|ctk}}
-The quadrilateral case immediately proves the general case by induction on the set of triangulating partitions of a general polygon.
+The quadrilateral case immediately proves the general case, as any two triangulations of an arbitrary cyclic polygon can be connected by a sequence of [[Flip graph|flips]] that change one diagonal to another, replacing two incircles in a quadrilateral by the other two incircles with equal sum of radii.
 ==See also==
-*[[Carnot's theorem]]
+*[[Carnot's theorem (inradius, circumradius)|Carnot's theorem]]
+*[[Japanese mathematics]]
-*[[Sangaku]]
-*[[Wasan]]
 ==References==
+{{reflist|refs=
-*[http://www.math-cs.cmsu.edu/~mjms/2006.2/mangho999.ps In Search of the Japanese Theorem]
-*[http://www.cut-the-knot.org/proofs/jap.shtml Japanese Theorem at Cut-the-Knot]
+<ref name=ctk>{{cite web|url=http://www.cut-the-knot.org/Curriculum/Geometry/CyclicQuadrilateral.shtml|title=Incenters in cyclic quadrilaterals|work=[[Cut-the-Knot]]|first=Alexander|last=Bogomolny|year=2018}}</ref>
-*[http://www.gogeometry.com/sangaku2.html Japanese theorem, interactive proof with animation]
+<ref name=reyes>{{cite journal
+ | last = Reyes | first = Wilfred
+ | journal = Forum Geometricorum
+ | mr = 1990908
+ | pages = 183–185
+ | title = An application of Thébault's theorem
+ | volume = 2
+ | url = http://forumgeom.fau.edu/FG2002volume2/FG200223.pdf
+ | archive-url = https://web.archive.org/web/20240106233125/forumgeom.fau.edu/FG2002volume2/FG200223.pdf
+ | archive-date = 2024-01-06
+ | url-status = dead
+ | year = 2002}}</ref>
+}}
+==Further reading==
+*Mangho Ahuja, Wataru Uegaki, Kayo Matsushita: "In Search of the Japanese Theorem". In: ''Missouri Journal of Mathematical Sciences'', vol 18, no. 2, May 2006 ([https://projecteuclid.org/journals/missouri-journal-of-mathematical-sciences/volume-18/issue-2/In-Search-of-The-Japanese-Theorem/10.35834/2006/1802087.full online] at project Euclid)
+*Wataru Uegaki: [http://hdl.handle.net/10076/4917 "{{nihongo2|Japanese Theoremの起源と歴史}}"] (On the Origin and History of the Japanese Theorem). Departmental Bulletin Paper, Mie University Scholarly E-Collections, 2001-03-01
+*{{Cite web|author=笹部貞市郎|url=https://archive.org/details/20240618_20240618_1431/page/119/mode/1up |title=几何学辞典: 问题解法 |website=[[Archive.org]]  |date=1976 |at=Problem 587}}
+==External links==
+*[https://www.gogeometry.com/geometry/sangaku_cyclic_quadrilateral.htm Japanese theorem, interactive proof with animation]
 [[Category:Euclidean plane geometry]]
-[[Category:Mathematical theorems]]
 [[Category:Japanese mathematics]]
+[[Category:Theorems about quadrilaterals and circles]]
-[[ar:مبرهنة يابانية في رباعي دائري]]
-[[de:Japanischer Satz für Sehnenvierecke]]
-[[uk:Японська теорема про вписаний в коло чотирикутник]]