Search

2055

The blue point is the orthocenter of the blue triangle. Prove the red and blue points are collinear.