*
bir yamuğun köşegenlerinin kesim noktası ile paralel olmayan kenarlarının kesim noktasını birleştiren doğru, paralel kenarları ortalar.A(ABD)=A(AEC) => A(BIE)=A(CID) olup ED//BC dir.
BEDC yamuk olup * dan dolayı AI , ED ve BC yi ortalar. AI aynı zamanda açıortay olduğundan AI ⊥ ED dir.
AI ⊥ ED => AE=ED ve aynı zamanda IE=ID dir. Açıları incelersek m(ABI)=m(ACI) olduğunu görebiliriz.
O halde AB=AC , ED//BC ve sonuç olarak A(ABD)=A(AEC) dir
* ispatı için