幾何学におけるピトーの定理(ピトーのていり、: Pitot theorem)は、円に外接する四角形英語版内接円を持つ四角形)に関する定理である。ピトーの定理は、円に外接する四角形の向かい合う2組の対辺の長さの和が等しくなることを述べている。言い換えれば、四角形の2組の対辺の長さの和がそれぞれ半周長に等しくなる。定理の名称は、フランスの工学者であるアンリ・ピトーから名付けられた。

証明 編集

この定理は、ある円の外部の点から2本の接線を引いたときに、その外部の点から接点までの長さが等しくなるという事実に基づいている[1]。 円に外接する四角形とその内接円を考えると、四角形の周には4組の長さが等しい線分が含まれることになる。そのため、対辺の長さの和は、この4つの線分の長さの和と等しくなる。

ピトーの定理はも真である。つまり、「2組の対辺の長さの和が等しい凸な四角形は内接円をもつ」 という命題も真である。

歴史 編集

アンリ・ピトーは1725年にこの定理を証明した。その後、1846年にスイスの数学者のヤコビ・シュタイナー英語版が逆を証明した[1]

脚注 編集

  1. ^ a b Josefson, Martin (2011), “More characterizations of tangential quadrilaterals”, Forum Geometricorum 11: 65–82, MR2877281, http://forumgeom.fau.edu/FG2011volume11/FG201108.pdf . See in particular pp. 65–66.

関連項目 編集

外部リンク 編集