Synthetic and Vector Proofs for Two Hard Geometry Problems | Synapse