
_START_ARTICLE_
加法逆元
_START_SECTION_
一般定义
_START_PARAGRAPH_
设“+”为一个交换性的二元运算，即对于所有x,y，x+y=y+x。若该集内存在一个元素0，使得对于所有x，x+0=0+x=x，则此元素是唯一的。如果对于一个给定的x，存在一个x'使得x+x'=x'+x=0，则称x'是x的加法逆元。
_START_SECTION_
定义
_START_PARAGRAPH_
若“+”符合结合律，则任意数的加法逆元是唯一的。
_START_SECTION_
证明
_START_PARAGRAPH_
反证法：_NEWLINE_设有两个相异的加法逆元、_NEWLINE__NEWLINE_有 的关系。_NEWLINE__NEWLINE_⇒ _NEWLINE__NEWLINE_⇒ _NEWLINE__NEWLINE_产生矛盾，证讫。