ABCD is a quadrilateral with right angles at A and C. Points E and F are on AC, and DE and BF are perpendicular to AC. If AE=3, DE=5, and CE=7, then BF=[asy]
draw((0,0)--(10,0)--(3,-5)--(0,0)--(6.5,3)--(10,0));
draw((6.5,0)--(6.5,3));
draw((3,0)--(3,-5));
dot((0,0));
dot((10,0));
dot((3,0));
dot((3,-5));
dot((6.5,0));
dot((6.5,3));
label("A", (0,0), W);
label("B", (6.5,3), N);
label("C", (10,0), E);
label("D", (3,-5), S);
label("E", (3,0), N);
label("F", (6.5,0), S);[/asy](A) 3.6(B) 4(C) 4.2(D) 4.5(E) 5 geometryrectanglepower of a point