棱柱定义的严密性问题棱柱：有两个面互相平行,其余各面都是四边形,并且每相邻两个四边形的公共边都互相平行,由这些面所围成的

一定全等的.
因为侧面的公共边都是平行的,
上下两个平行面与同一个侧面的两条交线也平行,
所以侧面一定是平行四边形,
那么这两条交线一定相等.
这样,上下两个平行面的各个相对应的边都相等.
以附图四棱柱为例,AB=A'B',BC=B'C',CD=C'D',DA=D'A'
又针对角ABC和角A'B'C',连接他们两邻边的另一个顶点
即AC和A'C'
则AA'C'C也是平行四边形,则AC=A'C'
所以三角形ABC全等于三角形A'B'C'
所以角ABC=角A'B'C'
同理可证其他相对应的角也相等（多棱柱都可以用这种方法）
所以上下两个面必定全等.
你可以想象一下三棱柱、四棱柱、五棱柱等等是不是这样.

这个定义证明如下。
每相邻两个四边形的公共边都互相平行，既该几何体的侧边平行（不一定相等）
且：上下底的对应边平行（不一定相等），所以2者交集为平行且相等，在高三的学习中有一个定理是直接证明这类问题的。所以该几何体为正棱柱或者斜棱柱。...