Points F, E, D are on the sides AB, AC, and BC , respectively, of right triangle ABC such that AFDE is a square. If AB = 12 and AC = 18, then what is AF?
Let AF be x
x / 12-x = 18 / 12
x = ?