實數系的完備性

這幾個定理也是非常重要的，廢話不多說我們來看。

是不是很

我業餘數學興趣者。有人證明：0.999…=1 證明大致可為

因為 1=3/3

=1/3+2/3

=0.333…+0.666…

=0.999…

所以 0.999…=1

我以為上述證明漏洞，嚴謹地講 1/3、2/3應當表述為：

1/3=0.333…+無窮小量

2/3=0.666…+無窮小量

其符號…僅表述了無限迴圈數，

所以 1=1/3+2/3

=0.333…+無窮小量+0.666…+無窮小量

=0.999…+無窮小量

而 0.999…不等於0.999…+無窮小量，

所以 0.999…不等於1

以上為我業餘數學興趣者陋見，喜諸位老師指正。

我是中學數學教育者，首先拍案叫絕的方法首先推薦反證法.

比如小學的時候我們就說過：質數有無窮多個，這個證明過程就用到了反證法：

證明如下：假設質數的個數是有限個，不妨設為：p1，p2，p3，...pn，

則p1×p2×p3×...pn+1也為質數，這是由於該數不整除pi（i=1,2,

3....n

這裡就得出一個矛盾的問題，所以質數有無窮多個.

上面這個方法就是反證法，

再比如證明根號2是無理數，也可以用反證法進行證明.

我們都知識費馬大定理，該定理的證明花費了英國數學家懷爾斯整整7年的時間，整個書寫過程需要用到三百多頁的A4紙進行書寫，但是費馬卻說他有一個絕妙的證明方法，說知道到底有沒有呢？很多數學家對費馬是否有該結論的證明方法提出了質疑，我卻覺得費馬是有這個問題的證明，可以肯定的是需要開闢新的數學領域，創新式的數學方法才能夠證明這個問題.

在數學中其實有很多這樣的問題，像哥德巴赫猜想，曾經有一個俄羅斯數學家說過他證明了這個問題，但是不會發表，因為哥德巴赫猜想是一個下金蛋的雞，想要證明這個問題可能需要新的數學體系來進行證明.

詳解幾何最值問題解題策略，這些幾何證明過程都值得稱讚！

幾何最值，一直是近年來全國中考選擇題、填空題、解答題各自最後一題的壓軸題，充分體現了命題人的數學思想和所要考查的內容。堪稱亮點之作——命題之眼。每年細說全國中考數學題，都不乏經典之作。總體主要表現在：

1、將軍飲馬策略（10種常見模型）

2、費馬點策略（化星為折，化折為值）

3、胡不歸策略（構造特殊角）

4、阿氏圓策略（母子型相似）

5、路徑與軌跡策略（直線型和圓型）

6、隱形圓策略

（1）定弦定角

（2）定角定高

（3）定角定中線

（4）定角定角平分線

（5）定角定周長

（6）米勒問題（最大張角）

（7）四點共圓

（此類解答題以陝西中考壓軸題堪稱經典）

7、旋轉策略（全等與相似）

8、面積平分策略（等分面積和等分周長）

9、主從動點或瓜豆定理或二次軌跡思想

10、逆等線策略（構造+化折為直）

11、對稱與翻折策略

12、二次函式策略

剛上大一的時候，數學分析老師問我們（0.9，9的迴圈）與1比較，誰大。

按照原來的思維想整數部分一個0，一個1，肯定1大了。

但老師接下來的證明，讓我頭皮發麻。見下圖

也就是說0.9的迴圈＝1。

短短三行，把我征服了。

極限思想。其實數學分析很多問題都是與極限思想有關。

數學魅力無窮。

很多很有意思的證明啊。

比如“證明圓的面積等於圓周率乘以半徑的平方”

比如“證明無理數比有理數多”

看了有很多提到0.999...=1的回答

用0.333...=1/3的這個來證明是有問題的哦，這個本身就是需要進行證明的問題

下面介紹涉及到無限迴圈小數該型別的題目的證明的統一方法

題目一： 0.999…=1

證明： 設x=0.999… （1）

則 10x= 9.999… （2）

