Question

离散的自反性怎么证明

Answer 1

这个标签贴错了吧，明明是代数学的。
1：自反就是<a,b>和<a,b>,显然成立
2：反身就是<a,b>,<c,d>,有a+d=b+c，所以又实数的加法交换性有c+b=d+a,于是<c,d>,<a,b>满足这个关系
3：传递性,<a,b>,<c,d>,<e,f>,分别有a+d=b+c,c+f=d+e,那个把两式子相加，左右消去c+d就有a+f=b+e，于是,<a,b>,<e,f>满足关系。