數學證明方法與算法實現關系分析

李珍真

摘要：數學證明方法與算法實現之間存在著較為密切的關系，只有應用恰當的數學證明方法，才能夠更好更快地解決數學問題。文章主要分析了幾種主要的數學證明方法，并陳述了其與算法實現的關系，最后提出問題的解決方法。

關鍵詞：數學證明方法：算法實現：關系

在對數學的研究過程中，會發現存在著多種多樣的數學證明方法，經常使用的數學證明方法有構造性證明、反證法、數學歸納法等，在實際應用這些方法解決數學問題的過程中，有的只會應用到其中的一種數學證明方法，而有的則需要結合幾種數學證明方法才能夠很好地將相關的數學問題加以解決。應用程序設計來解決數學中的算法問題有的時候能夠較容易地加以解決，而有時候涉及較為復雜的算法問題就會面臨相應的困難。而數學證明方法與程序設計的算法實現之間存在著較為密切的關系，將其結合起來有助于更好地解決數學問題。學生在學習高等數學的過程中，教師應當注意傳授相應的數學思想，這對于提升學生的數學素質是非常有幫助的。本研究主要闡述了高等數學中經常使用的數學證明方法。

1 遞推方法與數學歸納法分析

了解高等數學的都應當明確，遞推方法與數學歸納法是在高等數學學習過程常常會被應用到的數學證明方法，并且在解決相關的數學問題時能夠起到較好的效果。譬如，在學生學到線性代數、數值分析的相關內容時，都多多少少會應用到上述的證明方法。……