面面垂直的证明及应用