题目内容
证明：因为，所以（此处省略了大前提），
所以（两次省略了大前提，小前提），
同理，，，
三式相加得．
（省略了大前提，小前提）
用三段论方法证明：．
分析：原题可用符号表示为(AB=CD)且(BC=AD)ABCD.
用演绎推理来证明论题的方法,也就是从包含在论据中的一般原理推出包含在此题中的个别特殊事实.
为了证明这个命题为真,我们只需在假设前提(AB=CD且BC=AD)为真的情况下,以已知公理、已知定义、已知定理为依据,根据推理规则,导出结论ABCD为真.
．
，所以
（此处省略了大前提），
（两次省略了大前提，小前提），
，
，
．
．
．
，所以（此处省略了大前提），（两次省略了大前提，小前提），，，．
．
ABCD.
ABCD为真.