Google Classroom
GeoGebraGeoGebra Classroom

Japanese Theorem for Cyclic Quadrilaterals

The applet below dynamically illustrates the Japanese Theorem for Cyclic Quadrilaterals. How can you formally prove what is informally illustrated here? Does it look like the sides of the rectangle are curved? (Believe it or not, they aren't!)