（2）—（1）式得 9x=9

x=1

題目二： 0.323232…=？

證明： 設x=0.323232… (1)

則100x=32.323232… (2)

(2)—（1）式得 99x=32

x=32/99

題目三： 0.126126126…=？

證明： 設 x=0.126126126… (1)

則1000x=126.126126126… （2）

（2）—（1）式得999x=126

x=126/999

看到規律了嗎？

這其實是將無限迴圈小數化為分數或者整數，是為了說明無限迴圈小數屬於有理數這一型別。

數學是基礎學科，深入到生活的衣食住行，方方面面，吃用住，加減乘除，也是非常實用的工具，數學給予生活，開啟問題正解，也是對於提高生活，也是非常好的實用工具。

勾股定理，也是非常好的一門特別深入的一門學科，證明過程，也是非常簡單，但是也充斥複雜學科，工式簡單明瞭，但是證明也是需要數學論證，去分析，去把這個規律，整理證明出來，也是非常複雜的。

數學證明，也是一種邏輯思維構造。對於邏輯思維，這或許就是數學最獨特的一種方式，也是可以根據具體情況而定。數學也是改變生活的一種重要的工具，數學學科也是基礎知識，也是對於生活，有很高的認識。

勾股定理，也是在於實踐中，去認識和證明的一個過程，認識自己，也要需要全面提高自己的邏輯思維能力，對於能力提高，這或許就是需要我們認識，邏輯思維能力，可以提高自己的認識過程，對於數學學科，也是把握數學學科，對於生活，也是對於生活的廣泛提高，運用數學也是一種新的方式，勾股定理證明，也是非常奇妙，非常有意思，勾股定理證明完成，對於很多行業，也是具有非常廣泛的指導意義，學習深入，提高自己，認識自己。也要屬於自己的一種方式，提高自己，也要需要我們總結提高，對於數學學習，要保持良好的狀態，學習數學，改變自己，也要屬於自己的數學學科總結，用於生活，提高自己的數學學科運用能力，才是最好。

反證法――證明根號2為無理數；

數形結合――證明反正切有關的一個等式：arctan1/2+arctan1/3=pai/4

無字證明（化平面為立體）――用三種朝向不同的菱形擺小三角形組成的正六邊形棋盤，完全擺滿後，所使用的每種菱形數量一定相同

......

數學最重要的是，一定要遵守規矩和原則，否則只會犯兜圈子的錯誤，剛才我發現題目本身就錯誤，零不能做除數，即不能做分母，不遵守此原則，邏輯推理似乎沒錯，但就可得到錯誤，荒誕的結論。例如：∵3xO=5x0

兩邊都除以O就得到謬誤之結論：3=5就是犯了0不能做除數（不能做分母的原則性錯誤）日常生活，工作同樣不能犯原則性錯誤，應大體上相同。

這個問題是很帶有主觀色彩的，畢竟每個人看法不一樣，我只說出我認為數學上好的證明過程。

說實話無理數的無理數次方讓人聽起來就有點頭暈，現在還要證明其結果可能為有理數。有些數學不好的人可能腦袋都要大了。

但總有一些人我們理解不了，例如這種證法若根號2的根號2次方為有理數，命題得證以得證。如果這個數扔為無理數那麼:

此時我們同樣得到了一個無理數的無理數次方是有理數的例子。怎麼樣，是不是想拍案叫絕？

勾股定理沒有人不知道，但是這只是以我們現在的眼界去看。想想我們的古人在千年之前就能夠證明了！

這是三國時期趙爽的證明過程:

三角形為直角三角形，以勾a為邊的正方形為朱方，以股b為邊的正方形為青方。以盈補虛，將朱方、青放併成弦方。依其面積關係有a^2+b^2=c^2.由於朱方、青方各有一部分在玄方內，那一部分就不動了。 以勾為邊的的正方形為朱方，以股為邊的正方形為青方。以贏補

虛，只要把圖中朱方（a2）的I移至I′，青方的II移至II′，III移至III′，則剛好拼好一個以弦為邊長的正方形（c……2 ）。由此可證勾股定理。

