Search

1492

Prove the Simson lines of antipodes and the nine-point circle are concurrent.