discoverer
- 格式：doc
- 大小：464.50 KB
- 文档页数：3
Example 1 Give the necessary and sufficient condition for the existence of a triangle with elements
s, r,R, where s, r,R are the half perimeter, inradius and circumradius, respectively.
With our program discoverer, we attack the problem by two steps. First of all, we call
tofind ([p1, p2, p3], [a, b, c, 1 − a, 1 − b, 1 − c, r,R], [a, b, c, r,R], 1..n);
下面是我自己在maple里运行的
>
>
>
>
>
>
>
如果tofind最后一项输入的是1…n的话，结果是
吴老师，这是我根据一篇外文文献里的例题自己运行一下来了解过程的，因为文献只有写输入tofind这个条，之前对那些多项式的定义和条件的定义都没输入，之后直接是结果。我对tofind最后一项不懂。不知道老师能否指导一下。
正确运行
> f1:=a+b+c-2;
> f2:=r^2-(1-a)*(1-b)*(1-c);
> f3:=4*r*R-a*b*c;
>
