今天看了一個(gè)數(shù)學(xué)問(wèn)題用反正法，就是如果不是這樣呢結(jié)果就是矛盾，然后突然想明白了一件事：公理其實(shí)也是可以證明的而不是以前理解的大家公認(rèn)正確的就是公理，就是用邏輯的方法，反正法，如果不是這樣呢結(jié)果就是矛盾。舉個(gè)例：證明1+1=2，十進(jìn)制

反正法：如果1+1不等于2，比如1+1=N，那么1=N-1，N不是2的話，這個(gè)等式就成立不了，所以1+1只能等于2

反正法是邏輯推理，任何公理都適用于反證法

再來(lái)個(gè)例子：線段公理：兩點(diǎn)之間，線段最短

反證法：如果不是線段最短，那么在線段之外至少存在經(jīng)過(guò)一點(diǎn)最短，那么連上這點(diǎn)后就是三角形，而三角形的兩邊之和大于第3邊，所以這個(gè)兩邊之和不在線段內(nèi)的點(diǎn)是不可能的。