File:Ptolemy sine proof.svg