BOTTEST简易使用指南.docVIP

BOTTEST9简易使用指南 如何安装和运行BOTTEST9？ BOTTEST9是在Maple平台上开发的应用程序，如果离开了Maple您将无法使用这个程序。首先将BOTTEST9拷贝到您的计算机的某个子目录之下，譬如说X:\YY\ZZZ。在进入Maple环境后您就可以运行这个程序。首先读入bottest9（或者bottest9.dat，如果该程序带扩展名的话），即键入： read `X:/YY/ZZZ/bottest9`; 或者 read `X:/YY/ZZZ/bottest9.dat`; 注意标点 ` ` 是不能省略的， 然后您就可以执行BOTTEST9的所有指令，使用其所有功能。 关于三角形中几何不变量的约定记号列表（可扩充） 如果您需要证明某个三角形中的几何不等式，那么在输入指令时对其中一些主要的几何不变量必须采用约定的记号，如下表所列： a, b, c, 三角形各边之长 s, s=(a+b+c)/2, 即三角形周界长度之半 x, y, z, x=s-a, y=s-b, z=s-c R, 外接圆半径 r, 内切圆半径 ra, rb, rc, 各旁切圆半径 ha, hb, hc, 各边对应的高 ma, mb, mc, 各边对应的中线长 wa, wb, wc, 各边对应的内角平分线长 S, 三角形的面积 p, p=4*r*(R-2*r) q, q=s^2-16*R*r+5*r^2 A, B, C, 三角形的各内角 sin(A)... 角的正弦，其他三角函数类似 abs( ), 绝对值 aa, 这是一个约束条件，表示讨论的是一个锐角三角形 提示： 这些代表几何不变量的记号在BOTTEMA中属于保留字符，对它们赋值是无效的。 对于代数不等式没有约定记号和保留字符（除Maple固有的保留字符之外）。 证明不等式型定理的主要指令及其例解 prove 目的 – 证明某个三角形中的几何不等式或与之等价的代数不等式。 输入指令： prove(ineq); prove(ineq,[ineqs]); 指令中各项的含义: ineq - 一个待证的不等式，它是用上面列表中的几何不变量来表述的。 ineqs – 作为假设条件的一组不等式，其中每一个都是用上面列表中的几何不变量来表述的。 注意： — 待证的几何不等式必须是 = 型或者 = 型的，而且作为假设条件的那组不等式定义一个开集或者一个开集加上它的全部/部份边界； ineq和ineqs必须由上述表列的几何不变量的根式表出。 — 指令prove也适用于这样的命题：其假设ineqs和结论ineq都是用x, y, z(其中 x0, y0, z0)的有理函数或根式表出的齐次代数不等式，它是= 型或者 = 型的，而且作为假设条件的那组不等式定义一个开集或者一个开集加上它的全部/部份边界。这样的代数命题等价于一个几何不等式命题。 例子： prove( a^2+b^2+c^2 = 4*sqrt(3)*S+(b-c)^2+(c-a)^2+(a-b)^2 ); prove( A = B,[ a = b ] ) xprove 目的 – 证明某个具有非负变量的代数不等式。 输入指令： xprove(ineq); xprove(ineq,[ineqs]); 指令中各项的含义: ineq -一个待证的代数不等式，它的所有变量都取非负值。 ineqs – 作为假设条件的一组代数不等式，其中所有变量都取非负值。 注意： — 待证的代数不等式必须是 = 型或者 = 型的，而且作为假设条件的不等式组ineqs定义一个开集或者一个开集加上它的全部/部份边界。 — 其假设ineqs和结论ineq中只出现有理函数和根式。 — “所有变量非负”在此是默认的，不必写入假设条件中。 例子： xprove( sqrt(u^2+v^2)+sqrt((1-u)^2+(1-v)^2) = sqrt(2),[ u = 1,v = 1 ] ); xprove( (x+1)^(1/3)+sqrt(y-1)+