三棱柱的定义