定：和穿过这个平面的一条斜线在这个平面内的射影垂直,它也和这条斜线垂直.
逆：平面内一条直线和穿过该平面的一条斜线垂直,直线也垂直于这条斜线在平面内的射影.
∵AB⊥平面α,aα,a⊥OB
∴a⊥OA
逆∴a⊥OB