能用例证法来证明几何定理吗?

来源 :中国科学(A辑 数学 物理学 天文学 技术科学) | 被引量 : 0次 | 上传用户:qwedddessf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了证明平面几何定理的例证法。根据这一方法,想判定一个几何命题是否为真,只需近似地验证一个数值曲特例就行了。这个特例仅依赖于该几何命题在某种规范形式下表述的长度l以及命题中自由变量的个数s,可以非常简单地表示出来,与几何命题的内容无关。同时还证明了该类平面几何判定问题所需的并行时间是l_s的一个多项式。
其他文献
目的建立肥胖大鼠模型,观察肥胖大鼠血清脂联素的变化及动脉血管内皮核因子(NF)-κB、血管内皮细胞黏附分子(VCAM)-1、细胞间黏附分子(ICAM)-1的表达,探讨其在血管病变发生发
试验旨在建立鸡毒支原体人工感染动物模型,为鸡毒支原体致病的分子机制研究提供基础。首先在7日龄时使用氢化可的松建立鸡的免疫低下模型,15日龄时在左右胸气囊分别注射0.5 m
笔者对语文作业批改的方法进行了20多年的实践探索,最终研究出了语文作业批改的"五改法",即:一是"自改";二是"互改";三是"监改";四是"审改";五是"修改"。学生是作业的主人,是
由《列子·汤问》节选来的《愚公移山》,是中学生熟知的篇目。郭锡良主编的《古代汉语》和朱振家主编的《古代汉语》,皆以此为文选篇目。但是,由于可想而知的原因,人们忽视了
目前,英语口语的学习已被社会广泛关注。义务教育英语课程标准(中华人民共和国教育部,2011)明确指出小学英语教学应注重语言实践,培养小学生的综合语言运用能力。然而,对于目前的小学生来说,“哑巴英语”的现象仍较为严重。本研究以Krashen’s Input Hypothesis,Swain’s Output Hypothesis和Chunks of Language为理论依据,分别从教师、学生、环境
体育旅游属特色旅游产品,其开展必须依托特定的资源条件。本文采用文献资料法,挖掘四川开展体育旅游的资源优势,对于开发四川体育旅游产品,合理利用四川旅游资源具有一定的现
从实际经验出发并结合理论,研究分析了压电陶瓷蜂鸣片生产工艺中容易出现的缺陷及其解决措施,对和相关企业提高质量和合格率钭有一定的指导作用。
目的 :探讨全喉切除手术后咽瘘发生的原因。方法 :对 1983~ 1998年间行全喉切除手术的 12 5例患者的临床资料进行回顾性分析 ,并应用 SAS软件进行单因素和多因素统计处理。结