三棱柱的性质,在几何证明时的性质,