(-31/32*x+31)^2+x^2=23^2