其實數學上讓人驚歎的證明過程有很多很多，仔細翻一翻自己的高中數學書或者高等數學書你會發現很多證明過程簡直令人驚歎，有時忍不住會想，他們的腦回路是怎麼轉的。

數學史上，比如費馬大定理的證明，關於積分的證明，哥德巴赫猜想等等都是人類智慧的結晶。

你碰到過什麼讓你讚歎的數學證明嗎？

【命P_x(1,2)為適合下列條件的素數p的個數： x-p=p_1或x-p=(p_2)*(p_3) 其中p_1, p_2 , p_3都是素數. 用x表一充分大的偶數. 命Cx={∏p|x,p 2}(p-1)/(p-2){∏p 2}(1-1/(p-1)^2 ) 對於任意給定的偶數h及充分大的x,用xh(1,2)表示滿足下麵條件的素數p的個數： p≤x,p+h＝p_1或h+p＝(p_2)*(p_3), 其中p_1,p_2,p_3都是素數.

也許這不是最拍案叫絕的證明過程，但絕對是華人在數學領域內做出的最傑出的貢獻，這就是中國著名數學家陳景潤在1966年提出的，關於哥德巴赫“1+2”的證明。

1973年,《中國科學》雜誌正式發表了陳景潤的論文《大偶數表為一個素數及一個不超過兩個素數的乘積之和》

時至今日，依然沒有任何數學家能夠證明“1+1”的問題，所以陳景潤這個關於“1+2”問題簡潔清晰的證明便顯得彌足珍貴。

費馬大定理的極簡證明，利用巴羅阿貝爾關係式，直接可以推出當n>2時，等式左右對n來講是不成立的。尤拉關於n=3的證明，用我的通式更簡單。先附n=3的證明。

拍案叫絕的證明過程確實有，在【我和你媽同時掉河裡你先救誰】的求證過程中，首先根據速度時間距離的關係，再透過年齡計算出肌肉的爆發力和滑動摩擦力，這樣就可以得出年輕女朋友的速度大於你媽，女朋友應該走在前面，

再從河岸傾斜度，算出女朋友在加速度下入水的提前量，所要考慮的重點是你女朋友的體重，如果骨感，入水速度更快。

你媽作為中年婦女，體重應該大於你女朋友，這就要有準確的近似值考慮，以便估計你女朋友和你媽之間的距離差，你媽在速度不變的情況下，到達你女朋友的落水點需要多長時間?

透過證明可得，你女朋友和你媽同時掉河裡，從理論上不存在，你女朋友首先不是個盲眼的，之所以掉河裡，只有一種可能，你女朋友一路低頭摳手機，在撩前任，私約，這種情況下，不可能和你媽並肩而行。

由此可知，你媽掉河裡，為救你女朋友，早把生死置之度外。你女朋友說成你媽和她同時掉河裡，是推卸責任，不懂感恩。

你在透過反覆證明之後，應該作出正確選擇，你媽入水較晚，離岸最近，是否捨近求遠?

應該以最快速度，奮力把你媽推向岸邊，讓你媽上岸找到你女朋友的手機，把女朋友營救之後，立刻檢視聊天記錄，一切水落石出，起訴你女朋友前任故意綠人罪，或者連女朋友一起起訴，告她與前任合謀害死你親媽。

一切會有的，一切會發生的，掉河裡就掉河裡唄，問君能有幾多愁，恰似一江春水向東流，反正是離不開水，既然是水命，就水水算啦，還指望一個答案能讓你女朋友海枯石爛咋滴?

拍案稱奇的冰雹猜想證明。

這個猜想就是個數字遊戲。數字跳躍碰找4的n次方。因為猜想的框架結構為：奇數（x3+1）÷2。

所以會形成：4=1x3+1，會形一個本質結構規律。4²的等於16，16-1=15，15÷3=5，這是第一個一步迴歸數。

4³的64，64-1=63，63÷3=21，這是第二個一步迴歸數。

