四边形ABCD中,
∵∠ABC=∠ADC=90°,
∴对角和等于180°,
ABCD四点共圆,
∴∠BAC=∠BDC,
∴∠AFE=∠ADB（同为余角,所以相等）,
∠DAB=∠DAF（公共角）
∴△ADF∽△ABD（不是ADB）
证毕.