关于几何学之间辨证关系的探讨

1引言几何学按传统的定义来讲是研究图形及其性质的一门科学．由于研究问题的范畴不同，形成了欧氏几何、伤财几何、射影几何三门独立的几何学．从欧氏几何过渡到射影几何，既有公理体系上的本质差别，又有三种几何学之间的内在联系．从辨证的意义上讲，揭示这种几何学之间的内在联系，对认识几何学的统一具有重要意义．2理想元素的引入将欧氏几何过渡到射影几何通常，大众所接触到的几何学是欧氏几何．在欧氏几间个，所研究的基本元素（点和直线）都是有限元素，如果建立西直线点之间的中心投影，则每条直线上都有一点在另一直线上没有对应…     

公理·模型·BIB

几何学的演绎基础是公理.不同的公理系统演绎出不同的几何体系.例如,根据希尔伯特的五组(?)十条公理(关联公理八条,顺序公理四条,合同公理五条,连续公理二条,平行公理一条)可以得到一个完整的欧几里得几何体系.改变希尔伯特的平行公理又可得到罗巴切夫斯基几何或黎曼几何.更一般的几何——射影几何,也可以建立在严格的公理基础之上.     

例谈射影几何命题的证明方法

从射影几何中的定义、公理和已知的定理出发,建立适当的射影坐标系,将几何问题转化为代数问题,再赋予代数结论的几何意义,从而得到射影几何命题的证明.     

点集重心的一个性质

本文用几何方法得到关于空间有限点集重心的一个有用性质,概括了一些文章的结果,给出一类定值问题的一般模型。 设M={A_1,A_2,…,A_n}是空间中有限个点组成的集合,称等质量的质点组{A_1,A_2,…,A_n}的重心为点集M的重心。则由物理学有关原理即得出求点集重心的几何方法,我们把它总结成如下定理。 定理1 (1)设M={A_1,A_2},则M的重心为线段A_1A_2     

一个小型公理系统的例子及中学几何公理系统的水平

几何学的对象是对物质世界的对象加以理想化、抽象化而得出的。几何学作为一种逻辑的演绎结构的组织,是以一组不加以证明的公理,即基本对象和关系的最初假定为基础的。而公理是几何对象在客观世界具体对象的性质的一种抽象表达。因此公理系统作为逻辑推理的基础,不能随心所欲地构筑,公理化不是搞无意义的游戏。关于公理系统的基本问题,就是一个完善的公理系统应该满足的条件。 希尔伯特认为:公理的选取要符合三条要求。即①相容性。②独立性。③完备性。相容性是指公理的集合应是无矛盾的,独立性是指公理之间不能互相推出,完备性是指对这个系统不能再增加独立的新公理。 希尔伯特给出的欧氏几何公理系统是相容的、独立的、完备的。但要具体证明欧氏几何     

平行射影在初等几何中的应用(高等几何知识介绍之一)

教育部制定供师专数学专业试用的大纲和初中教师数学专业进修的大纲都规定开设“高等几何”课。鉴于这门课程,在部分学校中停开时间较久,中学教师对之都比较生疏,因此,特作介绍。在这里我们不可能详细研究“高等几何”的内容,只是想通过介绍它在初等几何中的应用,来阐述一些“高等几何”的思想方法。首先、我们介绍平行射影变换。 一、平行射影变换     

利用几何模型证三点共线

把一个实际问题抽象为用数学符号表示的数学问题,称为数学建模,该数学问题称为原问题的数学模型．平面几何中的几何概念、图形的性质、几何公理、定理等都可以视为几何模型,利用几何模型可以顺利解决几何中的一些难题．下面介绍用几何模型证三点共线的几种方法,供参考．     

利用交比、简比求射影对应式和射影变换式

交比是射影几何中的唯一基本不变量,是射影几何的一个至关重要的概念和工具,而简比是仿射变换下的基本不变量。在高等几何教学中抓住交比和简比这个基本不变量,可以加深对射影几何的理解,交比的定义在许多射影几何教材中都表述为两个简比之比（或四线段之比）。可是三点A、B、C的简比作为两线段AC、BC的长度之比。在欧几里德空间中,点是有顺序的,同一直线上的任意三点,总有一点在另外两点之间,因此线段有“内部”和“外部”之分。欧几里德空间中三点的简比的符号反映了这一顺序关系。简比（ABC）是负的就标志着C在A、B之间,…     

调和共轭及其应用

射影几何对未来的中学教师而言,在几何基础的培养、眼界的开阔及观点的提高、思维的灵活及方法的多样等方面都具有重要的作用．“交比和调和共轭”是射影几何的重要基础,和射影几何的各部分内容密切相关,运用其概念和有关性质,可以比较简单地解决初等几何、复变函数和偏微分方程中的问题窗体底部。     

