Japanese theorem for cyclic polygons

This theorem can be proven by first proving a special case: no matter how one triangulates a cyclic quadrilateral, the sum of inradii of triangles is constant.

After proving the quadrilateral case, the general case of the cyclic polygon theorem is an immediate corollary. The quadrilateral rule can be applied to quadrilateral components of a general partition of a cyclic polygon, and repeated application of the rule, which "flips" one diagonal, will generate all the possible partitions from any given partition, with each "flip" preserving the sum of the inradii.

The quadrilateral case follows from a simple extension of the Japanese theorem for cyclic quadrilaterals, which shows that a rectangle is formed by the two pairs of incenters corresponding to the two possible triangulations of the quadrilateral. The steps of this theorem require nothing beyond basic constructive Euclidean geometry.{{cite book|last1=Fukagawa|first1=Hidetoshi|last2= Pedoe|first2=D.|title=Japanese Temple Geometry|date=1989|publisher=Charles Babbage Research Center|location=Manitoba, Canada|isbn=0919611214|pages=125–128}}

With the additional construction of a parallelogram having sides parallel to the diagonals, and tangent to the corners of the rectangle of incenters, the quadrilateral case of the cyclic polygon theorem can be proved in a few steps. The equality of the sums of the radii of the two pairs is equivalent to the condition that the constructed parallelogram be a rhombus, and this is easily shown in the construction.

Another proof of the quadrilateral case is available due to Wilfred Reyes (2002).{{cite journal|last1=Reyes|first1=Wilfred|title=An Application of Thébault's Theorem|journal=Forum Geometricorum|date=2002|volume=2|pages=183–185|url=http://forumgeom.fau.edu/FG2002volume2/FG200223.pdf|accessdate=2 September 2015|archive-date=24 October 2018|archive-url=https://web.archive.org/web/20181024080332/http://forumgeom.fau.edu/FG2002volume2/FG200223.pdf|url-status=dead}} In the proof, both the Japanese theorem for cyclic quadrilaterals and the quadrilateral case of the cyclic polygon theorem are proven as a consequence of Thébault's problem III.

• Carnot's theorem, which is used in a proof of the theorem above
• Equal incircles theorem
• Tangent lines to circles

• Claudi Alsina, Roger B. Nelsen: Icons of Mathematics: An Exploration of Twenty Key Images. MAA, 2011, {{ISBN|9780883853528}}, pp. [https://books.google.com/books?id=4DavMl7-aFgC&pg=PA121 121-125]
• Wilfred Reyes: [http://forumgeom.fau.edu/FG2002volume2/FG200223.pdf An Application of Thebault’s Theorem] {{Webarchive|url=https://web.archive.org/web/20181024080332/http://forumgeom.fau.edu/FG2002volume2/FG200223.pdf |date=2018-10-24 }}. Forum Geometricorum, Volume 2, 2002, pp. 183–185

• Mangho Ahuja, Wataru Uegaki, Kayo Matsushita: [https://web.archive.org/web/*/http://www.math-cs.cmsu.edu/~mjms/2006.2/mangho999.ps In Search of the Japanese Theorem]
• [http://mathworld.wolfram.com/JapaneseTheorem.html Japanese theorem] at Mathworld
• [https://web.archive.org/web/20070627163828/http://mathsrv.ku-eichstaett.de/MGF/homes/grothmann/java/zirkel/doc_en/Data/Applications/Difficult/Japanese%20Theorem.html Japanese Theorem] interactive demonstration at the C.a.R. website
• Wataru Uegaki: "Japanese Theoremの起源と歴史" (On the Origin and History of the Japanese Theorem) http://hdl.handle.net/10076/4917

Category:Euclidean plane geometry

Category:Japanese mathematics

Category:Theorems about triangles and circles