AF垂直BD,角CBF+BCF= 90 = BCF+ CAE,因此角CAE=CBF
CE平行于AB,因此也垂直于AC,因此直角三角形ABD相似于CAE
AB=AC,因此两个三角形全等,CE=CD = 1/2 AC = 1/2 AB
AB = 2CE