4⁴次方是256，256-1=255，255÷3=85，這是第三個一步迴歸數，以此類推到無限。

用4的N次方。寫入公式為：（4ⁿ-1）÷3。

它還有另一個性質，用以上公式會形成下列結構：

4x1+1=5=4¹+1。

4x5+1=21=4²+4¹+1。

4x21+1=85=4³+4²+4¹+1。

4x85+1=341=4⁴+4³+4²+4¹+1。

4x341+1=1365=4⁵+4⁴+4³+4²+4¹+1。

4x1365+1=5461=4⁶+4⁵+4⁴+4³+4²+4¹+1。

4x5461+1=21845=4⁷+4⁶+4⁵+4⁴+4³+4²+4¹+1。

以此類推到無限。

我們知道猜想的規則是奇數x3+1=偶數，偶數÷2=奇數，來回迴圈。所以我們可以證明一下。把所有的無限奇數x3=3的倍數，+1=÷3=餘1的偶數，它們4+6=10. 10+6=16。

4.10.16.22.28.34.40.46.52.58.64.……。下去你會發現4n次方都在這些當中，這佔自然數的1/6，把這些x3+1的偶數÷2會有兩種結果，一種是偶數，一種是奇數，各一出一。奇數又有種結果，就是它們都是÷3餘2的數。把÷2的偶數再÷2，就是÷3餘1的數，來回迴圈，為什麼會這樣，是因為餘1數x2=餘2數，而餘2的偶數÷2=餘1數。

因為冰雹猜想本質就是數字遊戲，奇數x3+1=偶數，也就是膨脹性質，它是一次一次的，偶數÷2條件合適可以連續÷2，所以是÷2是收縮的性質。

奇數x3+1是跳躍，+1是找4n次方，因為每個奇數（x3+1）÷2的路線是固定的。迴圈次數也是固定的。所以這個猜想的等式是成立的，不存在反例，只是每個奇數的起點位置不同，確定了迴圈的次數與形成時間的長度不同。

那麼我們找一下4n次方，我們按照解刨倒推法一步一步來。4的n次方是

4.16.64.256.1024.4096.16384.65536……。無限下去，會發現都是-1÷3數，也是連續÷2可以歸1的數。把這些數字-1÷3。分別是

1.5.21.85.341.1365.5461.21845……。

因為÷3數是起點沒有上一層，所以能整除3的數不理它。其它的數都是猜想第一個一步迴歸數，上面的奇數都是x4+1的連續數，可以發現有被3整除數，有除3餘1數，有除3餘2數。除3數不能被做為迴歸數，餘1數（x4-1）÷3=第二個迴歸數，餘2數（x2-1）÷3=是第二個迴歸數。讓我們試一試證明一下。（5x2-1）÷3=3 ，3是第一個迴歸數,但3沒有上一個迴歸數。用3x4+1=13.是5的第一個一步迴歸數，13x4+1=53. 是第二個5的第二個一步迴歸數，53x4+1=213. 213是可以被3數除的數，不做為迴歸數。213x4+1=853.是5的第三個一步迴歸數。853x4+1=3413.是5的第四個一步迴歸數。以此類推，有無限個5的一步迴歸數。

5的起點回歸數是3。用（5x2-1）÷3=3.因為3能被3整除.所以不能做為迴歸數。用3x4+1=13. 13是5的第一個迴歸數。用13x4-1=51.51÷3=17.所以17是13的第一個一步迴歸數,17x4+1=69.不能做為13的迴歸數,69x4+1=277. 是13的第二個一步迴歸數。277x4+1=1109.是13的第三個一步迴歸數。讓我們驗證一下：1109x3+1=3328÷2=1664÷2=832÷2=416÷2=208÷2=104÷2=52÷2=26÷2=13x3+1=40÷2=20÷2=10÷2=5x3+1=16÷2=8÷2=4÷2=2÷2=1。因為數字是無窮的，以樣本推整體。只要等式成立，就是正確的，和計算機計算大數是沒用的。

