根据这个图形已知在rt三角形中,角abc等于90度,ab等于ac,d是bc的中点,且ae等于bf.求证de等于df再求证