直线与平面垂直判定定理的另一证法.docxVIP

直线与平面垂直判定定理的另一证法 证明: 设∣(AB)^( CD)∣ ≥ 0 説明 AB与 CD 垂直 设A（a1，a2，a3）,B（b1，b2，b3）,C（c1，c2，c3）,D（d1，d2，d3）△ABC 为平面，△ABCD 为凸四面体 ∴AB·CD 可表示为 AB·CD = (b1-a1，b2-a2，b3-a3)·(d1-c1，d2-c2，d3-c3) 现将AB·CD 等式中双边同时乘以AC·AD，可得 经由进行折叠又可得 [(b1-a1)(c1-a1)+(b2-a2)(c2-a2)+(b3-a3)(c3-a3)][(d1-c1)(d1-c1)+(d2-c2)(d2-c2)+(d3-c3)(d3-c3)] 故有 AB·CD·AC·AD = 0 令 △ABCD 为具有正体积的凸四面体, 由于v(△ABCD)=AC·AD·(AB^CD) 即 AB·CD≥0 即 AB 与 CD 垂直 因此, 本文证明原始定理.