在矩形abcd中,ef分别在bc,ad上,矩形abcd与矩形ecdf