数论方程