EB/AB=EF/AC推出EB=AB*(EF/AC)
EH/BD=AE/AB推出AE=AB*(EH/BD)
AE/EB=[AB*(EH/BD)]/[AB*(EF/AC)]=(EH/BD)/(EF/AC)
因为EFGH是菱形,所以EH=EF,所以AE/EB=(EH/BD)/(EF/AC)=AC/BD=m/n
EB/AB=EF/AC推出EB=AB*(EF/AC)
EH/BD=AE/AB推出AE=AB*(EH/BD)
AE/EB=[AB*(EH/BD)]/[AB*(EF/AC)]=(EH/BD)/(EF/AC)
因为EFGH是菱形,所以EH=EF,所以AE/EB=(EH/BD)/(EF/AC)=AC/BD=m/n