自己画图，做BD垂直平分线，交AD于E，交BC于F。做出ABEF关于EF的对称图形，A的对应点为G，那么GD=AB=3，GE=AE。
在三角形GED中设ED=X，则X方=3方+(4-X)方=9+16+X方-8X，通过计算得出X=25/8。
在三角形DFC中，设CF=X，DF=BF=4-X，根据勾股定理得出(4-X)方=X方+3方，通过计算得出16+X方-8X=X方+9，从而得出X=7/8。
做FH垂直AD于H，那么EH=25/8-7/8=9/4。计算EF的长度，EF方=81/16+9=225/16，从而得出EF=15/4。
