Download as pdf or txt
Download as pdf or txt
You are on page 1of 25

湖北大学

硕士学位论文

射影几何几个重要定理关系的研究

姓名:廖小勇

申请学位级别:硕士

专业:基础数学

指导教师:李光汉

20080501
摘要

Menelaus定理、Ceva定理、Desargues定理、Pappus定理、Pascal定理和Brianchon

定理等,都是射影几何中重要而著名的定理,也是研究平面和空间几何中点共线或线

共点等问题的有力工具.长期以来,在各种版本的几何学专著或教材中,这些重要定理

均独立表述,少有阐述它们关系的介绍说明.近几年,关于Menelaus定理和Ceva定理

等的应用研究,已经取得了不少研究成果;也有不少学者应用代数几何、拓扑或微分

流形等工具,研究Desargues定理、Pappus定理、Pascal定理和Brianchon定理等定理

的一些推广与应用问题.但仍有若干问题有待进一步探讨,深入理解和揭示这些重要

定理的关系及其内涵,有其理论和实际研究意义.

本文就射影几何的上述重要定理,对它们之间的关系作一些探索,主要工作是:探

讨了Ceva定理和Desargues定理的~致性,分析研究了Menelaus定理和Ceva定理的

统一性,同时给出这两个定理的统一形式——M.C定理,并揭示了M.C定理与Pascal

定理和Brianchon定理(包括退化情形)之间的内在联系;利用Menelaus定理,对Pappus

定理、Desargues定理和Pascal定理(关于圆的情形)进行了统一形式的证明;对Pappus

定理、Desargues定理和Menelaus定理作了一定的推广.以此认清这些定理之间的关系,

揭示它们在射影几何中的重要地位与作用.

关键词:射影几何;Menelaus定理;Ceva定理;Desargues定理;Pascal定理;Brianchon
定理;点共线;线共点
Abstract

Menelaus theorem,Ceva theorem,Desargues theorem,Pappus theorem,Pascal

theorem and Brianchon theorem not only are important and well—known in projective

geometry but also are powerful tools in researching some questions such as judgments of

some points in the same line and several lines intersected in the same point in plane

geometry and space geometry.However,for a long time,these important theorems are

introduced independently and their relations are researched seldom in all kinds of geometry

books.In recent years,the applications of Menelaus theorem and Ceva theorem have gotten

a great Success.Some applications and generalizations of Desargues theorem,Pappus

theorem,Pascal theorem and Brianchon theorem have been obtained by some academicians

who use algebraic geometry,topology and differential manifold and SO 011.But there are

several questions need to be discussed.It is significant in the theory and practice to

understand and reveal the meanings of these theorems and relations between them.

In order to recognize the relations between them and reveal their important positions

and roles playing in projective geometry,in this paper,we discuss the relations between

above‘mentioned theorems as follows.Firgly,the uniformity between Ceva theorem and

Desargues theorem and the unity between Menelaus theorem and Ceva theorem ale

researched,and M-C theorem is obtained.Then,the potential relations among M.C theorem,

Pascal theorem and Brianchon theorem(including degenerate case)are investigated.Next,


the general form about Pappus theorem,Desargues theorem and Pascal theorem(about the
case of the circle)is proved by Menelaus theorem.Lastly,the generalization of the three

theorems iS obtained.

Key Words:Projective geometry;Menelaus theorem;Ceva theorem;Desargues theoreln;

Pascal theorem;Brianchon theorem;Points in the same line;Lines intersected in the same

point

II
湖北大学学位论文原创性声明和使用授权说明

原创性声明

本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所
取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任
何其他个人或集体己经发表或撰写的成果作品。对本文的研究做出重要贡
献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的
法律后果由本人承担。

论文作者签名:扔哆
日期:沙吕年5-n z占日

学位论文使用授权说明

本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:

按照学校要求提交学位论文的印刷本和电子版本;学校有权保存并向国家有

关部门或机构送交论文的复印件和电子版,并提供目录检索与阅览服务;学校可以

允许采用影印、缩印、数字化或其它复制手段保存学位论文;在不以赢利为目的
的前提下,学校可以公开学位论文的部分或全部内容。(保密论文在解密后遵守此
规定)

作者签名: 雳吻 日期:矽孚。f厶多
指导教师签名: 孝走汉 日期:2印毋.多矽
1引言

1引言
Menelaus定理、Ceva定理、Desargues定理、Pappus定理、Pascal定理和Brianchon

定理等([1]),都是射影几何中重要而著名的定理.它们是数学史上不同时期的经典成果,

是射影几何的重要组成内容,也是研究平面和空间几何中点共线或线共点等问题的有力

工具.Menelaus定理和Ceva定理以对立的形态,分别给出了判别平面上点共线和线共点

