由DF=2.5,知道DE=2.5/√2,
设CD=X,则CF=X-2.5
又有BD=CD*√2,又BE=AB,即x+2.5/√2=x√2
则x=2.5(2+√2)/2
CF=2.5(2+√2)/2-2.5=2.5√2/2