為什麼沒有反例，是因為等式成立。隨著數字增大，也只不過相對增加了步數的長度與時間。但再長的路也是有盡頭的，只是個時間問題。

在分成枝口後，在奇數中÷3只有三種性質：被3整除數，餘2數，餘1數，要想找出連續被3整數，餘2數，餘1數，就各x85，就是各個分枝口的位置。分枝都伸向無限，把這棵樹推展不來，就是所有奇數的位置，用（奇數x3+1）÷2就能從下圖知道為什麼每個數最終都能歸1。

述：因本人業餘愛好數學，專業術語與數學規範數學符號書寫欠缺，望有識之士諒解！

百度貼吧密碼吧裡有個求愛密碼破解過程，有興趣的朋友可以百度搜搜“求救，我已經快想爆了”。整個求解過程驚險刺激、曲折離奇，邏輯縝密但思維跳躍，既有數學的嚴密又有人性的光輝。主題釋出於2009年1月23日，近十年，已有留言1400餘頁（注意不是條是頁），令人拍案叫絕，拍案叫絕啊！有去看完回來的或者曾經看過的同意我的感受請點贊。

我來說說個人體會吧。

雖然現在沒有從事數學相關的工作，甚至連曾經學過的數學也差不多忘光了，但依然有些數學證明，至今難忘。而我小時候，第一次品嚐到數學這門學科的魅力，正是來自這些巧妙的證明，這讓我養成了特別喜歡做證明題的興趣，它遠遠比簡單的計算要更有意思，常常為了證明一道題而冥思苦想甚至茶飯不思。

請證明不存在最大的素數

早在公元前300年，歐幾里得就證明了這道題，不存在最大的素數。

所謂素數是指大於1，只能被1和自身整除的自然數。

比如2是素數，它也是唯一即是素數又是偶數的數，因為下一個偶數4，就不再是素數，它可以被2整除，能被2整除本來就是偶數的定義。因此，任何大於2的數，如果它是一個素數，那它必須是一個奇數。但當然不是所有奇數都是素數，比如數字9，它是奇數，但它能被3整除，因此它不是一個素數。

注意，所有大於1且非素數的數，一定能被一個素數整除。

比如，所有大於2的偶數都能被2這個素數整除。

至於奇數，要麼是素數，要麼能被素數整除。

因為非素數的奇數一定是3、5、7、11、13..... 這些素數的倍數，即能被這些素數整除，如果不能被這些素數整除的奇數，那麼它自身就一定是個素數呀。

讓我們換種方式寫一下數字。

1,2,3,2*2,5,2*3,7,2*4,3*3,2*5,11,2*6（3*4）,13,2*7,3*5，

要想證明這道題，除了知道素數的定義，還需要知道這個至關重要的基礎：

至於奇數，要麼是素數，要麼能被素數整除。

如果你嘗試寫下1~10000以內的素數，你會看到一個規律，那就是隨著數字增大，素數出現的頻率開始降低，畢竟數字越大，它就越有可能被另一個數整除，不是麼？後世的數學家們發現，從不大於數字N的範圍內隨機抽一個數，它恰好是一個數字的機率略為1/lnN（ln 自然對數），當N非常非常非常大的時候，您可以將它簡化為1/N，很明顯數字越大，你恰好隨機抽到一個素數的機率就越小，但注意這個機率將永不等於零，哪怕N趨近於無限大也一樣，因為這只是素數出現頻率的估計，的確數字越大，素數將越來越稀少，但無論它多麼少，素數總是存在著，這就是證明題的魅力，我們很早以前就知道了：不存在最大的素數。

最初，我看到這道題的時候，還是個熊孩子，看到這道題的感覺完全就是懵逼的，一頭霧水，狗咬烏龜找不到下嘴的地方，直到我看了答案，才恍然大悟拍案驚奇，從此學會了一種至關重要的思維方式，受益終生，不僅僅是在數學上，也在別的地方有用。

如何證明不存在最大的素數呢？

