これを用いて与えられた角XOYを三等分するには、頂点Oを図のOに、OXを図のOCに重ねる。このときOYの位置が定まるが、いまCを通ってOYに平行線を引き、これがパスカルの蝸牛線と交わる点をBとすれば、BとOを結ぶ直線が角XOYの三等分線の一つである。
(証明)
OBと円Cの交点をAとすると,
AB=AC=a
∠ABC=∠ACB
∴∠OAC=2∠ABC
一方,CO=CAより ∠OAC=∠AOC
∠AOC=2∠ABC
作図より OY//CB ∴∠YOA=∠ABC
∴∠AOC=2∠YOA
(証明終)
数学実験室へ
いろいろな機構と数学実験トップへ
数学の歴史博物館