Equal incircles theorem
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 does not 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 with the normal to the baseline. If is parameterized according to the equation, , then values of , where and 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 and .