数学联邦政治世界观
超小超大

笛沙格对合定理简证

本文将对射影几何的一个基本定理——笛沙格对合定理做一个介绍。

定理内容:

对于平面内给定的无三点共线的四点,确定了一个二次曲线的四点形束(包括退化的和非退化的),称每一个过这四点的二次曲线(退化的和非退化的)为一个元素,一不过这四个点中任何一个点的直线与任意元素的两个交点为同一个对合的对应点,特别地若交点重合则为对合的一个不动点。

接下来做一个证明:

先从完全四点形开始,这个定理的弱化形式,即一直线与完全四点形的三对对边的三对交点为一对合的三对对应点。(每一对对边即一个退化的二次曲线,也是四点形束中的一个基元素)

如图 ,完全四点形ABCD,一直线(橙色)MK交其三对对边于M,N J,K L,O三对交点则这三对交点属于同一对合的三对对应点。

由对合的定义,要证此结论只需证(LO,NJ)=(OL,MK)即可。

注意到点列L,O,N,J与点列E,O,C,A关于D透视而E,O,C,A与L,O,K,M关于B透视,于是有(LO,NJ)=(EO,CA)=(LO,KM)=(OL,MK)。证毕。

接下来把这个性质推广到非退化的二次曲线上。

如图,二次曲线GFIHP是四点形束GFIH中的任意一个元素,直线SU交完全四点形及此非退化二次曲线于S,R T,U Q,P三对交点(当然和FH,GI也有两个交点,图中未画出。) 由于对合由两对对应点唯一决定,而我们已经知道,S,R 和 T,U是对合中的两对对应点了,于是要证明PQ也是这个对合中的一对对应点只要证(SU,QP)=(RT,PQ).

而(SU,QP)=I(SU,QP)=I(FH,QP),由二次点列性质可知I(FH,QP)=G(FH,QP),而线束G(F,H,Q,P)与点列(T,R,Q,P)透视,于是G(FH,QP)=(TR,QP) 。故(SU,QP)=(TR,QP)=(RT,PQ) 证毕。

特别地如果直线过对边的交点中的任意一个(L或,K,或J)那么它将对应到自身,也就是说它是这个对合的一个不变元素。

更特殊地,如果直线过其中两个交点,这个时候这条直线是对边三点形也就是自极三点形的一条边,这两个交点就是对合的两个不动点,它们调和分离其他的对应元素,这就变成了完全四点形的调和性质,和极线的调和性。

利用对偶原理还可以将此定理变为其对偶形式——完全四线形外切于二次曲线,过不在任意一条边上的点P做两条切线,并与完全四线形三对对顶相连,所得到的四对直线是以P为中心的对合线束的四对对应直线。

添加一个代数法的证明

我们知道平面内两条非退化二次曲线一般有四个交点

设两条二次曲线Γ₁:S₁≡XᵀAX=0,Γ₂:S₂≡XᵀBX=0相交于四个点,则由Γ₁,Γ₂确定了一个二次曲线束:S≡Xᵀ(A+tB)X=0,t∈R∪{∞}

设一直线l(不过四个交点中的任何一个)与Γ₁交于两点P,Q,则存在λ使得l上任意一点M=P+λQ,考察l与二次曲线束中的元素的两交点,则它们的参数应满足:

(P+λQ)ᵀ(A+tB)(P+λQ)=0即:

λ²Qᵀ(A+tB)Q+2λPᵀ(A+tB)Q+Pᵀ(A+tB)P=0这是关于λ的一元二次方程,则

λ₁λ₂=Pᵀ(A+tB)P/Qᵀ(A+tB)Q=PᵀBP/QᵀBQ (常数),因为l不过Γ₁Γ₂的公共点,故PᵀBP/QᵀBQ ≠ 0,故λ₁,λ₂符合对合方程,因此l与曲线束的交点对是同一对合的对应点对。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

团宠:有五个不熟悉的哥哥怎么办? 连载中
团宠:有五个不熟悉的哥哥怎么办?
悦雪风吟
作为一个身体不好的小孩子,爸妈为了让她养好身体,带她回到了山上的奶奶家,与奶奶父母一起生活,彼时大哥已经完全有能力接管公司,父母便安心照顾她......
1.2万字2周前
血之海 连载中
血之海
笔墨sty
台风之爱恨,两界之种种事--水与火,可以相容
3.5万字2周前
默祈 连载中
默祈
古灵精怪爱丽丝
父母被怪物害死的小默羽拼了命逃到教堂保住了性命,成为了看守神明法宝的一位小咯咯。但有一天,宝物意外失踪了,而所有的一切罪责和嫌疑都纷纷指向了......
1.0万字1周前
相遇和你 连载中
相遇和你
樱三
李云天为天玄宗立下了汗马功劳,原本是天玄宗宗主继承人,却没想到被宗门弟子嫉妒惨遭暗算,迫不得已打开了异世界的通道,将自己元神分离进入了这个异......
4.2万字3天前
雾灵念学院 连载中
雾灵念学院
雪酷
全职猎人的现象系番外,没有特定的主角
1.3万字3天前
白梓萱与王静 连载中
白梓萱与王静
白梓萱54341348
“东关小学就像那五只小羊一样,快乐,幸福,美丽”“只有露西,并不像只小羊”“东关小学又是一个美丽团结的羊村”“善良团结”“有时候村里也可能混......
0.2万字2天前