Equal incircles theorem

Equal incircles theorem If the blue circles are equal, the green circles are also equal.

In geometry, the equal incircles theorem derives from a Japanese Sangaku, and pertains to the following construction: a series of rays are drawn from a given point to a given line such that the inscribed circles of the triangles formed by adjacent rays and the base line are equal. In the illustration the equal blue circles define the spacing between the rays, as described.

The theorem states that the incircles of the triangles formed (starting from any given ray) by every other ray, every third ray, etc. and the base line are also equal. The case of every other ray is illustrated above by the green circles, which are all equal.

From the fact that the theorem doesn't depend on the angle of the initial ray, it can be seen that the theorem properly belongs to analysis, rather than geometry, and must relate to a continuous scaling function which defines the spacing of the rays. In fact, this function is the hyperbolic sine.

The theorem is a direct corollary of the following lemma: Suppose that the nth ray makes an angle {displaystyle gamma _{n}} with the normal to the baseline. If {displaystyle gamma _{n}} is parameterized according to the equation, {displaystyle tan gamma _{n}=sinh theta _{n}} , then values of {displaystyle theta _{n}=a+nb} , where {displaystyle a} and {displaystyle b} are real constants, define a sequence of rays that satisfy the condition of equal incircles, and furthermore any sequence of rays satisfying the condition can be produced by suitable choice of the constants {displaystyle a} and {displaystyle b} .

Proof of the lemma In the diagram, lines PS and PT are adjacent rays making angles {displaystyle gamma _{n}} and {displaystyle gamma _{n+1}} with line PR, which is perpendicular to the baseline, RST.

Line QXOY is parallel to the baseline and passes through O, the center of the incircle of {displaystyle triangle } PST, which is tangent to the rays at W and Z. Also, line PQ has length {displaystyle h-r} , and line QR has length {displaystyle r} , the radius of the incircle.

Then {displaystyle triangle } OWX is similar to {displaystyle triangle } PQX and {displaystyle triangle } OZY is similar to {displaystyle triangle } PQY, and from XY = XO + OY we get {displaystyle (h-r)(tan gamma _{n+1}-tan gamma _{n})=r(sec gamma _{n}+sec gamma _{n+1}).} This relation on a set of angles, {displaystyle {gamma _{m}}} , expresses the condition of equal incircles.

To prove the lemma, we set {displaystyle tan gamma _{n}=sinh(a+nb)} , which gives {displaystyle sec gamma _{n}=cosh(a+nb)} .

Using {displaystyle a+(n+1)b=(a+nb)+b} , we apply the addition rules for {displaystyle sinh } and {displaystyle cosh } , and verify that the equal incircles relation is satisfied by setting {displaystyle {frac {r}{h-r}}=tanh {frac {b}{2}}.} This gives an expression for the parameter {displaystyle b} in terms of the geometric measures, {displaystyle h} and {displaystyle r} . With this definition of {displaystyle b} we then obtain an expression for the radii, {displaystyle r_{N}} , of the incircles formed by taking every Nth ray as the sides of the triangles {displaystyle {frac {r_{N}}{h-r_{N}}}=tanh {frac {Nb}{2}}.} See also Hyperbolic function Japanese theorem for cyclic polygons Japanese theorem for cyclic quadrilaterals Tangent lines to circles References Equal Incircles Theorem at cut-the-knot J. Tabov. A note on the five-circle theorem. Mathematics Magazine 63 (1989), 2, 92–94. Categories: Euclidean geometryJapanese mathematicsRecreational mathematicsTheorems about triangles and circles