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!)