解方程x²-x-17=3