Ero sivun ”Ptolemaioksen lause” versioiden välillä

joten

<math>BE=\frac{AB\cdot DC}{AD}.</math>

<math>\frac{AD}{AC}=\frac{AB}{AE}</math>, sillä kolmiot <math>EAC</math> ja <math>BAD</math> ovat yhteneviä. Siten <math>EC=\frac{AC\cdot DB}{AD}.</math>

Siten <math>ABCD</math> on jännenelikulmio, joten <math>\angle ABE+\angle CBA=\angle ADC+\angle CBA=180^\circ.</math>