ヒポクラテスの定理
直角三角形で、斜辺を直径とする半円が内接していて他の2辺を直径とする半円は外接している。
斜辺でない方の2辺の半円と直角三角形の和と斜辺の半円の面積の差は、元の直角三角形の面積と等しい。
つまり図では青と赤の面積が等しい。