ヒポクラテスの定理
直角三角形で斜辺を直径とする半円が内接していて他の2辺を直径とする半円は外接している。
タレスの定理より直角三角形の各頂点は斜辺の半円の円周上にある。
円の面積は半径の二乗に比例するので、ピタゴラスの定理より、斜辺の半円と、他の2辺の半円の和の面積は等しい。
斜辺の半円と他の2辺の半円で重なる部分がある。この部分を引くと、三日月型と直角三角形が現れる。
よって、斜辺でない方の2辺の半円と直角三角形の和と斜辺の半円の面積の差は、元の直角三角形の面積と同じだということがわかる。