代数结构与几何基础Ⅱ──域上的仿射几何和欧氏几何

在本文中我们将定义有序域上的仿射几何，并证明它满足Ｈｉｌｂｅｒｔ几何公理体系的结合公理，顺序公理和平行公理．然后我们定义Ｐｙｔｈａｇｏｒａｓ域上的欧氏几何，并证明它更满足合同合理．     

代数结构与几何基础I—域上的射影几何

定义了域上的射影几何，证明了：它满足Ｈｉｌｂｅｒｔ几何公里体系中的结合公理，如果是有序域上的射影几何，则更满足顺序公理。     

代数结构与几何基础Ⅰ──域上的射影几何

定义了域上的射影几何，证明了；它满足Ｈｉｌｂｅｒｔ几何公里体系中的结合公理；如果是有序域上的射影几何，则更满足顺序公理．     

代数结构与几何基础Ⅲ——射影几何的公理体系

在本文中我们将给出只保留结合公理的几何，并证明：这种几何．同构于域上的射影几何．若添加顺序公理．则得到同构于有序域上的射影几何的几何．     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

有序域上仿射几何之同构

本文首先给出了仿射几何的公理构造法、一般体(或域)上的仿射几何以及体(或域)K上的仿射几何之同构的意义。进而又给出了有序仿射几何、有序域上的仿射几何的意义。最终论证了仿射几何的基本问題:每一个同公理化定义的仿射几何与有序域上仿射几何的同构问題。     

论Hilbert公理体系的解析结构（Ⅱ）：有序仿射几何与无连续 …

本文讨论有序仿射几何与有序体上仿射几何之间的联系，以及无连续公理欧氏几何与ｐｙｔｈａｇｏｒａｓ域上欧氏几何之间的联系。     

从《几何原本》到《方法论》

几何学起源于观天测地这一类实践活动。公元前三百年，希腊几何学家欧几里得（Euclid，B．C．330-B．C．275）总结前人的经验写成《几何原本》。他把人们公认的一些概念和命题列为定义和公理，在此基础上用演绎法叙述几何命题，证明几何定理。《几何原本》是数学中公理体系和演绎推理的典范。它有许多版本（十三卷或十五卷），被译成各种文字在世界范围内广泛流传。最初它的公理体系是不完整的，后来由德国数学家希尔伯特（D．Hilbert）重新整理和完善，至今为止的中学平面几何和立体几何的内容仍属于欧几里得几何。《几何原本》的中文译…     

论Hilbert公理体系的解析结构(Ⅱ)——有序仿射几何与无连续公理欧氏几何的解析结构

本文讨论有序仿射几何与有序体上仿射几何之间的联系,以及无连续公理欧氏几何与pythagoras域上欧氏几何之间的联系。     

仿射几何的公理体系

本文证明了,在欧氏几何Hilbert公理体系中,如果删去合同关系和合同公理,同时把平行公理强化成V’:“在同一平面上已知直线a和线外一点A。则过A点有且仅有一条直线b与a平行。”则得到三维仿射几何的公理体系。     

凸几何上的区间模糊Shapley函数

解决区间合成模糊合作对策在凸几何上的解的问题,研究了凸几何上的区间模糊Shapley函数.给出区间合成模糊合作对策在凸几何上的定义,以及在凸几何上的区间Shapley函数应满足的三条公理,探讨了区间合成模糊对策在凸几何上的区间Shapley函数,并证明其存在性和唯一性,进而拓展了区间合成模糊合作对策的研究范围,对于研究其它具有模糊数的模糊合作对策有一定的参考价值.     

关于向量空间的定义

前言 教科书上经常采用的数域P上向量空间的定义是八条公理,文证明了八条公理不独立,其中向量加法的交换律(即下面的公理①)可由其余的公理推出,但是,文证明其余七条公理的独立性时在证明中有错误:第一,证明公理⑥不能由其余七条公理推出时,所用例子虽不满足公理⑥,但也不满足公理⑦;第二,证明公理⑧不能由其余七条公理推出时,所用例子不满足公理⑤(在本文中将分别说明之)。因此,八条公理的独立性如何,仍然是一个没有彻底解决的问题。本文将证明公理⑧是独立的,至于公理⑥,我们发观它的独立性比较有趣,它与数域P的关系密切。本文将证明存在数域P(例如复数域),公理⑥在该数域上是独立的;然而,也存在数域P(例如有理数域),公理⑥在该数域上可由其余公理推出,关于公理⑥的独立性问题,陈重穆教授提出了一个猜想,见本文的后记。     

高等几何与初等几何

欧氏几何作为仿射几何、射影几何的子几何,使我们有可能把初等几何、解析几何放到更为广阔的背景中去考虑,有助于弄清欧氏几何与其它几何的联系与区别,以便从高观点下把握和处理中学教材,这无疑对中学几何教学有很大的指导作用.如何来认识这种指导作用,笔者认为至少应注意以下5个方面:1.用高等几何的方法给出初等几何命题的简洁证明,如利用笛沙格(Desargues)定理证明三角形的三条中线交于一点;利用交比证明有关圆的问题;利用完全四点形的调和性,可     

怎样教学文字叙述的几何证明题

学习几何离不开证明，而文字叙述的几何命题的证明是教学中的难点。怎样才能使学生学好证明文字叙述的几何命题，笔者有以下几点体会。一、要切实让学生学好几何基础知识学好定义、公理、定理等几何基础知识，对概念会深刻理解其含义，对定理、公理能彻底弄清题设与结论。二、必须使学生学好几项基本功1、学会正确审题，弄清已知什么，要证什么，并且会挖掘隐含条件。比如：求证等腰三角形两底角的平分线相等（见人教版初二《几何》第70页例4）。在证明时就要用到隐含条件中的公共角或公共边相等。2、学会正确识图与画图所谓识图，就是指观…     

几何凸函数的几个定理及其应用

研究几何凸函数与凸函数的之间关系，定义了Schu—几何凸函数，给出判定几何凸函数和schur—几何凸函数的几个定理并举例说明定理的实用性．     

柱形面的微分几何性质

研究了柱形面Σ的微分几何性质，给出它的第Ⅰ，Ⅱ基本形式，得到Σ上的渐近线，并证明Σ是不可展直纹面。     

用几何解方程

它可能是全世界学生最熟悉，使用最频繁的公式。一元二次方程的根，是谁解出来的呢?如何用几何方法证明它呢?     

重心坐标法证明几何定理

众所周知,在欧氏平面中,如取定一个标架后,可以用坐标的计算来做几何证明,类似地考虑,我们如取定一个三角形（它相当于一个标架）可以引入重心坐标。自然地可以用重心坐标来做几何。三角形是几何中最稳定的,而且很美。本文以重心坐标的方法来证明几道初等几何中的难题,以比较其与其它坐标的优缺点,并试图找出一个完善的理论,能解决所有的几何问题,这对机械化证明也许是有帮助的。     

浅谈新课程下初中教材几何公理体系

初中几何是新课改数学教材变化最大的部分。本文以北师大版和浙教版教材为例,研究了中学几何公理公理的处理和方法。     

应用质点几何的观点探讨仿射几何的几个问题

本文应用质点几何的观点对仿射几何中诸如Ｐａｐｐｕｓ定理等给出证明，其方法简便，观点新颖。