三棱锥 求证df垂直于平面