File:MathFoundations131 Ptolemy's theorem and generalizations