如果找不到一種正面的證明方式，那麼不妨讓我們先假設存在一個最大的素數，然後在此基礎上進行推理，看是否會得到一個荒謬的結果，如果能，那就說明我們的假設是錯的，即存在一個最大素數的假設是錯的，由於答案只能是二選一，沒有更多選擇，這時候否定了一方，就等於肯定了另一方，因為兩者必居其一。要麼存在最大的素數，要麼不存在，沒有第三種可能性。

現在，讓我們看看推理過程，別怕，這是小學生都能看得懂的過程，當然，你得先記住什麼是素數。讓我再重複一下。

大於1且只能被1或自身整除的數，就是素數，大於2的時候，所有的素數都必然是奇數。而奇數，它要麼是一個素數，要麼能被一個素數整除。

1、假設存在最大的素數，它等於N。

只要我們能推翻這個假設，就意味著不存在最大的素數。

2、那麼我們可以利用數字N，構造出一個新的數字M，它=2*3...*N+1

這個加1很重要，是整個證明的精華所在，是回頭來看時拍案驚奇之處，畢竟我就是告訴你，這道題要用反證法來證明，你也得找到具體的證明辦法才行。

3、注意，新數字M是個奇數，所以M要麼是一個素數，要麼不是一個素數

3.1 假如數字M是素數，那麼M>N，即存在最大素數的假設是個錯誤，證畢。

3.2 假如數字M不是素數，那麼必然存在一個素數X，能整除M。

4、由於M = 1*2*3*....*N +1 ，這就意味著從2開始一直到N，作為除數去除M，都不可能把M整除，即M/(2....N)都不可能是一個整數，總會有一個餘數1。因此X必然大於N。由於X是個素數，因此原假設存在最大的素數N，不正確，因為還有比它更大的素數X。按照同樣的邏輯，我們可以證明X也不是最大的素數，您只需要把上面的證明流程再迴圈一次就能得到比X大的素數，無窮無盡。

我來舉個例項吧，

假設N=5是最大的素數

那麼M=2*3*4*5+1 = 121

121不是一個素數

它可以被素數11整除

但11>5，所以5是最大的素數被否證。

同樣11也不是最大的素數

因為2*3******11+1 = 39916801，

這個數本身就是一個素數，它可比11大得多。

這樣的過程可以無限迴圈，但數字迅速增大，超過人力計算的範疇

但證明題的魅力就在於，只要邏輯正確，前提無誤，我們就脫離了硬算的限制，進入自由世界。

有關數學公式的證明很多，下面介紹幾個常見公式的巧妙證明過程。

（1）自然數的立方和=自然數之和的平方

上述等式的左邊為自然數的立方和，等式的右邊為自然數之和的平方。雖然透過分別推匯出左右兩邊的計算公式就能證明該等式，但透過如下的圖形很直觀地就能證明上式：

把自然數立方和的圖形平鋪看來，其中的正方體數量剛好是就是自然數之和的平方，所以就能證明上述等式成立。

（2）勾股定理

這個公式為勾股定理，中國在商朝時就已經發現了直角三角形的一個特例——勾三股四玄五，後來的中外數學家透過各種方法來證明這個公式。下面要介紹的是加菲爾德證法的變形方法，這可以很容易證明勾股定理：

大正方形的面積為：

(a+b)^2

大正方形的面積也等於四個三角形的面積以及小正方形的面積之和：

4×(1/2ab)+c^2

由此可得下式：

(a+b)^2=4×(1/2ab)+c^2

化簡之後，即可得勾股定理：

a^2+b^2=c^2

（3）尤拉恆等式

這個公式就是著名的尤拉恆等式，它被譽為最美的數學公式。一個十分簡單的公式就結合了數學中最重要的常數——自然常數e、虛數單位i、圓周率π、自然數1、自然數0，以及最重要的數學符號——加號+、等號=。

尤拉恆等式源自於如下的尤拉公式：

對尤拉公式的左邊e^(iθ)進行泰勒展開可得：

再分別對cosθ和sinθ進行泰勒展開可得：

顯然，cosθ與sinθ之和剛好等於e^(iθ)，由此就能證明尤拉公式成立。再令尤拉公式中的θ=π，即可得下式：

