谈仿射性质在初等几何中的应用

利用高等几何中的仿射性质和平行投影方法,可解决大量初等几何问题,平行投影是比较容易理解也比较直观的一种投影方法,在初等几何中也适用。适当运用这种方法,可以在解决问题时带来事半功倍的效果,通过对三角形、平行四边形、椭圆的相关命题的证明,实例说明高等几何对初等几何的指导作用。     

仿射几何在轴测投影中的应用

本文利用仿射几何学建立起一套仿射理论，进而阐明轴测投的数学原理。     

几何画板在初中几何教学中的运用

以前的课堂,人们总是把黑板、粉笔或纸笔联系在一起,这样的教学方式会把学生的思维局限在有限的空间中.在科学技术高度发展的今天,多媒体的应用已经相当普及,尤其是在教师开课的时候基本上都有精美课件的展示.在数学课上,几何画板的运     

初等几何的向量方法

用向量作为工具研究初等几何的有关问题称为初等几何的向量方法,向量的特点是形数结合,因此向量方法既有综合法的灵巧,又有解析法的方便,能把综合法与解析法有机地结合在一起,本文想简单介绍一些向量的基本知识以及向量在初等几何中的应用。 1 向量的基本概念及其运算。 (1)向量既有大少,又有方向的量称为向量。向     

射影几何对初等几何指导一例

１　引言射影几何是高等师范院校数学专业必修的一门基础课,开设此课的目的之一,是因它对初等几何有着广泛的指导作用．因此,尝试用射影几何的知识去解决初等几何的问题,倘能行通,再着力用射影的观点将原题推广,以求得出更为普遍的新命题,……．这就为改进和提高几何课的教学质量提供一条途径．２　一道赛题由香港数理教育学会主办的１９９８年初中数学竞赛,加试的三道解答题中第二题是如下一道平面几何题［１］．图１ＡＤＢＭＯＱＰＮＣ已知Ｐ为ＡＢＣＤ内一点,Ｏ为ＡＣ与ＢＣ的交点,Ｍ、Ｎ分别为ＰＢ、ＰＣ的中点,Ｑ为ＡＮ与…     

计算几何中的仿射不变量理论及应用

作者最早把代数曲线论的仿射不变量理论引入计算几何领域,提出了m维仿射空间一般具有m(n—m)—2个内在仿射不变量——这一基本定理,并且进一步完备了对应用有重要意义的理论。其中证明了:平面n次Bézier曲线处处为凸的充分条件;平面三次Bézier曲线的分类问题。继而讨论了平面四次Bézier曲线的一些拐点分布情况以及一类平面五次参数曲线的拐点和奇点的分布。上述部分结果已经在造船、航空和汽车等工业部门中获得实际应用。     

用平面函数构造仿射几何

短文证明了可以从n阶循环群到它自身的平面函数来构造一类仿射几何．作为推论,证明了礼必须是奇素数幂．从而证明了如果存在一个射影平面,它具有一个n^2阶的自同构群,那么扎必须是素数幂．这是“素幂猜想”的一个特殊情形．     

旋转在一类几何问题中的运用

<正>近年来在中考和备考模拟中探究三条线段关系的问题频繁出现,难度不大但变化较多,数学的思维灵活性要求也较高,同学们对于分散的条件没有很好的解题思路.其实,通过对几何图形的某一部分旋转或对称,可将几何图形中的线段作等量转移、建立数量关系,使条件得到有效集中,是解此类问题的有效方法.本文将根据条件和求解要求把问题作一些     

初等微分几何的机械化证明

本文系文献[1]关于初等几何机械化证明的继续,文中指出,应用同样的原理可给出一个算法,足以判定初等微分几何中一个适当的叙述是否是一真实的定理,方法是依据Riquier-Ritt-Thomas的理论^[2,3],这些理论本身就是算法性的。     

复数与初等几何变換

