[일반] 이거 모순증명으로 어케해야할까

[익명(1.242)]

정수 n에 대하여 n+m=0이되는 정수 m이 유일하게 하나존재함을 증명하라]

뭔가 간단해서 더어려운거같음,,

[souvenir(souvenir)]

n+a=n+b=0 이라 하자. 그럼 a=a+0=a+(n+b)=(a+n)+b=(n+a)+b=0+b=b 이므로 a=b이다. 네모빡스

[souvenir(souvenir)]

굳이 모순을 내야 하는거면 맨 앞에 a=/=b라 가정하자 하나 붙이고 맨 뒤에 번개치는거 하나 그리면 그게 모순임

[익명(1.224)]

최소 두개 있다고 가정하고 동일성 이끌어낸거 자체가 모순을 이끌어낸거임 - dc App

[souvenir(souvenir)]

그렇긴 한데 번개치는거 안그리면 몬가 모순증명 안한거같은 느낌이있어서

[souvenir(souvenir)]

그리고 굳이 원하면 최소 "두 개" 있다고 가정한걸 좀 더 명시적으로 표시해줄 수도 있다는 소리였음 뭐 나도 증명할땐 그냥 저리하긴 하지만

[익명(106.101)]

a랑 b 다르다고 써놓는게 한눈에 의도 팍 보이지

[익명(182.230)]

귀류법이야 - dc App