解释钻石证明的真正问题

简单的四边形AEDF是平行四边形。

AB = AC AD高。

∴∠BAD=∠CAD

∫AB∨DE

∴∠ADE=∠BAD=∠CAD

∴AE=DE

∴平行四边形是菱形。