一、引言复数是用来表达平面上点的位置的数:z=x++(-1)~(1/2)y,x,y是实数,(x,y)即是点的笛儿直角坐标,或z=ρe~(iθ),ρ,θ是实数(i-(-1)~(1/2),(ρ,O)乃是点的极坐标。把一个数乘上z=ρe~(iθ),就是把这个数所表达的点沿这点与坐标原点的联线伸縮ρ倍,并从这联线起按反时針方向旋轉一个角度θ;把一个数加上复数z=x+iy,就是把这个数所表达的点沿横軸移动有向距离x,沿纵軸移动有向距离y。这样,利用复数的运算,初等平面几何上的許多定理可以化简其証明。同时,通过复数的运用可以对初等平面几何作概括的叙述,如全等形的理論是討論簡单图形在刚体运动(平移和旋轉)z→az+b(这里|a|=1)下不变的性貭,相似形的理論是討論在变換z→az+b(a,b是任意复数) 下不变的性貭。掌握了这些变換,不但能对初等平面几何学以簡叙繁,而且对复数的了解也更深刻。二、初等几何变換簡介变換理論是几伺作图的主要依据。如果借助于任何規則或规律对于某个图形,的每一个点A,在某个图形F＇有一个确定的点B与之对应,那么我們說,图形F被变換到图形F＇。Ⅰ.合同变換 假設有一个图形F,經过某种变換而变为与自己合同的图形F＇,那么这个变換叫做合同变換。合同变換分下列三种:     

关于代数齐性空间的仿射几何

<正> 周炜良得到了四类代数齐性空间保持粘切关系的变换群的构造,在周炜良之前,华罗庚[2-5]用不同的方法研究了类似的问题,后来,华罗庚又定出了仿射 Grassmann 空间中保持粘切关系的变换群.本文定义了这四类空间的无穷远点,从而定义了相应的四类仿射空间;并继续用周炜良的方法,得到了四类仿射空间保持粘切关系的变换群的构造.其中,对仿射 Grassmann     

初等几何定理机器证明中的可约性问题

在几何定理的机器证明中,遇到可约的情形就会出现重大困难。本文依据代数几何中代数簇相对可约与绝对可约的概念,引进直线与园的定向座标,以避免或至少减轻可约性的困难。作为应用实例,我们对割线定理、Feuerbah 定理以及 Thebault-Taglor-Chou 定理进行了分析,并对最后一个定理给出了比已知要简单得多的机器证明。     

化二次射影几何问题为初等几何问题

众所周知,有关一次射影几何的某些问题可以把某条直线投射到无穷远后,化为初等几     

几何学机械化方法Ⅰ.初等几何

依据多项式组的 Rilt 原理以及0点分解定理, (见[R 1,2]与[WU 4,5]),作者提出了几何学的一种机械化方法。除应用于解高次联立代数方程组外。本文以初等几何为限,指出如何依据这一机械化方法以建立构造性的代数几何学,以及如何应用于几何定理的机器证明与机器发明。在下一文中,将推广这一机械化方法于微分几何。     

一个高等几何结论的初等证明

文献[1]～[6]中研究了二次曲线中的一些结论,文[5]将它们统一为定理1,并用高等几何的方法完成了证明,本文给出这一结论的初等证明.     

初等几何定理机器证明的基本原理

1976与1977之交,我发现了一个初等几何定理证明的机械化方法,见文献[4].这一方法适用于各种无序的但满足 Pascal 公理的初等几何,或各种初等几何中不牵涉次序关系的那类定理.本文§4叙述了这一方法所依据的基本原理并给出了详细证明.在§2与§3中则阐述了基本原理所依赖的关于多项式组的整序理论与代数簇的构造性理论.二者俱源出 Ritt 的著作,见文献[2,3].最后在§5中以 Morley 定理与我所发现的Pascal 锥线定理为例,说明这一方法在计算机上实施的具体情况.     

初等几何判定问题与机械化证明

机械化证明定理,目前值得注意的是Tarski关于初等几何与初等代数定理的机械证明法。他以及后来一些研究工作者的方法,大都基于Sturm定理的某种推广,这些方法仍极繁复,因之即使使用了计算机,实际上也是难以实现的。本文的目的,在于把定理限制在不牵涉到“之间”关系的情形,应用完全不同的原理给出初等几何定理的机械化证法。这种方法仅用手算即可给出不太简单的定理的证明。     

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

几个初等几何定理的证明

近閱讀叶菲莫夫著高等几何学,發觉其中有几个定理,可作更直接的証明,茲介紹如下(本文所指頁数系俄文原著第三版).     

利用有限仿射几何构作Cartesian认证码

设 0 相似文献