笛沙格定理
笛沙格定理(英語:Desargues's theorem)說明:在射影空間中,有六點A、B、C、a、b、c。Aa、Bb、Cc共點若且唯若AB∩ab、BC∩bc、CA∩ca共線。
在射影幾何的對偶性來看,笛沙格定理是自對偶的。
證明
笛沙格定理可以表述如下:
- 如果A.a,B.b,C.c共點,則
- (A.B)∩(a.b),(A.C)∩(a.c),(B.C)∩(b.c)共線。
利用向量積、數量積和三重積,笛沙格定理也可以表述為:
如果
![{\displaystyle \langle A\times a,B\times b,C\times c\rangle =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b72843e3eb9033addb161e354e93683d1e96bff)
那麼
![{\displaystyle \langle (A\times B)\times (a\times b),(A\times C)\times (a\times c),(B\times C)\times (b\times c)\rangle =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a64f884c65bc3868d5d07d47b3724da2b114f0a)
第一個重述
向量三重積
![{\displaystyle X\times (Y\times Z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dabba4a89fa177de263c49b90217b036174e8e2b)
等於
![{\displaystyle Y(X\cdot Z)-Z(X\cdot Y),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96913a797115cda603ae5524fdb74fd44ba29870)
我們便可以推出以下的公式:
![{\displaystyle (X\times Y)\times (Z\times W)=\langle X,Y,W\rangle Z-\langle X,Y,Z\rangle W.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cdcc0880dc1733d249b6eb7759aad97625b88a7)
從這個公式中,我們可以進一步推出以下的恆等式:
![{\displaystyle \langle U\times V,W\times X,Y\times Z\rangle =\langle W,X,Z\rangle \langle U,V,Y\rangle -\langle W,X,Y\rangle \langle U,V,Z\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3258a80715ea93828b995566f60c8a9180b71281)
利用這個恆等式,笛沙格定理就可以重述為:
如果
![{\displaystyle \langle B,b,c\rangle \langle A,a,C\rangle =\langle B,b,C\rangle \langle A,a,c\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b1dd9c93aa10e009df1bc4e98d5c9f1e2b5d9e3)
那麼
![{\displaystyle \langle A\times C,a\times c,b\times c\rangle \langle A\times B,a\times b,B\times C\rangle =\langle A\times C,a\times c,B\times C\rangle \langle A\times B,a\times b,b\times c\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/029793c22f3be36704e8513be9650067ce16af68)
第二個重述
把第一個重述的後件再應用上面的恆等式,把三重積交換,並把每一個三重積中的向量進行循環置換,我們便得到第二個重述:
如果
![{\displaystyle \langle A,a,c\rangle \langle b,B,C\rangle =\langle a,A,C\rangle \langle B,b,c\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ff446f722c224c82c2343b11e0abd9d046409bd)
那麼
![{\displaystyle \langle C,a,c\rangle \langle b,A,B\rangle =\langle c,A,C\rangle \langle B,a,b\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88a5d871af16070adfb52922ad73cb00ee6624ee)
注意後件的左端可以從前件的左端通過變量代換A→C,B→A,C→B得到。後件的右端也可以從前件的右端通過變量代換a→c,b→a,c→b得到。
第三個重述
向量分析中的一個定理說明,兩個純量三重積的乘積等於以下矩陣的行列式:
![{\displaystyle M_{ij}=u_{i}\cdot v_{j},\qquad \langle u_{1},u_{2},u_{3}\rangle \langle v_{1},v_{2},v_{3}\rangle =|M|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/336c336a1261d531c0cd288eb6acb171b9c73308)
把這個定理應用於第二個重述,便得到第三個重述:
如果
![{\displaystyle \left|{\begin{matrix}A\cdot b&a\cdot b&c\cdot b\\A\cdot B&a\cdot B&c\cdot B\\A\cdot C&a\cdot C&c\cdot C\end{matrix}}\right|=\left|{\begin{matrix}a\cdot B&A\cdot B&C\cdot B\\a\cdot b&A\cdot b&C\cdot b\\a\cdot c&A\cdot c&C\cdot c\end{matrix}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3fbe0af69fdfd5457443425ccc722227893b2c5)
那麼
![{\displaystyle \left|{\begin{matrix}C\cdot b&a\cdot b&c\cdot b\\C\cdot A&a\cdot A&c\cdot A\\C\cdot B&a\cdot B&c\cdot B\end{matrix}}\right|=\left|{\begin{matrix}c\cdot B&A\cdot B&C\cdot B\\c\cdot a&A\cdot a&C\cdot a\\c\cdot b&A\cdot b&C\cdot b\end{matrix}}\right|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f530cd1242566dbdb464dc231eee0cd92e64a00)
第四個重述
把第三個重述中的行列式展開,便得到第四個重述:
如果
![{\displaystyle (A\cdot b)(a\cdot B)(c\cdot C)+(a\cdot b)(c\cdot B)(A\cdot C)+(c\cdot b)(A\cdot B)(a\cdot C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/435785d047f8b11cf4778e65a3adcffb2977fc3b)
![{\displaystyle -(A\cdot b)(c\cdot B)(a\cdot C)-(a\cdot b)(A\cdot B)(c\cdot C)-(c\cdot b)(a\cdot B)(A\cdot C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7b4143c5b386b2db812891270ce111d3c4cd27b)
![{\displaystyle =(a\cdot B)(A\cdot b)(C\cdot c)+(A\cdot B)(C\cdot b)(a\cdot c)+(C\cdot B)(a\cdot b)(A\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2420ad7400129773736e8862f5094189da0fe982)
![{\displaystyle -(a\cdot B)(C\cdot b)(A\cdot c)-(A\cdot B)(a\cdot b)(C\cdot c)-(C\cdot B)(A\cdot b)(a\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aa8dd9eedca8e0e78aa1fc1dc4fd005e6766314)
那麼
![{\displaystyle (C\cdot b)(a\cdot A)(c\cdot B)+(a\cdot b)(c\cdot A)(C\cdot B)+(c\cdot b)(C\cdot A)(a\cdot B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbad61ab086b12857226d5b5aa8f03e1e8ab24e5)
![{\displaystyle -(C\cdot b)(c\cdot A)(a\cdot B)-(a\cdot b)(C\cdot A)(c\cdot B)-(c\cdot b)(a\cdot A)(C\cdot B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/065fe4056b035f4f0a9a42ebb66059a0819180bb)
![{\displaystyle =(c\cdot B)(A\cdot a)(C\cdot b)+(A\cdot B)(C\cdot a)(c\cdot b)+(C\cdot B)(c\cdot a)(A\cdot b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc2a25dc2dc35989836ceb851a7325a108cc20a5)
![{\displaystyle -(c\cdot B)(C\cdot a)(A\cdot b)-(A\cdot B)(c\cdot a)(C\cdot b)-(C\cdot B)(A\cdot a)(c\cdot b).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2db45fc003295f5bd3b58b5bc8d458ffcc8c2de6)
第五個重述
第四個重述的兩個方程(前件和後件)的兩端的第一項和第五項都互相抵消,便得到第五個重述:
如果
![{\displaystyle (A\cdot C)(B\cdot c)(a\cdot b)+(A\cdot B)(C\cdot a)(b\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/690e62f8c53d4fcc9b09489380cedc3aa0e746bc)
![{\displaystyle -(A\cdot b)(B\cdot c)(C\cdot a)-(A\cdot C)(B\cdot a)(b\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38c55de209606e47108f99c590634c72404e84bb)
![{\displaystyle =(A\cdot B)(C\cdot b)(a\cdot c)+(A\cdot c)(B\cdot C)(a\cdot b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b91953c06ce6336cfe3d397bae1197dfbfab7924)
![{\displaystyle -(A\cdot c)(B\cdot a)(C\cdot b)-(A\cdot b)(B\cdot C)(a\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e58d402b7a0f99dbafdadf2ce143950782ea1f2f)
那麼
![{\displaystyle (A\cdot c)(B\cdot C)(a\cdot b)+(A\cdot C)(B\cdot a)(b\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/240268e73d643ff5c0e2e6e412ee1dbf8a9e2dde)
![{\displaystyle -(A\cdot c)(B\cdot a)(C\cdot b)-(A\cdot C)(B\cdot c)(a\cdot b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3abd4e8c18bd61cfeaaa37faac8b065ca3c3216)
![{\displaystyle =(A\cdot B)(C\cdot a)(b\cdot c)+(A\cdot b)(B\cdot C)(a\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64750a0466a190c59574865a701a719f61006d06)
![{\displaystyle -(A\cdot b)(B\cdot c)(C\cdot a)-(A\cdot B)(C\cdot b)(a\cdot c).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cbaf6024bbe6ff76a42c85f87af17f8236e8c99)
第六個重述
在第五個重述的兩個方程之間有八個不同的項;每一個項都出現了兩次。把這些項記為:
![{\displaystyle t_{1}=(A\cdot C)(B\cdot c)(a\cdot b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c249fd07fb39687a5eaa707d6af99dc944ec320f)
![{\displaystyle t_{2}=(A\cdot B)(C\cdot a)(b\cdot c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64b0980ba932508b030cffb325cadabdb183d950)
![{\displaystyle t_{3}=(A\cdot b)(B\cdot c)(C\cdot a),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2eb375d4e3163b93e07be7fd77d634c999edbe8)
![{\displaystyle t_{4}=(A\cdot C)(B\cdot a)(b\cdot c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c7a6284a9be904e6369503adc6de8aa139660f2)
![{\displaystyle t_{5}=(A\cdot B)(C\cdot b)(a\cdot c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1680c6b50f28b965f08a9ba4e3ea6d97f8820315)
![{\displaystyle t_{6}=(A\cdot c)(B\cdot C)(a\cdot b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e4b91f2d8b6addb4beb6f9c6021a405dad2f22a)
![{\displaystyle t_{7}=(A\cdot c)(B\cdot a)(C\cdot b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b30a6a60ac44e5749402bf6ee121f5a0a6d7b684)
![{\displaystyle t_{8}=(A\cdot b)(B\cdot C)(a\cdot c).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9504d5f81221363eaf380dd8ae0f6a4719ab53c8)
於是我們得到第六個重述:
如果
![{\displaystyle t_{1}+t_{2}-t_{3}-t_{4}=t_{5}+t_{6}-t_{7}-t_{8},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07d636965fbc54a2ae51f1977123278bcd09c3d4)
那麼
![{\displaystyle t_{6}+t_{4}-t_{7}-t_{1}=t_{2}+t_{8}-t_{3}-t_{5}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acad7ca72dc9a29ea2427c39ce66710a0e263f61)
第七個重述
把前件的右端的項移到左端,再把後件的左端的項移到右端,便得到:
如果
![{\displaystyle t_{1}+t_{2}-t_{3}-t_{4}-t_{5}-t_{6}+t_{7}+t_{8}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/469cb5ba0fcfeb814cac4b9819bafac5ceaaa9cf)
那麼
![{\displaystyle 0=t_{1}+t_{2}-t_{3}-t_{4}-t_{5}-t_{6}+t_{7}+t_{8}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e09f032d8ad1e893119b311d68cac68b276bb244)
這裡可以看出,前件與後件是相同的,因此便證明了笛沙格定理。
笛沙格定理的引申
笛沙格定理可以簡單描述為笛沙格圖形
的形式,
和
是三對對應點,
是三對對應點連線的交點.
笛沙格定理還可以進行向高維空間的引申, 其引申形式對應的笛沙格圖形為:
, 或者
, 乃至更高維數的笛沙格圖形.
三維空間裡的
形式的笛沙格定理最有實用價值. 這時,
和
必須都是四面體, 或至少其中一個是四面體, 另一個為完全四點形; 它們對應線的(組合數
,
, 共6個)交點, 也由
情況下的共線, 擴展為三維時的共面, 或更一般意義下的"共超平面".
基於齊次坐標表示形式對笛沙格定理進行的解析證明是向高維空間作引申時最為簡明方便的證明方式.
根據引申的笛沙格定理和基於齊次坐標的表示而定義的幾何變換:空間透射(stereohomology), 其定義涵蓋了理論圖形學中的中心投影,平行投影,平移,反射,位似等幾何變換, 並且可以證明其變換矩陣和矩陣計算理論中的初等矩陣實際上是等價的集合. 該幾何變換的意義主要在於, 圖形學理論中重要的幾何變換或者投影變換的定義及其係數矩陣的確定可以通過獨立於坐標系選擇的方式進行, 更加簡明和具有一般性意義.
關於"空間透射stereohomology"的較早的利用笛沙格定理的引申所作的定義, 可以參考:
1. 透視投影研究. 華東理工大學學報(自然科學版). 2000, vol.26, No.2: pp201~205
關於空間透射和初等矩陣的對應關係的總結, 可以參考:
2. 初等矩陣的射影幾何意義及其應用. 自然科學進展. 2005,vol.15,No.9:pp1113-1122
最好是參考英文版的更新: https://arxiv.org/abs/1307.0998 (頁面存檔備份,存於網際網路檔案館)
以及非正式發表的資料:
參見