A Cyclic Quadrilateral Concurrency

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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 ,
,
,
be the circumcenters of ABP, BCP, CDP and DAP. Then
,
, and OE are concurrent.
Contributed by: Jay Warendorff (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
Permanent Citation
"A Cyclic Quadrilateral Concurrency"
http://demonstrations.wolfram.com/ACyclicQuadrilateralConcurrency/
Wolfram Demonstrations Project
Published: March 7 2011