Proofs involving the ellipse