线面垂直的判定定理证明：判定定理：如果一条直线与平面内两条相交直线都垂直，那么这条直线与这个平面垂直。注意关键词“相交”，如果是平行直线，则无法判定线面垂直。
线面垂直的判定定理证明
判定定理：
如果一条直线与平面内两条相交直线都垂直，那么这条直线与这个平面垂直。
注意关键词“相交”，如果是平行直线，则无法判定线面垂直。需要相交的原因见下文。
反证法：
设有一直线l与面S上两条相交直线AB、CD都垂直，则l⊥面S
假设l不垂直于面S，则要么l∥S，要么斜交于S且夹角不等于90。
当l∥S时，则l不可能与AB和CD都垂直。这是因为当l⊥AB时，过l任意作一个平面R与S交于m，则由线面平行的性质可知m∥l
∴m⊥AB
又∵l⊥CD
∴m⊥CD
∴AB∥CD，与已知条件矛盾。
当l斜交S时，过交点在S内作一直线n⊥l，则n和l构成一个新的平面T，且T和S斜交（若T⊥S，则n是两平面交线。由面面垂直的性质可知l⊥S，与l斜交S矛盾）。
∵l⊥AB
∴AB∥n
∵l⊥CD
∴CD∥n
∴AB∥CD，与已知条件矛盾。
综上，l⊥S
代数法：
如图，l与α内两条相交直线a，b都垂直，求证：l⊥α
证明：与a或b平行的直线必垂直l，因此接下来的讨论围绕与a，b不平行的直线进行。
先将a，b，l平移至相交于O点，过O作任意一条直线g，在g上取异于O的点G，过G作GB∥a交b于B，过G作GA∥b交a于A。连接AB，设AB与OG交点为C
∵OA∥GB,OB∥GA
∴四边形OAGB是平行四边形
∴C是AB中点
由中线定理，
在l上取异于O的点D，连接DA,DB，由中线定理
两式相减可得
又注意到OD⊥OA,OD⊥OB
∴得
即
∴OD⊥OC
由g的任意性可知，l与α内任意直线都垂直
∴l⊥α
向量法：
设直线l是与α内相交直线a，b都垂直的直线，求证：l⊥α
证明：设a，b，l的方向向量为a，b，l
∵a与b相交，即a，b不共线
∴由平面向量基本定理可知，α内任意一个向量c都可以写成c= λa+ μb的形式
∵l⊥a，l⊥b
∴l·a=0，l·b=0
l·c=l·（λa+ μb）=λl·a+ μl·b=0+0=0
∴l⊥c
设c是α内任一直线c的方向向量，则有l⊥c
根据c的任意性，l与α内任一直线都垂直
∴l⊥α
线面垂直的性质定理
性质定理1：如果一条直线垂直于一个平面，那么该直线垂直于平面内的所有直线。
性质定理2：经过空间内一点，有且只有一条直线垂直已知平面。
性质定理3：如果在两条平行直线中，有一条直线垂直于一个平面，那么另一条直线也垂直于这个平面。p分页标题e
性质定理4：垂直于同一平面的两条直线平行。
推论：空间内如果两条直线都与第三条直线平行，那么这两条直线平行。（该推论意味着平行线的传递性不仅在平面几何上，在空间几何上也成立。）
