用「無窮遞降法」證明沒有正整數解

2022-02-05 04:39:52 字數 921 閱讀 6069

「無窮遞降法」通常用來證明乙個關於正整數的命題不成立。

「無窮遞降法」的做法是:用反證法,先假設可以找到某些正整數,使得命題成立。在這些使得成立的正整數中,一定可以找到乙個最小的正整數使得成立。

然後證明,如果成立,則必有乙個更小的正整數 ,使得也成立。這就與「 是使得成立的最小的正整數」發生矛盾,所以假設不成立,也就是說,命題是不成立的。

下面,我們用「無窮遞降法」來證明這樣乙個命題:

命題沒有正整數解。

證假如有正整數解,那麼也一定有正整數解,所以,要證明沒有正整數解,只要證明沒有正整數解就可以了。

下面用「無窮遞降法」來證明:

假設有正整數解,那麼,在這些正整數解中,一定可以找到一組解

、、,使得 ,而且其中的是各組解的中最小的乙個。

顯然、沒有大於1的公約數。因為,假如有公約數 ,則有

,可見、、是的另一組正整數解,而且 ,這就與「是各組解的中最小的乙個」發生矛盾,所以不可能有大於1的公約數。

由於、沒有大於1的公約數,所以、也沒有大於1的公約數。由於

,可見、、是一組互素的勾股數。

根據「勾股數公式」,這時必有互素的正整數、使得(不妨設是奇數)

, , 。由於,

而且與沒有大於1的公約數(假如與有公約數 ,則也應該有約數 ,這就與、互素發生矛盾),可見、、是一組互素的勾股數。

根據「勾股數公式」,這時必有互素的正整數、使得(前面已設是奇數)

, , 。

這時有。 因為、互素,所以、、兩兩之間都沒有大於1的公約數,而它們的乘積卻是乙個完全平方數,可見、、三個數本身都必須是完全平方數,即一定有正整數、、,使得

, , 。

這樣,就有

,可見、、是的一組解。而且有

,這就與「是各組解的中最小的乙個」發生矛盾,所以假設「有正整數解」不成立。由此可見,「有正整數解」也不成立。

用三證之前的注意事項

產品規格注意事項 標註位置 背面圖案附近明顯處,所有產品正面不再標註任何形式的淨含量。圖二 單位的選擇 圖三 重點 字元高度 淨含量 數字 單位三者等高條碼注意事項 條形碼的組合 共13位,前8位為國家與企業的 第9 12位為企業自編的商品專案 最後一位為電腦隨機選擇的校驗碼。一 印刷位置 1.印製...

用積分法構造面積不等式證題

年第 期河北理科教學研究問題討論 廣東省東莞市沙田廣榮中學 波 本文先介紹乙個證明不等式成立的充分條件模型,然後根據模型分析出要證明高考 題中的不等式所需要構造的模板不等式,然後用積分法求某些圖形面積證明所構造的模板不等式成立 充分條件模型 要解答 或證明 形如或 的函式與不等式綜合題成立的充分條件...

安全防護用具及機械裝置准用證管理

勞動防護用品管理制度 為切實加強施工現場的管理工作,杜絕假冒偽劣勞保用品 機械產品流入施工現場,確保職工的生命安全,專案安全部特制定勞動防護用品管理制度。1 材料採購員必須採購有合格證的勞動防護用品,一經發現有不合格的勞動防護用品,對其進行批評教育,扣發採購員當月工資。2 對採購進的勞保用品,需經檢...