注册
登录
论坛
返回网络画板
搜索
inRm3D: 画板论坛
»
GeoGebra
» 几何专家 Java版 0.80中文版【能自动推理,含1600个实例】
返回列表
回复
发帖
发新话题
发布投票
发布悬赏
发布辩论
发布活动
发布视频
发布商品
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
1
#
dianlinchen
发表于 2010-4-12 07:33
|
显示全部帖子
大家看看,面积方法和传统方法证明不可用,是否是因为侵犯了张院士的版权?面积方法功能仅次于吴法,但可读性较好,不能使用,太可惜了。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
2
#
dianlinchen
发表于 2010-4-12 12:03
|
显示全部帖子
原来为国人开发,估计推广不利,便与老外合作,开发而成。我刚刚使用一点,欢迎交流。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
3
#
dianlinchen
发表于 2010-4-13 09:37
|
显示全部帖子
基本作图功能与gsp都是一样,只是操作习惯不同,可能是因为要考虑到证明的限制。自定义工具我还没有使用。我觉得它的作图过程功能很有用,便于交流,这一点值得GSP借鉴,GSP3有个“包括工作”选项,可惜在GSP4以后就取消了,估计是想保护使用者开发产品的知识产权(?),但又是可以很容易破解的,实在搞不懂开发者是怎么想的。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
4
#
dianlinchen
发表于 2010-4-13 09:46
|
显示全部帖子
证明的功能还是很有特色的,使用前应该添加需要证明的结论。
其中GDD方法不仅可以生成可读证明,还能生成图中包含的诸多(全部?)性质,并给出相应的证明;吴法证明能力最强,但可读性差,可以用于理论研究。面积方法也十分强大而且可读,可惜这个版本中不能使用。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
5
#
dianlinchen
发表于 2010-4-13 11:14
|
显示全部帖子
17#
inRm
例如证明垂心定理,如图一
证明过程,如图二,用分析方法显示,即从结论找对应条件,其中的角度是有向角,下同
图形性质库,如图三,其中的面积也是有向的,相似形中出现-1,表示逆相似,+1表示顺相似
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
6
#
dianlinchen
发表于 2010-4-13 11:20
|
显示全部帖子
我以前使用过《几何专家》软件,与这个大同小异,几何专家中显示的性质库内容比这个要丰富得多,对此,我也感到有些奇怪。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
7
#
dianlinchen
发表于 2010-4-13 11:25
|
显示全部帖子
几何专家的另一个突出特点是:能够给出定理的非退化条件,使得定理证明真正达到严密。而我们通常的证明都无法达到这一点。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
8
#
dianlinchen
发表于 2010-4-13 14:23
|
显示全部帖子
21#
inRm
这个的确十分不便,我使用的是右边栏后退一步工具,粗的后退箭头。
回复
引用
TOP
发短消息
加为好友
dianlinchen
当前离线
UID
372
帖子
118
精华
1
积分
157
威望
157
金钱
0
在线时间
85 小时
注册时间
2009-12-18
最后登录
2017-1-23
讲师
UID
372
帖子
118
精华
1
积分
157
9
#
dianlinchen
发表于 2010-4-13 14:32
|
显示全部帖子
22#
stg1109
无撤消与重做就是右边框上的左右箭头;
刚刚试了动画功能,很差劲,例如点在圆上运动,需要满足点在圆上,选择“操作|动画”命令,再选择点和圆,如果点不在圆上,就按当前到圆心的距离为半径计算(?),真实不可思议。
条件可以在作图过程中自动生成,结论是在“证明|证明结论”中添加。
回复
引用
TOP
返回列表