Cyclic Quad Action (II)
This applet follows this applet entitled Japanese Theorem for Cyclic Quadrilaterals.
What principle is dynamically being illustrated here?
The 4 circles are incircles of the 4 different triangles you can form from this cyclic quadrilateral.
How can you formally prove what this applet informally illustrates?