AAA を通り、DCDCDC(ppp に平行)に垂直な AA′AA'AA′ を引き、A′∈DCA'\in DCA′∈DC とする。二本の平行な底辺でできる長方形から A′CA'CA′C は二底辺の平均であり、共通の脚の長さに等しい。