全球专业中文经管百科,由121,994位网友共同编写而成,共计436,015个条目

笛沙格定理

用手机看条目

出自 MBA智库百科(https://wiki.mbalib.com/)

笛沙格定理(Desargues's theorem)

目錄

什麼是笛沙格定理

  笛沙格定理說明:在射影空間中,有六點A,B,C,a,b,c。Aa,Bb,C,c共點若且唯若AB∩ab,BC∩bc,CA∩ca共線。

  在射影幾何的對偶性來看,笛沙格定理是自對偶的。

笛沙格定理的證明

  笛沙格定理可以表述如下:

  如果A.a,B.b,C.c共點,則

  (A.B)∩(a.b),(A.C)∩(a.c),(B.C)∩(b.c)共線。

  利用向量積、數量積和三重積,笛沙格定理也可以表述為:

  如果

  \langle A \times a, B \times b, C \times c\rangle = 0

  那麼

  \langle (A \times B) \times (a \times b), (A \times C) \times (a \times c), (B \times C) \times (b \times c)\rangle = 0.

第一個重述

  向量三重積

  X \times (Y \times Z)

  等於

  Y (X \cdot Z) - Z (X \cdot Y),

  我們便可以推出以下的公式

  (X \times Y) \times (Z \times W) = \langle X,Y,W\rangle Z - \langle X,Y,Z\rangle W.

  從這個公式中,我們可以進一步推出以下的恆等式:

  \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.

  利用這個恆等式,笛沙格定理就可以重述為:

  如果

  \langle B,b,c\rangle \langle A,a,C\rangle = \langle B,b,C\rangle \langle A,a,c\rangle

  那麼

  \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.

第二個重述

  把第一個重述的後件再應用上面的恆等式,把三重積交換,並把每一個三重積中的向量進行迴圈置換,我們便得到第二個重述:

  如果

  \langle A,a,c\rangle \langle b,B,C\rangle = \langle a,A,C\rangle \langle B,b,c\rangle

  那麼

  \langle C,a,c\rangle \langle b,A,B\rangle = \langle c,A,C\rangle \langle B,a,b\rangle.

  註意後件的左端可以從前件的左端通過變數代換A→C,B→A,C→B得到。後件的右端也可以從前件的右端通過變數代換a→c,b→a,c→b得到。

第三個重述

  向量分析中的一個定理說明,兩個標量三重積的乘積等於以下矩陣的行列式

  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|.

  把這個定理應用於第二個重述,便得到第三個重述:

  如果

  \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|

  那麼

  \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|.

第四個重述

  把第三個重述中的行列式展開,便得到第四個重述:

  如果

  (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)

  - (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)

  = (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)

  - (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)

  那麼

  (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)

  - (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)

  = (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)

  - (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).

第五個重述

  第四個重述的兩個方程(前件和後件)的兩端的第一項和第五項都互相抵消,便得到第五個重述:

  如果

  (A \cdot C) (B \cdot c) (a \cdot b) + (A \cdot B) (C \cdot a) (b \cdot c)

  - (A \cdot b) (B \cdot c) (C \cdot a) - (A \cdot C) (B \cdot a) (b \cdot c)

  = (A \cdot B) (C \cdot b) (a \cdot c) + (A \cdot c) (B \cdot C) (a \cdot b)

  - (A \cdot c) (B \cdot a) (C \cdot b) - (A \cdot b) (B \cdot C) (a \cdot c)

  那麼

  (A \cdot c) (B \cdot C) (a \cdot b) + (A \cdot C) (B \cdot a) (b \cdot c)

  - (A \cdot c) (B \cdot a) (C \cdot b) - (A \cdot C) (B \cdot c) (a \cdot b)

  = (A \cdot B) (C \cdot a) (b \cdot c) + (A \cdot b) (B \cdot C) (a \cdot c)

  - (A \cdot b) (B \cdot c) (C \cdot a) - (A \cdot B) (C \cdot b) (a \cdot c).

第六個重述

  在第五個重述的兩個方程之間有八個不同的項;每一個項都出現了兩次。把這些項記為:

  t_1 = (A \cdot C) (B \cdot c) (a \cdot b),

  t_2 = (A \cdot B) (C \cdot a) (b \cdot c),

  t_3 = (A \cdot b) (B \cdot c) (C \cdot a),

  t_4 = (A \cdot C) (B \cdot a) (b \cdot c),

  t_5 = (A \cdot B) (C \cdot b) (a \cdot c),

  t_6 = (A \cdot c) (B \cdot C) (a \cdot b),

  t_7 = (A \cdot c) (B \cdot a) (C \cdot b),

  t_8 = (A \cdot b) (B \cdot C) (a \cdot c).

  於是我們得到第六個重述:

  如果t1 + t2t3t4 = t5 + t6t7t8,

  那麼t6 + t4t7t1 = t2 + t8t3t5.

第七個重述

  把前件的右端的項移到左端,再把後件的左端的項移到右端,便得到:

  如果t1 + t2t3t4t5t6 + t7 + t8 = 0,那麼

  0 = t1 + t2t3t4t5t6 + t7 + t8.

  這裡可以看出,前件與後件是相同的,因此便證明瞭笛沙格定理。

笛沙格定理的引申

  笛沙格定理可以簡單描述為笛沙格圖形 ABCSA'B'C'的形式, A,B,CA',B',C'是三對對應點,S是三對對應點連線的交點.

  笛沙格定理還可以進行向高維空間的引申, 其引申形式對應的笛沙格圖形為ABCDSA'B'C'D', 或者ABCDESA'B'C'D'E', 乃至更高維數的笛沙格圖形.

  三維空間里的ABCDSA'B'C'D'形式的笛沙格定理最有實用價值. 這時,ABCDA'B'C'D'必須都是四面體, 或至少其中一個是四面體, 另一個為完全四點形; 它們對應線的(組合數C_{n+1}^{2}, n = 3, 共6個)交點, 也由ABCSA'B'C'情況下的共線, 擴展為三維時的共面, 或更一般意義下的"共超平面".

  基於齊次坐標表示形式對笛沙格定理進行的解析證明是向高維空間作引申時最為簡明方便的證明方式.

  根據引申的笛沙格定理和基於齊次坐標的表示而定義的幾何變換空間透射其定義涵蓋了理論圖形學中的中心投影,平行投影,平移,反射,位似等幾何變換, 並且可以證明其變換矩陣和矩陣計算理論中的初等矩陣實際上是等價的集合. 該幾何變換的意義主要在於, 圖形學理論中重要的幾何變換或者投影變換的定義及其繫數矩陣的確定可以通過獨立於坐標系選擇的方式進行, 更加簡明和具有一般性意義.

本條目對我有幫助5
MBA智库APP

扫一扫,下载MBA智库APP

分享到:
  如果您認為本條目還有待完善,需要補充新內容或修改錯誤內容,請編輯條目投訴舉報

本条目由以下用户参与贡献

Tracy.

評論(共0條)

提示:評論內容為網友針對條目"笛沙格定理"展開的討論,與本站觀點立場無關。

發表評論請文明上網,理性發言並遵守有關規定。

打开APP

以上内容根据网友推荐自动排序生成

下载APP

闽公网安备 35020302032707号