Japanese Theorem for Cyclic Quadrilaterals

Recall that if a quadrilateral can be inscribed in a circle, it is said to be a cyclic quadrilateral. The following applet is designed to help you discover something interesting about cyclic quadrilaterals.