1992 CMO Problem: Cocircular Orthocenters

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Let ,
,
,
be distinct points on a circle (black) centered at
. Let
be the orthocenter of triangle
and so on. You can show that the four orthocenters are cocircular and the circle (green) has the same radius as the original circle.
Contributed by: Shenghui Yang (June 2012)
Open content licensed under CC BY-NC-SA
Snapshots
Details
This Demonstration is based on a problem from the 2nd Section of the Chinese Math Olympic National Final in 1992.
Permanent Citation
"1992 CMO Problem: Cocircular Orthocenters"
http://demonstrations.wolfram.com/1992CMOProblemCocircularOrthocenters/
Wolfram Demonstrations Project
Published: June 18 2012