返回列表 回复 发帖

UID
3338 
帖子
18 
精华
0 
积分
2 
1#
打印
tT
ldlywlh发表于 2011-1-28 09:05 | 只看该作者

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

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

订阅 TOP

UID
3338 
帖子
18 
精华
0 
积分
2 
2#
ldlywlh发表于 2011-1-31 23:11 | 只看该作者
我已知知道了，应当为(SumSeg -（1）A B 2 A C);OR  SumSeg 1 A B -(2) A C);可惜我的版本中没有高中代数知识和解几知识，只有三角函数知识。不知正版有没有？
回复 引用

TOP

返回列表