e^(iπ)=-1+0

對上式進行移項，最終就可以推匯出尤拉恆等式的常見形式。

（4）證明圓周率是無理數

圓周率是無理數的證明方法不少，下面要介紹的是數學家Ivan M. Niven給出的反證法，這種方法簡單而又巧妙。

倘若π為有理數，必然存在整數a和b，使得下式成立：

π=a/b

構造如下兩個函式：

其中n為正整數。

顯然，f^k(0)、f^k(π)、F(0)以及F(π)都為整數。而且f(x)和f^k(x)都會滿足f(x)=f(π-x)，它們都在x=0以及x=π處可積。

再建構函式G(x)=F"(x)sinx-F(x)cosx，並對其進行求導可得：

對上式兩邊從0到π都進行積分可得下式：

因為F(0)以及F(π)都為整數，故F(π)+F(0)亦是整數。當x∈(0, π)時，顯然有f(x)>0且sinx>0，故f(x)sinx>0，所以F(π)+F(0)>0，並且f(x)sinx在[0, π]上的積分為正整數。

當x∈(0, π)時，顯然有a-bx<a，故(a-bx)^n<a^n。因為x^n<π^n，所以可得如下的不等式：

顯然，當n→+∞時，f(x)sinx→0，由夾逼定理可得，f(x)sinx在[0, π]上的積分也會趨於0。然而，上述的推導表明這個積分是正整數，所以兩者出現了矛盾。這意味著π=a/b不成立，所以圓周率必然為一個無理數。

看了幾個回答談到了反證法，想起了我一直的一個疑惑，和題目關係不是很大，我覺得反證法本身可能就有問題。

我高中的時候有一次數學練習題，有一道證明題，具體我忘了，總之大概就是給了一些條件，最後證明k>2，我當時就沒有解出來，後來老師講題的時候用的反證法，倒推後證明k<=2時與題目給定的條件不一致，所以k>2成立，其實這種題高中時倒也常見，但我當時突然有點疑問，就問了老師一個問題，如果我不去證明k<=2時不符合給定的條件，而是去證明k<=1時不符合給定的條件（這個肯定是成立的，因為k<=2的區間包含k<=1），那麼這個題不就無法證明了？怎麼確認“2”是恰好的分界點？也許還有"2.1"、“3”啊，老師讓我證明一遍，我用反證法很快照著老師的思路證明k<=1時，不符合題目給定的條件，所以k>1(事實上，k>1包含k>2)，老師當時也有點懵，我當時學習不是那種很好的，老師就說讓我別考慮別的數字，既然題目是2，就用2。所以，我一直到現在都覺得反證法本身是有侷限的，甚至是有問題的。當然，一家之言，我本身數學也不大好，如果不對請勿噴，如果有人能解答疑惑，萬分感謝。

看了很多回復，我覺得應該重申一下我要說的關鍵，我不是說這個題怎麼樣，我是對反證法這種證明方法有異議，因為這種證明題，一般都是根據條件推匯出結論，幾乎沒用過反證法。如果把這個題改一下，其他條件都不變，但改成不知道結論的求解題，大家隨便假設一個數，然後反證法證明了，這個過程也沒有問題，但明顯不對，再說如果我反證法證明了k>3，那算不算對？如果一個證明方法等得出很多不同的結果，還有什麼意義？這裡重點是那個恰好的節點，如果能證明2就是那個節點，那就不需要用反證法了。

（高等）代數基本定理：一元n次多項式在複數域內必有n個過零點（允許重複）。

自從高斯開始，就被很多數學家證明了很多次，高斯一生證明了四次。

就我個人而言，精彩的證明太多了，以上大家提到的很多證明都非常的“醍醐灌頂”，除此之外，我依然有印象的有：格林公式、烏里松引理、樣本均值和方差獨立、實數集的基數是2^ω、等。

其實，除了定理的證明，某些理論的發現同樣精彩，比如： 彭加萊 發現的 同調群 和 基本群。