Search

964

The yellow angles differ by $90^\circ$. Prove the color points are concyclic.