iso2000是什么意思:正方形abcd,连接对角线bd,f是dc上的一点,连接bf,延长bf到e,使be=bd,求证:角bec=30度,df=de