Li-Fan Chen
says to
YSITD
(x-3)^2+8^2=x^2