In rectangle ABCD, ab = 4, BC = 6, fold the rectangle along AC, point d falls at e, and CE and ab intersect with F, then AF length is AB is not = 4, it is = 8

In rectangle ABCD, ab = 4, BC = 6, fold the rectangle along AC, point d falls at e, and CE and ab intersect with F, then AF length is AB is not = 4, it is = 8

∵ fold the rectangle along AC and point d falls at E
∴∠ACE=∠ACD=∠BAC
∴AF=CF
Let BF = X,
Then CF = AF = 8-x
In RT △ BCF
From Pythagorean theorem
(8-x)²-x²=6²
-16x+64=36
x=7/4
That is AF = 8-x = 25 / 4