是AB=CD，BC=AD，AC=CA，结论是△ABC≌△CDA.

【规律总结】数学中的演绎法一般是以三段论式的格式进行的，三段论是由三个判断组成的，其中两个为前提，另一个是结论，第一个判断是提供性质的一般判断，叫做大前提，通常是已知的公理、定理、定义.如上例中的两个大前提分别是"平行四边形的对边相等"和"有三边对应相等的两个三角形全等"；第二个判断是和大前提有联系的特殊判断，叫做小前提，通常是已知条件或前面推理的第三个判断.如上例中的两个小前提分别是"四边形ABCD是平等四边形"(已知条件)和"△ABC和△CDA的三边对应相等"(前面推理的第三个判断)；第三个判断叫做结论，是联合前两个判断，根据它们的联系作出的新判断，如上例中的两个结论分别是"AB=CD，BC=AD"和"△ABD≌△CDA".

在推理论证的过程中，一个稍复杂一点的证明题经常要由几个三段论式才能完成，大前提通常省略不写，或者写在结论后面的括号内，小前提有时也可以省去，而采取某种简明的推理格式.

活学巧用

1.指出下面三段论的大前提、小前提和结论.

①相同边数的正多边形都是相似的；

②这两个正多边形的边数相同；

③所以这两个正多边形也是相似的.

解析：①是"大前提",②是"小前提",③是"结论".

点评：在三段论中，"大前提"提供了一般的原理原则，"小前提"指出了一个特殊场合的情况，"结论"联合大前提与小前提，说明一般原则和特殊情况间的联系.我们早已能够自发地使用三段论法来进行推理,学了三段论法后我们要主动地理解和掌握这一推理方法.

2.指出下面推理中的错误.

(1)自然数是整数 大前提

-6是整数小 前提

所以-6是自然数 结论

(2)中国的大学分布于中国各地 大前提

北京大学是中国的大学 小前提

所以北京大学分布于中国各地 结论

解析：(1)大、小前提中的"自然数"(P)与"-6"(S)都分别与"整数"(M)的一部分存在联系，这样"整数"(M)就不能起到联结"自然数"(P)与"-6"(S)的作用，因此不能使"自然数"(P)与"-6"(S)发生必然的确定关系.

(2)这个推理的错误原因是"中国的大学"未保持同一，它在大前提中表示中国的各所大学，而在小前提中表示中国的一所大学.

3.梯形的两腰和一底如果相等，它的对角线必平分另一底上的两个角.已知在梯形ABCD中(如图)，

AB=DC=AD，AC和BD是它的对角线.

求证：AC平分∠BCD，DB平分∠CBA.

证明：(1)等腰三角形两底角相等(大前提)，