利用几何模型证三点共线

<正>把一个实际问题抽象为用数学符号表示的数学问题,称为数学建模,该数学问题称为原问题的数学模型.平面几何中的几何概念、图形的性质、几何公理、定理等都可以视为几何模型,利用几何模型可以顺利解决几何中的一些难题.下面介绍用几何模型证三点共线的几种方法,供参考.一、邻补角模型如图1,要证明A、B、C三点共线,可选择一条过点B的直线PBQ,并连结AB、CB,证明∠ABP与∠CBP互为邻补角,即∠ABP+     

古典概型与几何概型

一、古典概型与几何概型的共同点与区别1.古典概型与几何概型的共同点都具有等可能性,非负性(对任意事件A,有O≤P(A)≤1),规范性(必然事件概率为1,不可能事件概率为0)和有限可加性,即当事件A_1、A_2、…、A_n彼此互斥时,P(A_1∪A_2∪…∪A_n)=P(A_1)+P (A_2)+…+P(A_n)。另外几何概率还具有     

论希尔伯特几何公理的综合性质

受时代局限,康德基于欧氏几何宣称几何命题的先天综合性质.欧氏几何的现代数学表达为希尔伯特几何公理系统,并且后者可以方便地演化出非欧几何.于是,论证希尔伯特几何公理的先天综合性质可以在现代数学的背景中为一般几何命题的先天综合性质提供支持.希尔伯特几何公理的先天性不言而喻.继反驳石里克对希尔伯特几何系统的公理定义所作的分析性论证之后,对希尔伯特几何公理的综合性质的正面论证在于,阐明蕴涵定义超出分析性程序的方法论本质,揭示希尔伯特几何公理对业已被证明为先天综合知识的算术的双重依赖,并利用多种几何并存的局面展示享有唯一性地位的算术系统所不能彰显的先天综合知识的独特模态.     

浅谈高等几何在初等几何中的应用

高等几何对中学几何,特别是对解析几何有重要的指导作用。本文拟就如何用高等几何的方法解决中学几何,特别是初等几何中的一些问题进行了初步探讨。一、仿射变换的应用1、利用平行射影证明几何题平行射影是最简单的仿射变换,利用两条直线间的平行射影将图形中不共线的点和线段投射成共线的点和线段,可使一些命题的证明简化。例1(menelaus定理)在三角形的边或其延长线上,三个分点共线的主要条件是顶点到分点与分点到这边上另一顶点的有向线段的值的比的乘积等于-1。已知:如图,在△ABC中,点L、M、N分别是AB、BC、CA上(或延长线上)的点。…     

关于射影空间的几何模型的建立

本文从变换的角度,借助射影直线,射影平面的几何模型,推导出三维射影空间的几何模型     

运用加点紧致化研究射影平面的紧致及分离性

运用点集拓扑学中介绍的加点紧致化的方法来研究高等几何中关于射影平面概念,及创造几种关于射影的拓扑初步得出它们的紧致性及分离性问题     

高观点下的初等几何之共点问题

在克莱因变换群理论下,欧氏几何是射影几何的子几何.因此,可以说射影几何学的思想理论对欧氏几何具有一定的指导意义.本文仅从几个射影理论就初等几何中的直线共点问题的证明方法进行研究.     

调和分割与蝴蝶分割·点共线与中点弦

在大学数学教材《解析几何》(以下简称《解析几何》)中的射影几何部分[1],讲述了二次曲线的极点和极线,通俗地讲,其内容是:P是不在二次曲线上一定点,过P的任一直线与二次曲线相交于A、B,点P关于二次曲线的弦AB的调和分割点G(满足AG∶GB=AP∶PB)的轨迹是一条直线L,这条直线L叫二     

绝对形与数种没有度量的几何学

本文从射影几何出发、利用点、直线或它们的组合图形为绝对形，推出了仿射几何、中心射影几何、中心仿射几何及旗帜几何等数种没有度量的几何，拓展了人们对几何学的认识。     

中心射影及其在初等几何的应用

射影几何应以中心射影为基础,因为几何图形的射影性质可以视为在任意中心射影下保持不变的性质。 中心射影可按下法定义:取空间任意点S作为射影中心,空间的任意平面兀’作为射影平面。空间中某个点A的中心射影,就是连结点A与射影中心S的直线与平面兀’的交点A1。     

平面射影几何基本定理的一个等价命题

本文证明了平面射影几何基本定理的一个等价命题:即由不共线三对对应点及不过此三点的一对对应直线确定一个平面射影变换.