解方程..x²+2x²=4²是勾股定理来的