As shown in the figure, if DE⊥AC is at point E, it is easy to get AE = ED = EA.

Let de = x, at Rt⊿DEC,

CE= 3 times CE = 3 under the root sign times x under the root sign.

When CB=25, CB=CE-BE.

∴x = 25+ x 3 times under the root sign.

∴x= 12.5 (3+ 1 under the root sign)

∴AB=2BE=2x=25 (3+1under the radical sign) = 25 (1.7+1) = 25 * 2.7 = 67.5 (in the sea).

So, it is right to keep dreaming.