Ptolemy's Theorem
Author: Sandi Yoder
Date: 21 July 2013

Demonstration of Ptolemy's Theorem

Ptolemy's Theorem

O = (3.54, 0.78)
B = (9.317508900730727, 0.9752470922413073)
c = Circle(O, B)
a = Ray(B, O)
A = Intersect(c, a, 2)
b = Segment(A, B)
C = Point(c)
D = Point(c)
d = Segment(D, A)
e = Segment(D, C)
f = Segment(C, B)
g = Segment(B, D)
h = Segment(D, O)
i = Segment(O, C)
j = Segment(C, A)
k: g * j
l: b * e + f * d