三x等于四解方程