A Hard but Important Sangaku
ABC is a given triangle, and circle O(R) passes through A and B, C lying within the circle. The circle O'(x) lies within O(R), touches AC and BC and also touches
Show that
x = r + 2d(s  a)(s  b) / cs, 
where s is the semiperimeter of ΔABC and r is the radius of the incircle of ΔABC.
The problem is listed as 2.2.8 by Fukagawa and Pedoe and said to be hard but important because of its relevance to a variety of other sangaku. It comes from a third volume of a 1781 collection Seiyo Sanpo by Teisi Fujita (17341807).
The solution below is by a New York physicist who posted it under the pseudonym yetti at the MathLinks Forums.
An alternative solution was found by James M. Unger, Professor of East Asian Languages & Literatures, The Ohio State University, Columbus, Ohio.
References
H. Fukagawa, D. Pedoe, Japanese Temple Geometry Problems, The Charles Babbage Research Center, Winnipeg, 1989, pp. 101102
Write to:
Charles Babbage Research Center
P.O. Box 272, St. Norbert Postal Station
Winnipeg, MB
Canada R3V 1L6
Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny
First extend, say, BC to cut O(R) in P:
This brings the problem into the framework of one of V. Thébault's theorems and suggests a change of notations.
Further (re)define a = BC,
s_{b} + 
The incenter of ΔABC will be denoted I, the incircle (I). For ΔABD, the incenter is I_{b}, the incircle (I_{b}) and the inradius r_{b}. We also consider the curvilinear triangles ABD and ACD with the incenters J_{b} and J_{c} and incircles (J_{b}) and (J_{c}). Note that the unknown x is the radius of (J_{b}).
In these notations, we want to show that
(1)  x/r_{b} = 1 + 2·MN·(s_{b}  u)(s_{b}  d) / cr_{b}s_{b}. 
Using Heron's formula for ΔABD, viz.,
Area( ΔABD)² = s_{b}(s_{b}  u)(s_{b}  d)(s_{b}  c) 
we transform (1) into the equivalent
(2) 

Let now T, T_{b}, S_{b} denote the points of tangency of (I), (I_{b}) and (J_{b}) with BC and Q_{b} that of (J_{b}) and AD. By Sawayama's Lemma, I, S_{b} and Q_{b} are collinear. By definition,
If
TS_{b} = IT· tan(φ) = r · tan(φ). 
With this in mind,
DT_{b} = s_{b}  c, 
whereas,

Using x = DS_{b}tan(φ) and r_{b} = DT_{b}tan(φ),

Using

we see that
(3)  x / r_{b}  1 = [r · tan(φ)  (s_{c}  b)] / (s_{b}  c). 
We have now to show that the right hand side in (3) coincides with the right hand side in (2):
[r · tan(φ)  (s_{c}  b)] / (s_{b}  c) = 2·MN· r_{b} / c(s_{b}  c) 
which is the same as showing that
(4)  r · tan(φ) = 2·MN· r_{b} / c + (s_{c}  b). 
Observe that
∠MAN = ∠BAN = ∠BCN = ∠ACB / 2 
implying

from ΔICT. Also, from ΔABD,
tan(φ) = r_{b} / (s_{b}  c), 
the combination of which reduces (4) to the equivalent
(5)  rr_{b} / (s_{b}  c) = rr_{b} / (s  c) + s_{c}  b. 
Using (s  c)  (s_{b}  c) = s  s_{b} = s_{c}  d (5) becomes
(6)  rr_{b}(s_{c}  d) / (s_{b}  c)(s  c) = s_{c}  b. 
But now again r / (s  c) = tan(∠ACB / 2) = r_{c} / (s_{c}  d) which further upgrades (6) to
r_{b}r_{c} / (s_{c}  b)(s_{b}  c) = 1 
which is the same as
(7)  r_{b} / (s_{b}  c) × r_{c} / (s_{c}  b) = 1. 
However, r_{c} / (s_{c}  b) = tan(ψ) where ψ = ∠ADC/2. So that (7) merely asserts that
Since (7) holds, the equivalent (1) is also true.
Sangaku
 Sangaku: Reflections on the Phenomenon
 Critique of My View and a Response
 1 + 27 = 12 + 16 Sangaku
 345 Triangle by a Kid
 7 = 2 + 5 Sangaku
 A 49^{th} Degree Challenge
 A Geometric Mean Sangaku
 A Hard but Important Sangaku
 A Restored Sangaku Problem
 A Sangaku: Two Unrelated Circles
 A Sangaku by a Teen
 A Sangaku FollowUp on an Archimedes' Lemma
 A Sangaku with an Egyptian Attachment
 A Sangaku with Many Circles and Some
 A Sushi Morsel
 An Old Japanese Theorem
 Archimedes Twins in the Edo Period
 Arithmetic Mean Sangaku
 Bottema Shatters Japan's Seclusion
 Chain of Circles on a Chord
 Circles and Semicircles in Rectangle
 Circles in a Circular Segment
 Circles Lined on the Legs of a Right Triangle
 Equal Incircles Theorem
 Equilateral Triangle, Straight Line and Tangent Circles
 Equilateral Triangles and Incircles in a Square
 Five Incircles in a Square
 Four Hinged Squares
 Four Incircles in Equilateral Triangle
 Gion Shrine Problem
 Harmonic Mean Sangaku
 Heron's Problem
 In the Wasan Spirit
 Incenters in Cyclic Quadrilateral
 Japanese Art and Mathematics
 Malfatti's Problem
 Maximal Properties of the Pythagorean Relation
 Neuberg Sangaku
 Out of Pentagon Sangaku
 Peacock Tail Sangaku
 Pentagon Proportions Sangaku
 Proportions in Square
 Pythagoras and Vecten Break Japan's Isolation
 Radius of a Circle by Paper Folding
 Review of Sacred Mathematics
 Sangaku à la V. Thebault
 Sangaku and The Egyptian Triangle
 Sangaku in a Square
 Sangaku Iterations, Is it Wasan?
 Sangaku with 8 Circles
 Sangaku with Angle between a Tangent and a Chord
 Sangaku with Quadratic Optimization
 Sangaku with Three Mixtilinear Circles
 Sangaku with Versines
 Sangakus with a Mixtilinear Circle
 Sequences of Touching Circles
 Square and Circle in a Gothic Cupola
 Steiner's Sangaku
 Tangent Circles and an Isosceles Triangle
 The Squinting Eyes Theorem
 Three Incircles In a Right Triangle
 Three Squares and Two Ellipses
 Three Tangent Circles Sangaku
 Triangles, Squares and Areas from Temple Geometry
 Two Arbelos, Two Chains
 Two Circles in an Angle
 Two Sangaku with Equal Incircles
 Another Sangaku in Square
 Sangaku via Peru
 FJG Capitan's Sangaku
Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny
72011429