AF平行bc ec垂直bc ba平行de bd平行ae 求证de=dc