ピトーの定理

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

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

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