WOLFRAM|DEMONSTRATIONS PROJECT

A Cyclic Quadrilateral Concurrency

​
Let ABCD be a cyclic quadrilateral with circumcenter O. Let the diagonals AC and BD intersect at E. Let P be a point inside the quadrilateral and let
O
1
,
O
2
,
O
3
,
O
4
be the circumcenters of ABP, BCP, CDP and DAP. Then
O
1
O
3
,
O
2
O
4
, and OE are concurrent.
Drag the purple points A, B, C, or D to change the figure.