斜辺を直径とする円に直角三角形を内接させると、斜辺への中線は円の半径になる。
直角辺を a,ba,ba,b とする。斜辺への中線は m=c/2m=c/2m=c/2 である。これが二辺の幾何平均である条件は m=abm=\sqrt{ab}m=ab だから、ab=c2/4ab=c^2/4ab=c2/4 を得る。