Japanese theorem for cyclic polygons (source code)

= Japanese theorem for cyclic polygons
{wiki=Japanese_theorem_for_cyclic_polygons}

The Japanese theorem, also known as the theorem of the cyclic polygon, is a result in geometry concerning the properties of cyclic polygons (polygons whose vertices lie on the circumference of a single circle).