迷向直線(isotropic line)亦稱極小直線,是射影幾何的基本概念之一。指通過虛圓點的任意虛直線,迷向直線與無窮遠(yuǎn)直線的交點一定是虛圓點。迷向直線構(gòu)成以點(1,i,0)或(1,-i,0)為中心的平行直線束,其斜率分別為i或-i,通過平面內(nèi)任一有窮點有兩條迷向直線,分別屬于這兩個直線束。迷向直線具有下列性質(zhì):1.虛直線是迷向直線的充分必要條件是它上面任意兩個不同的有窮點的距離是零;2.一條迷向直線與另一條直線的交角是不定的1。
基本介紹定義定理1 平面內(nèi)任何一圓通過無窮遠(yuǎn)直線上兩個固定的共軛虛點。
定理2 通過兩點和
的常態(tài)二次曲線一定是圓(定理1的逆定理)。
定義1 圓與無窮遠(yuǎn)直線的交點,稱為平面上的圓點。
顯然,兩圓點的線坐標(biāo)方程為或
。
定義2 過平面內(nèi)任意一點至兩點的兩條直線,稱為該點的迷向直線(極小直線)2。
由定義可知,平面內(nèi)任一點都有兩條迷向直線,因而,平面內(nèi)所有的點的迷向直線構(gòu)成以為中心的兩個平行線束。因此,平面內(nèi)只有兩個迷向方向。當(dāng)然它們都是虛直線,實際上是畫不出來的。
分類以k為斜率的直線上的無窮遠(yuǎn)點的坐標(biāo)是由此可知,兩條迷向直線的斜率分別為
和
,所以迷向直線的方程分別為
從而迷向方向分為兩類,一類是斜率是的,另一類是
的2。
相關(guān)定理定理3每一條迷向直線與任意一條直線的交角是不確定的2。
證明:(1)設(shè)有兩條同類迷向直線,它們的斜率同為
(或
),則
。由兩條直線的交角公式
得知
是不定的(
)。
(2) 設(shè)有一條迷向直線,斜率為,另一條是不同類的迷向直線或不是迷向直線,斜率為
(
),則由交角公式得
從而有
即
不論
為實數(shù)或復(fù)數(shù),應(yīng)用歐拉公式,則
設(shè)
(
為實數(shù)),即有
對于一切
,右端不可能為零,即
均不存在,故
不存在。所以交角是不定的。
從定理3知,迷向直線的方向不能用角度表示,只能用斜率來表示。
定理4 (拉格爾Laguerre,1834-1886)設(shè)兩條非迷向直線的交角為,這兩條直線與過其交點的兩條以
為斜率的迷向直線所成的交比為
,則在對數(shù)函數(shù)的主值范圍內(nèi)必有
定理5兩條非迷向直線垂直的充要條件是這兩條直線被過交點的兩條迷向直線調(diào)和共軛2。
本詞條內(nèi)容貢獻(xiàn)者為:
尚華娟 - 副教授 - 上海財經(jīng)大學(xué)