Mendes, A. C. From Optimization to Geometry: A Proof of the Distance Formula Between a Point and a Line via Lagrange Multipliers. ReTMAT 2026, 1.