矩形abcd,ef分别是边bc.AB上的点,且ef=ed,ef垂直ed.若ab=4,ad=7,球三角形efd周长