自动推理中如何加条件和结论

我在加条件AB=2AC时，用下面的线段之间的关系式(SumSeg -1A B 2A C);却出现格式错误，这是为什么？应当如何输入，请教各位了。

回复引用

2^#

ldlywlh发表于 2011-1-31 23:11 | 只看该作者

我已知知道了，应当为(SumSeg -（1）A B 2 A C);OR SumSeg 1 A B -(2) A C);可惜我的版本中没有高中代数知识和解几知识，只有三角函数知识。不知正版有没有？

回复引用