几何定理机器证明

来源 :自然科学进展 | 被引量 : 0次 | 上传用户:lilunallen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 一、几何定理证明——从Euclid,Descartes到Hilbert 定理证明是现代纯粹数学的主要活动形式,导源于古希腊,Euclid的《几何原本》是其代表著作.即使是平面欧氏几何,就有着无数美妙的定理,以下略举数例,以资说明. 例1.Feuerbach定理(1822).三角形的九点圆与其内切圆O以及傍切圆都相切. 例2.Morley定理(1900).三角形三个角的相邻三分角线相交成一个等边三角形. 例3.Thebault推测(1938).设三角形ABC,L是过顶点A的一直线,则在与底边BC,
其他文献
根据新版《卷烟工艺规范》要求,滤棒应当在固化8小时后,硬度达到工艺技术要求。现生产过程中,原辅材料(二醋酸纤维、三乙酸甘油酯)、温湿度、设备、牌号更换时,均需要进行滤
以燕山山脉5个居群豆茶决明为研究材料,系统比较了同一生境条件下各居群的叶片特征和光合特性。结果表明:承德兴隆居群叶形态参数值最大,而唐山迁西居群叶形态参数值最小。各
从合理控制血压与血脂,治疗房颤,长期口服阿司匹林,颈动脉内膜剥脱术等方面对脑梗死的二级预防措施进行了总结,结果表明二级预防可减少脑梗死再发。
基于土霉素在铂电极上增强三联吡啶合钌[Ru(bpy)3^2+]的电化学发光信号,并结合流动注射分析技术,建立了1种测定土霉素的电化学发光分析新方法.在含有5.0&#215;10^-5mol/L Ru(bpy)3
CPI的N系列TeraFrame 配备完整的气流隔离系统,当今业界的任何一款机柜都无法比拟
当今世界,经济全球化与区域经济一体化的进程不断加快,各国相互贸易往来日益密切,相互之间的贸易量也在不断增长。影响国际贸易的因素很多,其中距离是关键的因素之一。国内外大多
<正>时代鉴定是一切文物鉴定的重要因素之一,也是佛像鉴定的重要内容,因为它关系到佛像制作的重要历史背景,包括政治、经济、文化艺术等诸多因素,最终也直接关系到佛像文化艺
计划经济条件下的人事管理工作不带有思想政治工作的职能,现已不适应形势发展的需要;建立一种注重人文关怀并与思想政治工作相结合的人事工作,将人事工作从以工作为重心向以
2月26日,国家退役军人服务中心在北京正式挂牌成立,退役军人事务部党组书记、部长孙绍骋为国家退役军人服务中心揭牌,副部长钱锋主持挂牌仪式。组建国家退役军人服务中心,是
改善换挡操纵性能是提高车辆综合性能的一个重要方面。随着控制参数的变化.根据换挡规律的要求,自动选择档位以及换档时刻是车辆操纵性能的重要方面。可以说,换挡规律是自动变速