立体几何定理
-
垂直
$1$ 定义：$\forall m \subset \alpha,l \perp m\Rightarrow l\perp \alpha$ 判定：$m\subse
-
平行
$1$ 定义：$l \cap \alpha = \varnothing\Rightarrow l//\alpha$ 判定：$l \nsubseteq \alpha,m \subset \alpha,l // m\Rightarrow l//\alpha$ $2$ $l//\alpha,l\subset\beta,\alpha\cap\beta=m\Rightarrow l//m$ $3$ $l\subset\alpha,m\subset\alpha,a\subset\beta,b\subset\beta,l\cap m\neq\varnothing,a\cap b\neq\varnothing,