고등미적분학 증명

본문내용

b+c)+(-c)
A2) ∀a.b.c R 일때 (a+b)+c = a+(b+c)를만족한다.
A4) aR 대하여 -aR 가 존재하여 a+(-a)=0을 만족한다.
A3) 0R이 존재하여 ∀aR에 대하여 0+a=a를 만족한다.
에 의하면.
좌변=(a+c)+(-c)=a+[c+(-c)]=a+0=a
우변=(b+c)+(-c)=b+[c+(-c)]=b+0=a
※ a=b

키워드

고등미적,   해석학입문,   증명