vEnhance's avatar

Aug 05, 2024

🖉 Imperative statements in geometry don't matter

There’s this pet peeve I have where people sometimes ask things like what kind of strategies they should use for, say, collinearity problems in geometry.

Like, I know there are valid answers like Menelaus or something. But the reason it bugs me is because “the problem says to prove collinearity” is about as superficial as it gets. It would be like asking for advice for problems that have “ABC” in them.

To drive my point, consider the following setup:

Let ABCABC be a triangle with circumcircle Γ\Gamma and incenter II and let MM be the midpoint of BC\overline{BC}. Denote by DD the foot of the perpendicular from II to BC\overline{BC}. The line through II perpendicular to AI\overline{AI} meets sides ABAB and ACAC at FF and EE respectively. Suppose the circumcircle of AEF\triangle AEF intersects Γ\Gamma at a point XX other than AA.

Then the following problem statements are all trivially equivalent:

  1. Prove that lines XDXD and AMAM meet on Γ\Gamma.

  2. Line XDXD meets Γ\Gamma again at KK. Prove that AA, MM, KK are collinear.

  3. Line AMAM meets Γ\Gamma again at KK. Prove that XX, DD, KK are collinear.

  4. Line AMAM meets Γ\Gamma again at KK. Prove that line XKXK, line BCBC, and the line through II perpendicular to BC\overline{BC} are concurrent.

  5. Line AMAM and XDXD meet at KK. Prove that AA, BB, KK, CC are concyclic.

Which is why any advice based on just which keywords are appearing in the problem is likely next to useless, because it can’t distinguish between cosmetic rephrasings of the problem.