的准则,Desargues定理则给出了这两个定理的对立统一体——即点和直线构成“中心透
视"与“轴透视”之间的透视对应关系,而Pascal定理和Brianchon定理,则揭示了二次

曲线的有关点和直线的透视对应关系,Pappus定理只是Pascal定理的退化情形.这些定

理关系密切,应用较为广泛.但长期以来,在各种版本的几何学专著或教材中,Menelaus

定理、Ceva定理、Desargues定理、Pappus定理、Pascal定理和Brianchon定理等这些
重要定理却独立表述,少有阐述它们关系的介绍说明.

近几年来,对于Menelaus定理和Ceva定理等的应用研究,已经取得了不少研究成果

([41一[111);同时,也有不少学者以代数几何、拓扑和微分流形为工具,研究Desargues

定理、Pappus定理和Pascal定理等定理的应用与推广问题([16]一[24]),使传统的射影几

何知识有了更深更广的拓展.可见,深入理解和揭示射影几何中的重要定理的关系及其

内涵,研究它们的应用,有其理论和实际研究意义.

本文拟就射影几何中的Desargues定理、Pappus定理、Menelaus定理、Ceva定理、

Pascal定理和Brianchon定理等重要定理,对它们之间的关系作一些探索,既讨论定理之

间一定的统一性,又适当地对定理作一定的推广,研究它们的应用问题,用以认清这些重

要定理的内在联系,揭示它们在射影几何中的重要地位和作用.

2 Ceva定理与Desargues定理的统一性
我们先讨论Desargues定理和Ceva定理的联系,为此将射影几何n1中的这两个定理
叙述如下:

Desargues定理 若A,4BC和鲋’召7C7对应顶点的连线朋’,朋’,CC’交于一点S,则
它们对应边(所在直线)的交点L=BC x B’C’,M=CA x C'A’,N=AB×么’B’三点共线(如
图1).
塑!!奎兰堡主堂垡丝壅
_--____l_____—-_—_____-____●_-__●__--—-___-_—-—————_—-___—————————————————一一一。 一一——

图1 DesargueS定理 图2 Ceva定理

Ceva定理设X,Y,Z分别是鲋lA2A3的三边42A3,A3Al,AlA2(所在直线)上的点(如

图2),则彳。X,彳2y,43Z三线共点的充要条件是

坐.型.望:1.
弛M弛
其中4X,彳2y,么3Z称为鲋I彳2彳3的Ceva线.
值得思考的是,对一个三角形中几组特殊的Ceva线,将有一些重要结果.

2.1 Ceva线为三角形的中线情形
当X,】,,Z分别是鲋142彳3三边彳2坞,呜4l,彳l彳2的

中点,即彳lZ,彳2】,,彳3Z是鲋l彳2彳3的三条中线时,其三
中线共点(连结XY,YZ,ZX所构成的AXYZ称为

鲋142彳3的中位三角形)(如图3),则幽l彳2彳3与AXYZ
具有公共的重心,亦即鲋.彳:4与AXYZ对应顶点的连
线共点,由Desargues定理知,它们对应边的交点必共 图3 Ceva线的特殊情形

线,其三交点恰好在一条(无穷远)直线上.

2.2 Ceva线为三角形的高线情形

当X,】,,Z分别是AAlA2鸣三边A2A3,A34,AlA2上高线的垂足,即彳lZ,彳2L彳3z是

鲋。A2A3的三条高线时,其三高线共点(连结XY,YZ,ZX所构成的妣称为AAlA:A3的
垂三角形)(参见图3),即削142彳3与AXYZ对应顶点的连线共点,由Desargues定理知,它
们对应边的交点必共线.


3 Menelaus定理与Ceva定理的统一性

2.3 Ceva线为三角形的角平分线情形
当AiX,A:Y,A,Z是鲋。4彳,三个内角的平分线时,三线共点(参见图3),则连结
XY,YZ,ZX所构成的AXYZ与AAlA2A3对应顶点的连线必共点,由Desargues定理知,它

们对应边的交点必共线.

2.4 Ceva线的一般情形
一般地,对于一个鲋l彳2鸣的任意三条Ceva线彳lX,彳2】,,么3Z,若满足

筹・等・等=1,则连结殿,YZ,砑所构成的伽与鲋IA2A3成“中心透视’’或
“轴透视"的透视对应,即成立Desargues定理:若两个三角形的对应顶点的连线共点,

则它们的对应边(所在直线)的交点共线.由射影几何知识知,这个定理的逆定理(也是定

理的对偶定理)也成立(如图4).

图4 Ceva线的一般情形 图5 MSn81a rts定理

由此可见,Ceva定理是Desargues定理的特殊情形,而Desargues定理是Ceva定理的
发展与拓广.

3 Menelaus定理与Ceva定理的统一性
3.1 Menelaus定理与Ceva定理的对偶性
Menelaus定理与Ceva定理历史上相隔近1500余年,两者以各自独立的形式表述.

为思考这两个定理之间的关系,我们来比较两个定理的条件与结论:

Menelaus定理设X,Y,zYY另JgAalA2A3的三边彳2A3,A3Al,AlA2(所在直线)上的

点(如图5),则X,Y,Z--点共线的充要条件是

型.型。望:一1.
.弛H Z以
湖北大学硕士学位论文

Ceva定理 设X,Y,Z分别是AAlA2A3的三边

彳2A3,A,Al,A。A2(所在直线)上的点(如图6),则

么lX,彳2】,,A3Z三线共点的充要条件是

.坐.型.望:1.
弛M戤
图6 Ceva定理

由上可知,Menelaus定理与Ceva定理的条件完全一致,而结论判别的充要条件

妥妻・等-等=千1却依“_l’’与“+l”相互对立,前者提供了点共线的判别准则,后者
提供了线共点的判别准则,它们都是反映着点与线之间的对应关系,二者之间具有同一

性.根据平面射影几何的对偶原理可知,它们互为对偶定理.

3.2 Menelaus定理与Ceva定理的统一性
我们将Menelaus定理与Ceva定理的前提条件合并在一起,来寻求二者的统一性.
为此,先引入引理.

3.2.1两个引理

引理l设置,‘,Z。分别是她彳:彳,的三边彳:鸣,彳,彳,,彳,彳2(所在直线)上的点,并且
;'%.2
4XIiA3=%,乏舞=层,盖鲁=兀,其中%,届,乃为实数,则
(1)墨,I,z1三点共线的充要条件是

%届以=-1(即Menelaus定理);

(2)A。X。,A:K,鸣Zl三线共点的充要条件是

q届乃=1(即Ceva定理).

引理2设置,E,Z2分别是鲋。A2A3的三边彳2呜,A3Al,4彳2(所在直线)上的点,并

且满足筹嘞簧哦筹嘞其中%以儿为娥则
(1)X:,E,Z:三点共线的充要条件是

%属托=-1(即Menelaus定理);

(2)A・彳:,A2艺,彳,Z2三线共点的充要条件是

吃属儿=1(即Ceva定理).


3 Menelaus定理与Ceva定理的统一性

上述二引理由Menelaus定理与Ceva定理易证,此处从略.

据此,我们可以将二定理统一为一种形式.

3.2.2 M.C定理

M-C定理 设XI,E,Zl;X2,E,Z2分别是鲋1么2么3的三边彳2彳3,以彳I,4么2(所在
直线)上的两组点,并且满足

爰嘶爰确箍讲筹嘞筹巩筹嘞
则X:K,r2z。,Z:X。三直线共点的充要条件是

q/置lr,+a2尾圪+q%+届厦+乃儿=1. (1)

证明采用二维射影坐标系证明.取鲋,4以为坐标三角形,不在其三边上的任一点

E为单位点建立二维射影坐标系(如图7),即么。,彳:,4各点的坐标分别为

4(1,0,0),4(0,1,O),4(O,0,1).

图7 M—C定理

由已知条件易得X;,I,Z;,X:,E,Z:各点的坐标分别为

Xl(O,q,1),I(1,0,届),五(靠,1,0);置(o,1,%),K(属,0,1),Z2(1,尼o).
于是,直线X:Z,艺Z,,乙X。的方程分别为

Kzl:x一乃y一岛z=0,

Z2五:托x—y+alz=0.

由三直线X:K,Ez。,Z:X。共点的充要条件,可得

瞻牛

湖北大学硕士学位论文

化简,即得

口l届乃+%屈儿+£2152+届压+以圪=1.

4 M.C定理与其它定理的关系
4.1 M.C定理的特殊情形
考虑M.C定理的两种特殊情形,可得

推论1 当X:,E,Z:分别与Xl,Z,Z1重合时,则

q局万=-1,

此即Menelaus定理.

事实上,当置暑Xl时,则有吼%=差鲁‘筹=1.同理有届厦=乃圪=1.又
吃厦圪=_告,于是由式(1)得嘶层乃=-1,由引理1,故结论成立.
%∥l乃

推论2 当X:,E,Z2分别与4,鸣,4重合时,则

口l届乃=1,

此即Ceva定理.

事实上,X2兰4时,则有%=筹2乏≥=o.同理有flz=Y2=0,于是由式(1)
得%At,=1,由引理1,故结论成立.

4.2 M.C定理的更一般的情形

射影几何中有两个著名的定理——PaScal定理和Brianehon定理,二者互为对偶定
理,它们与M.C定理有关密切的联系,为了简明,以下不妨仅以关于圆的情形来讨论.

Pascal定理若六角形ABCDEF内接于一个圆(如图8),则它的三对对应边的交点

AB×DE=L,BC×EF=M,CDxFA=N三点共线.

图8 PastaI定理


Brianchon定理 若六角形ABCDEF外切于一个圆

(如图9),则它的三对对应顶点的连线AD,BE,CF三线共
F‘
.点.‘

由射影几何知识知,定理中的六角形退化为五角形、四

角形和三角形,也有类似结论.

特别地,当Pascal定理中的六角形退化为二直线时,即 图9 Brianehon定理

得射影几何中的Pappus定理.

Pappus定理 若4,4,4;盈,最,马分别是直线‘,乞上的两组点,直线

4岛,4B,4B分别与直线4尽,4骂,4岛相交于点厶M,N(如图10),则厶M,N--

点共线.

当Brianchon定理中的六角形退化为两点时,即可得Pappus定理的对偶定理.

Pappus对偶定理 若ag,口2,a3;岛,62,b3分别是通过点0l,Q的两组直线,点

(q62),(q63),(口:熟)分别与点(a:bO,(口32jI),(q62)的连线为,,m,n(如图11),则J『,m,n三

线共点.

图l D PappuS定理 图1 1 PappLls对偶定理

仔细分析可知,M.C定理与Pascal定理和Brianchon定理有着重要的关联,尤其是

M-C定理与Brianchon定理有高度的相似性,M.C定理只是Brianchon定理的特殊情形,

而Brianchon定理则是M—C定理的更进一步的推广.此中关系,有待于我们作进一步的深

入思考与探索.

5三个重要定理的统一形式的证明
M—C定理是Menelaus定理与Ceva定理关于平面三角形情形的一种形式的统一,它

给出了判别点共线或线共点的一种准则,为数学中点共线或线共点问题的证明提供了一

种方法.但它应用起来却没有单一应用Menelaus定理或Ceva定理方便.以下为简明,仅



塑!!奎堂堡主堂垡丝奎————一
一———————_—————————————————————————一一
以单一的Menelaus定理为主要工具,来证明射影几何中的Pappus定理,Desargues定理和

Pascal定理(关于圆的情形),以此说明Menelaus定理的应用,也进一步揭示这些定理之

间的关系.

5.1 Pappus定理的证明

Pappus定理 若A,B,C和么’,召’,C’分别是直线‘,如上的两组点,则

L:BC,×B,C,M=CA’×C'A,N=AB’×A’B三点共线.

证明 设P:A'B×B'C,Q=PA’x AC’,足=PB’x AC’(如图12).在△尸鲫中,利用


Menelaus定理,有

图12 Poppus定理

由M,C,A’共线,得 一aM.丝.一PA':一1:
MR A’p
CP
(2)

由C’,£,B共线,得 一Qc'.丝.丝:一1:
c1R BQ
LP
(3)

由A,曰7,N共线,得 丝…RiB'一PN:一1:
AR B'P hQ
(4)

一・一=一■:
QA RC PB
(5)

由A,C,B共线,得
AR CP BQ

由C’,曰’,彳’共线,得 —OC'.些—PA'一1.
c’R A’Q
B“P
(6)

以上式(2)一(6)左右分别相乘,整理可得

(丝.丝.丝):.(丝.型—PA—p.)z.(QM..丝.玛:一1.
、AR BQ。
CP 、CR MR
B‘P管Q。 LP N9。

再将式(5),(6)代入上式,即得


5三个重要定理的统一形式的证明

~・一=一I.
QM
MR
RL

LP
PN

NQ

由Menelaus定理,得证厶M,Ⅳ三点共线.

5.2 Desargues定理的证明

Desargues定理若鲋肥和鲋7曰’C’对应顶点的连线朋’,胎7,CC’交于一点S,则对
应边(所在直线)的交点L=BC B’C7,M=CA×C'A’,N=AB×A’B’三点共线.

图13 Oe¥arguCS定理

证明利用Menelaus定理(如图13),有

在ASBC中,由L,C’,B’共线,得
说~们 凹一吣 掣一腓 = 一 (7)

在ASCA中,由M,彳7,C’共线,得
伽~蚴 削一们 ∥一∞ = 一 ● ■●I
(8)

在ASAB中,由N,B’,彳7共线,得
丛NB・筹B・筹A叫.
’s tA
(9)

以上式(7)(8)(9)左右分别相乘,得

~・一=一I.
BL

三C
CM
MA
AN
NB

故对鲋BC,利用Menelaus定理,得证厶M,N---删.
5.3 Pascal定理的证明

Pascal定理(关于圆的情形) 若六角形彳B唧内接于一个圆,则它的三对对应顶
点的连线的交点三=AB x DE,M=BCx EF,N:CD×尉三点共线.


图14 PaStal定理关于圆的情形

在aeQR中,利用Menelaus定理,有

QM RB PC .

(10)
由M,B,C共线,得
MR BP CQ

QE RL PD
(11)

由E,厶D共线,得
ER LP DQ

OF RA PN
(tz)

由F,4,Ⅳ共线,得
FR AP NQ

以上式(10)(11)(12)左右分别相乘,利用圆的割线定理和相交弦定理推得的结论
RB RE PD PA QE QD
一=一一=~一一=一.
RF RA PB

PC QC QF

可化简得

丝.丝.一PN:一1.
MR hQ LP

由Menelaus定理,得证三,必,Ⅳ三点共线.

注上述定理为关于圆的情形,若将条件中“圆”改为“二次曲线”时,定理仍然成立,但上述

证明方法已不适用.

6三个重要定理的推广与应用
6.1 Pappus定理的推广
Pappus定理可推广为平面上六点共线的情形:

定理1(Pappus定理的推广) 在射影平面上,若4,蜀,Cl,日和4,垦,C2,岛分别为

10
6三个重要定理的推广与应用

两条直线‘,乞上的两组点,P=4岛×4垦,Q=4C2×4Cl,M=4D2×4B,

R=最C2×岛cl,s=最D2×马Dl,T=ClD2×C2D1(如图iS),则P,Q,M,R,S,丁六点共线的

充要条件是4,墨,Cl,Dl和4,垦,C2,D2成透视对应.

图15 Pappu¥定理的推广

证明 (必要性)设‘×乞=0.由于P,Q,M三点共线,则有

4(4,马,G,q)天4(4,忍,C2,D2).

而4(4,且,Cl,D1)天(4,尽,Cl,D1),

4(4,垦,C2,D2)天(4,岛,C2,砬),

从而有

(4,E,Cl,q)天(4,岛,C2,D2).

又由于以上两射影对应点列底的交点O自对应,故有

(D,4,墨,Cl,D1)天(o,4,岛,C2,D2). (13)

同样,设砬Rב=互,DlR×之=易,由于点M,R,S,T共线,有

皿(4,巨,旦,q,D1)天Dl(4,易,岛,C2,砬).

D2(4,置,骂,Cl,DI)天(4,巨,且,Cl,D1),

日(4,易,岛,C2,D2)天(4,置,岛,C2,D2),
从而有

(4,巨,且,Cl,D1)天(4,岛,垦,c2,D2)

又由于以上两射影对应点列底的交点0自对应,故有
塑!!查堂堡主兰垡堡奎——
-I_______l-I-__—_____l___--_-—●-—--_-_-_-l-_——_——_-●———___—————————————————一

(4,五,尽,C1,q)天(4,易,岛,C2,D2) (14)

由上述(12)(13)两式可知,两对透视对应点列至少有三对对应点相同,所以它们是

同一个透视对应,即点组4,且,Cl,日和点组4,展,C2,02成透视对应.

(充分性)由Pappus定理,对于直线‘,如上的点4,晟,Cl和4,垦,C2,可得交点

尸,Q,R共线;对于点4,尽,01和4,B,D2,可得交点P,M,S共线;对于点4,Cl,q和

4,C2,D2,可得交点Q,M,r共线.

已知 (4,垦,C1,D1)天(4,岛,C2,02),

(4,最,c1,B)天4(4,骂,Cl,D1),

(4,B,c2,D2)天4(4,垦,C2,02),

从而有

4(4,且,Ct,D1)天4(4,垦,C2,02).

又由于以上两射影对应线束顶点的连线44自对应,故有

4(4,且,Cl,q)天4(4,岛,C2,D2).

从而知它们对应直线的交点P,Q,肘共线,又由上知户,Q,R共线:P,M,S共线:Q,M,T共

线,故得证P,Q,M,R,S,丁六点共线.

这个定理可作如下进一步的推广:

推论 在射影平面上,若4,且,Cl,q,…和4,垦,C2,D2,…分别为两条直线上的两

组点,则其中每组中每一个点向另一组中对应点外的点的连线所构成的线束的交点共线

的充要条件是这两组点成透视对应.

此推论的证明由上述定理易得,此处从略.

6.2 Desargues定理的推广
6.2.1 Desargues定理关于四面体的推广

从对偶的角度看,三点形与三线形是二维射影几何中的自对偶图形,成立Desargues

定理及Desargues逆定理(也是Desargues定理的对偶定理),注意到四面体是三维射影几

何的自对偶图形,故我们很自然地想到将Desargues定理和Menelaus定理在空间中关于

四面体作一些推广,可得:

定理2(Desargues定理的推广之一) 在三维射影空间中,若两个四面体ABCD与

12
6三个重要定理的推广与应用

A,B,C'D,对应顶点的连线交于一点0,则其对应侧面的交线‘,之,毛,14共面(如图16).

图l 6 Desargues定理的推广

证明 对于侧面ABC与A~B C’,设ABx A~B=置,BCx B’C’=£,CAx C'A’=E.由

Desargues定理,可知点日,只,B均在直线厶上. ,

同理可知点足,只,忍均在直线如上,点B,只,尼均在直线毛上,点丑,只,只均在直线‘

上.

由上即得到,对应侧面的四条交线两两相交构成一个完全四线形,两个四面体对应

棱的交点正好是这个完全四线形的六个顶点,所以直线‘,乞,厶,厶是共面的,定理得证.

由于四面体是三维射影几何的自对偶图形,则由对偶原理易得定理2的对偶定理:
定理27 在三维射影空间中,若两个四面体对应侧面的交线共面,则其对应顶点的
连线交于一点.

6.2.2 Desargues定理关于完全以点形(体)的推广

将三维射影空间中关于四面体的Desargues定理(定理2)进一步推广为关于三维射
影空间中的完全刀点形(体),可得到:

定理3(Desargues定理的推广之二) 在三维射影空间中,若两个完全忍点形(体)的
湖北大学硕士学位论文

对应顶点连线交于一点,且有相应的一对对应简单刀点形(体)有@.1)对对应面的交线在

一个平面上,则这两个完全,z点形(体)其余的对应面的交线也在这个平面上.

证明 设两个完全刀点形(体)的顶点分别为互,最,…,£和互’,足’,…,g,对应顶点连

线弓暑’,最£’,…,£g交于点0.

不失一般性,假定它们相应的一对对应的简单玎点形(体)为丑昱…£和岛’昱’…只,

它们的(以-1)对对应面墨£B和墨’只’g,罡忍只和£7职’,…,£一:£一。£和
鼍:最。巧,£一。£片和群。铂7的交线共于平面万.以下证明这两个完全刀点形(体)其余对
应面的交线也在万上.

首先考虑四面体墨忍B只和丑’昱’粥’,由于它们对应顶点的连线交于点0,由定理2
知,它们的对应面#昱B和最7罡79,EB只和£’g只’,£只日和粥7日’,只日£和只’眉置’的
交线共面.但由已知,墨昱B和墨7最’g,£E只和£’职’的交线在平面万上,故四对对应
面的交线共于平面万.

用这种方法顺序考虑四面体卑B只只和置’职’忍’,丑只忍忍和
置7只’只’层,…,最£一:只一,只和只’《2鼍;只,容易得出各对四面体中对应面交线在平面//"
上.

利用上面结果,顺序考虑四面体名B只只和日’躺7E’,与忍忍忍和
日’县’忍’岩, …, 弓£只一。£和丑’僻。巧, 名BE忍和日’B7忍7岩, 丑B忍另和

露7E’忍’弓,…,暑E£一。乞和#’g鼍。巧,…,墨e一。只一。£和丑’鼍,最。弓,可证得各对四面体的

对应面交线在万上,从而这两个完全栉点形(体)过一对对应顶点暑和墨’的所有对应面的

交线在平面万上.

同理可证,通过其它对应顶点的对应面交线也在平面n-I-,定理得证.

6.3 Menelaus定理的推广

以下我们仅讨论Menelaus定理在三维射影空间的推广.

定理4(Menelaus定理的推广) 设在四面体ABCD的四条棱上各取一点
P,Q,M,Ⅳ(如图17),则此四面体共面的充要条件是

14
一...—二=・一=1
。 AP Bo CM DN .

PB QC MD NA

(此处条件中的等式中仅考虑线段的长度而不考虑线段的方向).
.tt



马 1,/
C i /, 4


图l了Menel a LLs定理的推广 图1 8平面PQM门白勺垂线

(必要性)过顶点A,B,C,D分别作平面?QMN的垂线,垂足分别是

(如图18).连结48l,则点P在直线48l上,由Rf出弛P∽Rt衄M',有

AP一似
一=———‘.
PB BBI

同理可得

召D BB, CM co,DN DD!


—二=—o.一=—‘.一=—。。
pC co,。MD DDI‘NA 似
因此有

BQ CM DN
一・————=-…一=—————:-・—————-・——————二-・—-————;-=1.
么P AA,BB,CO,DD, .

PB QC MD NA够cc,DDl他
(充分性)设过点Q,M,Ⅳ的平面与棱AB交于点丑,则由必要性可知

彳互BQ CM DN,
e,8 QC MD NA

又篙・器・器・筹-1,比较两式有
AE AP
——‘=——一‘
#B PB

因此,点P与置重合,所以点尸,Q,M,Ⅳ共面.

以下略举一例,来说明Menelaus定理之推广定理的应用.

例 设四面体ABCD的一组对棱AB,CD的中点为E,F,则过职的任一平面将四
面体恒分成等体积的两部分.
图l 9分四面体为等体积的两部分

证明 (1)过点E和直线CD作平面(如图19),线段4B被平面ECD平分,则A,B两

点到平面ECD的距离相等,由此知四面体ABCD被平面ECD分成两个有公共底面ECD

的四面体,且A,B到此底面上的高相等,故体积相等.

(2)过凹的任一平面交四面体的棱于E,F,G,日四点(如图19).不妨设
DH:HA=m:刀,则由Menelaus定理的推广定理知

……一21.
AE

EB
BG

Gc
CF

FD
DH
HA


E,F为所在棱的中点,故面BG・im=1,因此有嚣=景,所以三棱锥E—G凹的体
积为

%瑚F=三‰。%=三‘夏丽m。・%∞,j1‘%
==一’l一・I、.…・n—l=一y.…
—m丽・睁‰・%)=—m4(m
+刀)L3 4(m丽圪一肋
凹。“
。/ +刀)以一。Lu

同理有

%一。砺m丽%一,
因此%.-C配F=%-HFD.所以

‰珊=巧一肋_2l V_一肋,

即平面EGFH将四面体分成等体积的两部分.

16
7结束语

7结束语
Menelaus定理、Ceva定理、Desargues定理、Pappus定理、Pascal定理和Brianchon

定理等,都是射影几何中重要而著名的定理,它们是研究平面和空间几何中点共线或线

共点等问题的有力工具.本文以上对上述重要定理之间的关系作了一些探索,先是以关

于平面三角形的情形,探讨了Ceva定理和Desargues定理的一致性,分析研究了Menelaus

定理和Ceva定理的统一性,同时给出这两个定理的统一形式——-M.C定理,说明了

Menelaus定理和Ceva定理是M.C定理的特殊情形,并揭示了M.C定理与Pascal定理和

Brianchon定理(包括退化情形)之间的内在联系;接着,利用Menelaus定理,对Pappus定

理、Desargues定理和Pascal定理(关于圆的情形)进行了统一形式的证明,此过程进一步

说明这些重要定理之间联系紧密,也体现了Menelaus定理在证明平面和空间点共线与线

共点问题中的重要地位与作用;最后,我们对Pappus定理、Desargues定理和Menelaus

定理作了一定的推广,其中Desargues定理在三维射影空间中就四面体和完全力点形(体)

作了两种形式的推广,Menelaus定理仅在三维射影空间中作了一定的推广,并举例说明

了推广定理的应用.

通过对射影几何中几个重要定理关系的思考与探索,我们揭示了这些定理之间的内

在联系,让我们领会到传统几何学的许多内容,还有待于我们去进一步地认识和思考.我

们相信,对其展开研究,必将推动上述著名定理的诸多美妙结果的推广与应用.+

17
湖北大学硕士学位论文

参考文献
【1】梅向明,刘增贤,林向岩.高等几何【M】.北京:高等教育出版社,1983
[2】U.M.亚格龙.几何变换3【M】.第三版.章学成译.北京:北京大学出版社,1987
【3】朱德祥.初等几何研究[M】.北京:高等教育出版社,1985
【4]赵卫东.梅涅劳斯定理的推广及应用【J】.咸宁师专学报,2001,21(3):107—109
【5】洪凰翔,杨利民.四面体中的Menelaus定理【J】.中学数学,1999,(7):46.47
【6】徐芝梅,马俊华.梅涅劳斯定理在空间的推广及应用[J】.中学数学月刊,1998,(7):
31・32

【7】朱家海.梅涅劳斯定理的变形在解竞赛题中的应用【J】.中学数学教学参考,1996,(6):
45.46

【8】何庆奎.立体几何的共点、共线、共面问题【J】.数理化解题研究,2007,(3):1
[9】黄炜.与三角形有关的三线共点问题[J】.中小学数学,2004,(12):15-17
[10】高德龙,茹双林.与三角形的高相关的多线共点问题叨.中学教研,2004,(12):
26.29

【1l】齐海平.解读新课程中的三点共线问题[J】.中小学数学,2007,(3):22.23
【12】考克塞特,等.几何学的新探索[MI.陈维桓译.北京:北京大学出版社,1986:
19.20

[13】秦元勋.几何学通论[M】.上海:商务印书馆,1959:38.39
【14】解恩泽等.数学思想方法[M】.山东:山东教育出版社,1989:192.193
[15】高巧琴,雏志江.高等几何在初等几何中的作m EJ].雁北师范学院学报,2004,20(2):
53・55

[16】廖小勇.Menelaus定理的矢量证明及其应用[f1.曲靖师范学院学报,2003,22(6):
29.3l

【17】宋占奎.Desargues命题的应用[J】.四)11理I学院学报,2005,18(3):91.93
【18】宋占奎.Pascal命题和Brianchon命题在解题中的应用【J】.吉林化工学院学报,2005,
22(2):75-77

[191曾建国,曹新。闭折线中的Ceva定理[J】.江西赣南师范学院学报,2005,(9):49
[20】何小玲,张青山.Menelaus定理在n维空间中的一个推广[J】.四川职业技术学院学
报,2003,(3):106

[211宣满友,范建琴.巴卜斯定理的向量证法与六点共线问题【J】.数学通报,2003,(3):
25

[22】徐颖,胡岩伟。梅涅劳斯定理和塞瓦定理的应用【J】.高师理科学刊,2001,21(1):
7.11

[231陈斌.梅涅劳斯定理和锡瓦定理的一种改进阴.昭通师范高等专科学校学报,
2002,(2):11—13

[241邢妍,李祥.Desargues定理及其应用叨.保山师专学报,2004,(2):17.20

18
参考文献

【25】喻德生.Brianchon定理在二次曲线外切2n边形中的推广【J】.数学的实践与认识,
2007,37(13):109—113
[26】梁碧珍.代沙格定理证明的进一步探讨叨.广西民族学院学报(自然科学版),2001,
(3):11—14
[27】王好荣.几个重要定理的思考叨.咸阳师专学报,1994,(4):10—15
[28】黄乾辉.Desargues定理的再推广【J】.惠州大学学报,1998,18(4):20.23
【29】Gray J..Poincare and klein-Groups and Geometries.1 830.1 930 A Century of Geometry:

Epistemology,History and Mathematics[M].Berlin-NewYork:Springer-Verlag,1 992:


35.43

[30】Kolmogorov A.N.,Yushkevich A.E.Mathematics of the 1 9th Century[M].Basel:


Birkhuser Verlag,1 996:36

【3 1】Qian T,et a1.Proceedings of Trends in Mathematics:Advances in Analysis and


Geometry[M].Basel:Birkhauser,2004:345—363
【32】Ayres.F.Theory and problems of projeetive geometry[M].New York:McGraw-Hill,
1967

[33】Dubrovin B.A,Fomenko A.T.,and Novikov S.P.Modem Geometry.Methods and

Applications[M].Part I.The Geometry of Surfaces Transformation


Groups and Fields,
1992

[34】黄化宇.也谈巴卜斯命题的有关问题【J】.赣南师范学院学报,2004,(4):14.15
[35】徐天长.射影几何课程中的基本数学思想[J】.庆师范学院学报(自然科学版),j 2001,

(3):32—34

【36]李彩凤.关于射影几何教学的几点探讨[J】-中国科技信息,2007,(6):226.227
【37]廖小勇,库敏.Desargues定理的构图及应用[J】.荆门职业技术学院学报,2003,(6):
4.6

【38]徐光元.高等几何中共点线(共线点)问题的证明[J】.兵团教育学院学报,2001,(3):
93.95

【39】车明刚.射影几何中点共线、线共点问题证明方法探析[J】.保山师专学报,2006,
25(5):48-49

[40】徐天长.仿射变换在初等几何中的应用[J】.安庆师范学院学报(自然科学版),2003,

19
湖北大学硕士学位论文

致 谢

+值此论文完成之际,谨向导师李光汉教授致以崇高的敬意和衷心的感谢.导师严谨

求实的治学态度、渊博的学术知识和对事业不懈追求的精神将使我终生受益.

本文的研究工作是在导师的悉心指导下完成的,从论文选题、研究思路确定以及最

终定稿的整个研究过程都倾注了李光汉教授大量的心血.在此,作者谨向导师表示真诚

的感谢和敬意.

感谢湖北大学数学与计算机科学学院领导和老师,他们在我读研期间给予我很多学

习上的鼓励与帮助.

感谢一起求学的同学张忠诚、库在强、吴卫兵等,在撰写论文期间,他们给我很多思

想的启示.

感谢各位专家教授在百忙之中评阅此论文,敬请批评指正!
射影几何几个重要定理关系的研究
作者: 廖小勇
学位授予单位: 湖北大学

本文链接:http://d.g.wanfangdata.com.cn/Thesis_Y1379090.aspx

You might also like