Dove: D e E sono i punti medi dei lati BC e AC. DF è congruente al lato del quadrato equivalente che si ottiene come medio proporzionale tra l'altezza e la metà del lato del triangolo ABC. FG è la metà di AB. GI e EL sono perpendicolari a DF.