矩形abcd ae=ad df垂直af 求证df=dc