de平行bc,ef平行dc,求证ad的平方=af*ab