关于数学计算的程序实现问题！

Question

遇到个问题，想使用程序计算写方程式。
   二元一次方程，怎么用程序求解！
   例如：
         x+y=100
         x-y=20我考虑的太简单了。原本用穷举法，但是对于 不是整数的x,y就没有效果了。
   不知道大家有甚么好的意见和建议。

Answer 1

hoho, 楼主的这个问题可大可小。一般来说，用计算机做数值求解，都是要先把题目转化成“计算－赋值”的形式，进行迭代计算，这当然就简单啦（对于*编程*而言是简单了，但在编程之前，先要进行公式演算，是*人脑*的工作）。比如这个题目就可以写成：
    int x = (100 + 20) / 2;
    int y = (100 - 20) / 2;如果要进行“形式化推导”，得到公式解，那问题可就大了，那可是专门的学科啦，好像叫“人工智能”或者“机器证明”什么的～～