三角形の外心

三角形の外心と外接円の作図を観察しましょう。

任意の三角形に対して
各辺の垂直二等分線を考えると
それは一点で交わります。
その点を三角形の外心といい
三角形の外接円の中心となります。

点を動かして
様々な三角形の外心Ｏを
見つけてみましょう。
また、外接円はどのように
変化するでしょうか。

A = Point(yAxis)
B = (-2, 0)
C = Point(xAxis)
多角形1, c, a, b = Polygon(A, B, C)
d = LineBisector(A, C)
e = LineBisector(B, C)
f = LineBisector(A, B)
O = Intersect(d, e)
α = Angle(a, e)
β = Angle(d, b)
γ = Angle(c, f)
リスト1: {b, c, A}
g = Circle(O, B)
D = Intersect(f, c)
E = Intersect(e, a)
F = Intersect(d, b)