[math-fun] Analytic geometry question