A

B

C

P

2つの赤い角は円に内接する四角形より等しいです。\
このときPを動かして、Aに重ねてみましょう。

AとPが重なると、半直線APは接線になります。\
するとABと接線のなす角と\angle ABCは等しくなります。\
これを接弦定理を言います。

A = (2, 3)
B = Point(xAxis)
c = Circle(A, B)
f = Tangent(B, c)
C = Point(c)
D = Point(c)
g = Segment(B, C)
h = Segment(C, D)
i = Segment(D, B)
E = Point(c)
k = Segment(E, D)
j = Ray(B, E)
β = Angle(B, C, D)
d = Circle(E, 2)
F = Intersect(d, j, 2)
α = Angle(F, E, D)
G = Point(f)
γ = Angle(G, B, D)