solve({a^2+b^2+169+sqrt(c-13)-24*a-10*b = 0},{a, b, c})
  assuming a>0, b>0, c>0;
//a=12, b=5, c=13

solve([1/(cos(a)^2)+1/(sin(a)^2*sin(b)^2*cos(b)^2) = 9,
a>0, a<Pi/2, b>0, b<Pi/2], [a,b,c] );
//a=arctan(sqrt(2)), b=Pi/4

4楼: Originally posted by 月只蓝 at 2013-08-10 16:53:57
用 isolve函数试试吧，这个函数专门用于找整数解的...

2楼: Originally posted by 月只蓝 at 2013-08-10 12:49:09
MATLAB和Maple还没有这么智能吧。对于第一个问题，原式可以整理为：
  (a-12)^2+(b-5)^2+(c-13)^0.5=0
得  a=12，b=5，c=13，直角三角形。
对于软件，假设a，b，c大于0，就希望解出a=12，b=5，c=13的整数解，ass ...

3楼: Originally posted by chyanog at 2013-08-10 13:28:34
Thanks。
对于第一题，在实数范围内这个方程只有唯一一组解啊，assuming还应该添加哪些条件呢？...