所以AB=AD,角度AED=角度AFB=90度,
因為角度BAF+角度DAE=90度,角度ADE+角度DAE=180度-角度AED=90度。
所以角度BAF=角度ADE
因此,△ABF全部等於△DAE(2個角1邊相等)。