令等腰直角三角形ABC,直边长为AB=AC=x,斜边长为BC=√2*x.
BE=√(AB^2+AE^2)=√(AB^2+(AC/k)^2)=√(x^2+(x/k)^2)
EF=√(BF^2-BE^2)=√((m/m+1)*BC)^2-AB^2-AE^2)=√((√2*mx/m+1)^2-x^2-(x/k)^2)
BE/EF=√(x^2+(x/k)^2)/√((√2*mx/m+1)^2-x^2-(x/k)^2)
约去x后
BE/EF=(1+(1/k)^2)/((m^2-2m-1)/(m^2+2m+1)+(1/k)^2)=(k^2+1)/(1+k^2*(m^2-2m-1)/(m^2+2m+1))