接弦定理

円周角と接線の図から接弦定理の証明を発見してみよう。

点Cと点Dを自由に動かし，
角EBCと角BDCを比較しましょう．
また，Dを動かして，BD上に
円の中心が来るようにしましょう．
角CBDはどのような大きさになるでしょうか．

弦と円の接線のなす角

A = (0.84, 2.66)
B = (3.44, 0.66)
c = Circle(A, B)
a = Line(A, B)
b = OrthogonalLine(B, a)
C = Point(c)
d = Segment(B, C)
D = Point(c)
e = Segment(C, D)
f = Segment(B, D)
E = Point(b)
α = Angle(E, B, C)
β = Angle(B, D, C)
γ = Angle(C, B, D)