设A={|a，b为正整数}，在A.上定义二元关系~如下：~
当且仅当a +b = c +d。
证明：~是一个等价关系。