inRm3D: 画板论坛 - Powered by Discuz! Board

标题: 自动推理中如何加条件和结论 [打印本页]

作者: ldlywlh 时间: 2011-1-28 09:05 标题: 自动推理中如何加条件和结论

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

作者: ldlywlh 时间: 2011-1-31 23:11

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

欢迎光临 inRm3D: 画板论坛 (http://www.inrm3d.cn/)