# David Richeson's Extension of an Old Japanese Theorem

A 1800 sangaku known as the Old Japanese Theorem has been recently extended by David Richeson of Dickinson College. The original theorem reads:

Let a convex polygon, which is inscribed in a circle, be triangulated by drawing all the diagonals from one of the vertices, and let the inscribed circle be drawn in each of the triangles. Then the sum of the radii of all these circles is a constant which is independent of which vertex is used to form the triangulation.

David's extension applies to more general polygons - they have to be cyclic but not necessarily convex. A triangulation of a polygon - even of a non-convex one - is obtained by introducing not intersecting diagonals, i.e., that is the line segments that join not adjacent vertices of the polygon. The essential difference with the convex case is that now not all triangles in a triangulation have the same orientation. Accordingly, David introduced the notion of a signed inradius. The inradius of a triangle with negative orientation is also considered negative. David proved the following theorem:

Triangulate a cyclic polygon using diagonals. The sum of the signed inradii of the triangles is independent of the choice of triangulation.

The applet below serves to illustrate the new development (and the old case as well.) The incircles of the positively oriented triangles are painted blue, those of the negatively oriented - red.

### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run? 