數(shù)學(xué)驗(yàn)證方法(一般數(shù)學(xué)模型的驗(yàn)證方法)

1.一般數(shù)學(xué)模型的驗(yàn)證有哪些方法

數(shù)學(xué)建模應(yīng)當(dāng)掌握的十類算法

1.蒙特卡羅算法

該算法又稱隨機(jī)性模擬算法，是通過(guò)計(jì)算機(jī)仿真來(lái)解決問(wèn)題的算法，同時(shí)可以通過(guò)模擬可以來(lái)檢驗(yàn)自己模型的正確性，是比賽時(shí)必用的方法。

2.數(shù)據(jù)擬合、參數(shù)估計(jì)、插值等數(shù)據(jù)處理算法

比賽中通常會(huì)遇到大量的數(shù)據(jù)需要處理，而處理數(shù)據(jù)的關(guān)鍵就在于這些算法，通常使用Matlab作為工具。

3.線性規(guī)劃、整數(shù)規(guī)劃、多元規(guī)劃、二次規(guī)劃等規(guī)劃類問(wèn)題

建模競(jìng)賽大多數(shù)問(wèn)題屬于最優(yōu)化問(wèn)題，很多時(shí)候這些問(wèn)題可以用數(shù)學(xué)規(guī)劃算法來(lái)描述，通常使用Lindo、Lingo軟件實(shí)現(xiàn)。

4.圖論算法

這類算法可以分為很多種，包括最短路、網(wǎng)絡(luò)流、二分圖等算法，涉及到圖論的問(wèn)題可以用這些方法解決，需要認(rèn)真準(zhǔn)備。

5.動(dòng)態(tài)規(guī)劃、回溯搜索、分治算法、分支定界等計(jì)算機(jī)算法

這些算法是算法設(shè)計(jì)中比較常用的方法，很多場(chǎng)合可以用到競(jìng)賽中。

6.最優(yōu)化理論的三大非經(jīng)典算法：模擬退火法、神經(jīng)網(wǎng)絡(luò)、遺傳算法

這些問(wèn)題是用來(lái)解決一些較困難的最優(yōu)化問(wèn)題的算法，對(duì)于有些問(wèn)題非常有幫助，但是算法的實(shí)現(xiàn)比較困難，需慎重使用。

7.網(wǎng)格算法和窮舉法

網(wǎng)格算法和窮舉法都是暴力搜索最優(yōu)點(diǎn)的算法，在很多競(jìng)賽題中有應(yīng)用，當(dāng)重點(diǎn)討論模型本身而輕視算法的時(shí)候，可以使用這種暴力方案，最好使用一些高級(jí)語(yǔ)言作為編程工具。

8.一些連續(xù)離散化方法

很多問(wèn)題都是實(shí)際來(lái)的，數(shù)據(jù)可以是連續(xù)的，而計(jì)算機(jī)只認(rèn)的是離散的數(shù)據(jù)，因此將其離散化后進(jìn)行差分代替微分、求和代替積分等思想是非常重要的。

9.數(shù)值分析算法

如果在比賽中采用高級(jí)語(yǔ)言進(jìn)行編程的話，那一些數(shù)值分析中常用的算法比如方程組求解、矩陣運(yùn)算、函數(shù)積分等算法就需要額外編寫(xiě)庫(kù)函數(shù)進(jìn)行調(diào)用。

10.圖象處理算法

賽題中有一類問(wèn)題與圖形有關(guān)，即使與圖形無(wú)關(guān)，論文中也應(yīng)該要不乏圖片的，這些圖形如何展示以及如何處理就是需要解決的問(wèn)題，通常使用Matlab進(jìn)行處理。

2.高中數(shù)學(xué)常用證明方法有哪些

1.比較法比較法是證明不等式的最基本、最重要的方法之一，它是兩個(gè)實(shí)數(shù)大小順序和運(yùn)算性質(zhì)的直接應(yīng)用，比較法可分為差值比較法（簡(jiǎn)稱為求差法）和商值比較法（簡(jiǎn)稱為求商法）。 2.綜合法利用已知事實(shí)（已知條件、重要不等式或已證明的不等式）作為基礎(chǔ)，借助不等式的性質(zhì)和有關(guān)定理，經(jīng)過(guò)逐步的邏輯推理，最后推出所要證明的不等式，其特點(diǎn)和思路是“由因?qū)Ч?，從“已知”看“需知”，逐步推出“結(jié)論”。

3.分析法分析法是指從需證的不等式出發(fā)，分析這個(gè)不等式成立的充分條件，進(jìn)而轉(zhuǎn)化為判定那個(gè)條件是否具備，其特點(diǎn)和思路是“執(zhí)果索因”，即從“未知”看“需知”，逐步靠攏“已知”。

4.反證法有些不等式的證明，從正面證不好說(shuō)清楚，可以從正難則反的角度考慮，即要證明不等式A>B，先假設(shè)A≤B，由題設(shè)及其它性質(zhì)，推出矛盾，從而肯定A>B。凡涉及到的證明不等式為否定命題、惟一性命題或含有“至多”、“至少”、“不存在”、“不可能”等詞語(yǔ)時(shí)，可以考慮用反證法。 5.換元法換元法是對(duì)一些結(jié)構(gòu)比較復(fù)雜，變量較多，變量之間的關(guān)系不甚明了的不等式可引入一個(gè)或多個(gè)變量進(jìn)行代換，以便簡(jiǎn)化原有的結(jié)構(gòu)或?qū)崿F(xiàn)某種轉(zhuǎn)化與變通，給證明帶來(lái)新的啟迪和方法。主要有兩種換元形式。（1）三角代換法：多用于條件不等式的證明，當(dāng)所給條件較復(fù)雜，一個(gè)變量不易用另一個(gè)變量表示，這時(shí)可考慮三角代換，將兩個(gè)變量都有同一個(gè)參數(shù)表示。此法如果運(yùn)用恰當(dāng)，可溝通三角與代數(shù)的聯(lián)系，將復(fù)雜的代數(shù)問(wèn)題轉(zhuǎn)化為三角問(wèn)題根據(jù)具體問(wèn)題，實(shí)施的三角代換方法有：①若x2+y2=1，可設(shè)x=cosθ，y=sinθ；②若x2+y2≤1，可設(shè)x=rcosθ，y=rsinθ（0≤r≤1）；③對(duì)于含有的不等式，由于|x|≤1，可設(shè)x=cosθ；④若x+y+z=xyz，由tanA+tanB+tanC=tanAtan-BtanC知，可設(shè)x=taaA,y=tanB,z=tanC，其中A+B+C=π。（2）增量換元法：在對(duì)稱式（任意交換兩個(gè)字母，代數(shù)式不變）和給定字母順序（如a>b>c等）的不等式，考慮用增量法進(jìn)行換元，其目的是通過(guò)換元達(dá)到減元，使問(wèn)題化難為易，化繁為簡(jiǎn)。如a+b=1，可以用a=1-t,b=t或a=1/2+t,b=1/2-t進(jìn)行換元。 6.放縮法放縮法是要證明不等式A<B成立不容易，而借助一個(gè)或多個(gè)中間變量通過(guò)適當(dāng)?shù)姆糯蠡蚩s小達(dá)到證明不等式的方法。放縮法證明不等式的理論依據(jù)主要有：（1）不等式的傳遞性；（2）等量加不等量為不等量；（3）同分子（分母）異分母（分子）的兩個(gè)分式大小的比較。常用的放縮技巧有：①舍掉（或加進(jìn)）一些項(xiàng)；②在分式中放大或縮小分子或分母；③應(yīng)用均值不等式進(jìn)行放縮。

3.數(shù)學(xué)題證明方法

一、證明方法

設(shè)N為任一大于6的偶數(shù)，Gn為不大于N/2的正整數(shù)，則有：

N=(N-Gn)+Gn (1)

如果N-Gn和Gn同時(shí)不能被不大于√N(yùn)的所有質(zhì)數(shù)整除，則N-Gn和Gn同時(shí)為奇質(zhì)數(shù)。設(shè)Gp(N)表示N-Gp和Gp同時(shí)為奇質(zhì)數(shù)的奇質(zhì)數(shù)Gp的個(gè)數(shù)，那么，只要證明：

當(dāng)N>M時(shí)，有Gp(N)>1，則哥德巴赫猜想當(dāng)N>M時(shí)成立。

二、雙數(shù)篩法

設(shè)Gn為1到N/2的自然數(shù)，Pi為不大于√N(yùn)的奇質(zhì)數(shù)，則Gn所對(duì)應(yīng)的自然數(shù)的總個(gè)數(shù)為N/2。如N-Gn和Gn這兩個(gè)數(shù)中任一個(gè)數(shù)被奇質(zhì)數(shù)Pi整除，則篩去該Gn所對(duì)應(yīng)的自然數(shù)，由此，被奇質(zhì)數(shù)Pi篩去的Gn所對(duì)應(yīng)的自然數(shù)的個(gè)數(shù)不大于INT(N/Pi)，則剩下的Gn所對(duì)應(yīng)的自然數(shù)的個(gè)數(shù)不小于N/2-INT(N/Pi)，與Gn所對(duì)應(yīng)的自然數(shù)的總個(gè)數(shù)之比為R(Pi):

R(Pi)≥（N/2-INT(N/Pi))/(N/2)≥（1-2/Pi）*INT((N/2)/Pi)/((N/2)/Pi) (2)

三、估計(jì)公式

由于所有質(zhì)數(shù)都是互質(zhì)的，可應(yīng)用集合論中獨(dú)立事件的交積公式，由公式（2）可得任一偶數(shù)表為兩個(gè)奇質(zhì)數(shù)之和的表法的數(shù)量的估計(jì)公式：

Gp(N)≥（N/4-1）*∏R(Pi)-1≥（N/4-1）*∏（1-2/Pi）*∏（1-2Pi/N）-1 (3)

式中∏R(Pi)表示所有不大于√N(yùn)的奇質(zhì)數(shù)所對(duì)應(yīng)的比值計(jì)算式的連乘。

四、簡(jiǎn)單證明

當(dāng)偶數(shù)N≥10000時(shí)，由公式（3）可得：

Gp(N)≥（N/2-2-∑Pi）*(1-1/2)*∏（1-2/Pi）-1

≥（N-2*√N(yùn)）/8*(1/√N(yùn))-1=（√N(yùn)-2）/8-1≥11>1 (4)

公式（4）表明：每一個(gè)大于10000的偶數(shù)表為兩個(gè)奇質(zhì)數(shù)之和至少有11種表法。

經(jīng)驗(yàn)證明：每一個(gè)大于4且不大于10000的偶數(shù)都可表為兩個(gè)奇質(zhì)數(shù)之和。

最后結(jié)論：每一個(gè)大于4的偶數(shù)都可表為兩個(gè)奇質(zhì)數(shù)之和。

4.初三數(shù)學(xué)的證明有哪些方法

1 過(guò)兩點(diǎn)有且只有一條直線 2 兩點(diǎn)之間線段最短 3 同角或等角的補(bǔ)角相等 4 同角或等角的余角相等 5 過(guò)一點(diǎn)有且只有一條直線和已知直線垂直 6 直線外一點(diǎn)與直線上各點(diǎn)連接的所有線段中，垂線段最短 7 平行公理 經(jīng)過(guò)直線外一點(diǎn)，有且只有一條直線與這條直線平行 8 如果兩條直線都和第三條直線平行，這兩條直線也互相平行 9 同位角相等，兩直線平行 10 內(nèi)錯(cuò)角相等，兩直線平行 11 同旁內(nèi)角互補(bǔ)，兩直線平行 12兩直線平行，同位角相等 13 兩直線平行，內(nèi)錯(cuò)角相等 14 兩直線平行，同旁內(nèi)角互補(bǔ) 15 定理 三角形兩邊的和大于第三邊 16 推論 三角形兩邊的差小于第三邊 17 三角形內(nèi)角和定理 三角形三個(gè)內(nèi)角的和等于180° 18 推論1 直角三角形的兩個(gè)銳角互余 19 推論2 三角形的一個(gè)外角等于和它不相鄰的兩個(gè)內(nèi)角的和 20 推論3 三角形的一個(gè)外角大于任何一個(gè)和它不相鄰的內(nèi)角 21 全等三角形的對(duì)應(yīng)邊、對(duì)應(yīng)角相等 22邊角邊公理（SAS） 有兩邊和它們的夾角對(duì)應(yīng)相等的兩個(gè)三角形全等 23 角邊角公理（ ASA）有兩角和它們的夾邊對(duì)應(yīng)相等的兩個(gè)三角形全等 24 推論（AAS） 有兩角和其中一角的對(duì)邊對(duì)應(yīng)相等的兩個(gè)三角形全等 25 邊邊邊公理（SSS） 有三邊對(duì)應(yīng)相等的兩個(gè)三角形全等 26 斜邊、直角邊公理（HL） 有斜邊和一條直角邊對(duì)應(yīng)相等的兩個(gè)直角三角形全等 27 定理1 在角的平分線上的點(diǎn)到這個(gè)角的兩邊的距離相等 28 定理2 到一個(gè)角的兩邊的距離相同的點(diǎn)，在這個(gè)角的平分線上 29 角的平分線是到角的兩邊距離相等的所有點(diǎn)的集合 30 等腰三角形的性質(zhì)定理 等腰三角形的兩個(gè)底角相等 （即等邊對(duì)等角） 31 推論1 等腰三角形頂角的平分線平分底邊并且垂直于底邊 32 等腰三角形的頂角平分線、底邊上的中線和底邊上的高互相重合 33 推論3 等邊三角形的各角都相等，并且每一個(gè)角都等于60° 34 等腰三角形的判定定理 如果一個(gè)三角形有兩個(gè)角相等，那么這兩個(gè)角所對(duì)的邊也相等（等角對(duì)等邊） 35 推論1 三個(gè)角都相等的三角形是等邊三角形 36 推論 2 有一個(gè)角等于60°的等腰三角形是等邊三角形 37 在直角三角形中，如果一個(gè)銳角等于30°那么它所對(duì)的直角邊等于斜邊的一半 38 直角三角形斜邊上的中線等于斜邊上的一半 39 定理 線段垂直平分線上的點(diǎn)和這條線段兩個(gè)端點(diǎn)的距離相等  40 逆定理 和一條線段兩個(gè)端點(diǎn)距離相等的點(diǎn)，在這條線段的垂直平分線上 41 線段的垂直平分線可看作和線段兩端點(diǎn)距離相等的所有點(diǎn)的集合 42 定理1 關(guān)于某條直線對(duì)稱的兩個(gè)圖形是全等形 43 定理 2 如果兩個(gè)圖形關(guān)于某直線對(duì)稱，那么對(duì)稱軸是對(duì)應(yīng)點(diǎn)連線的垂直平分線 44定理3 兩個(gè)圖形關(guān)于某直線對(duì)稱，如果它們的對(duì)應(yīng)線段或延長(zhǎng)線相交，那么交點(diǎn)在對(duì)稱軸上 45逆定理 如果兩個(gè)圖形的對(duì)應(yīng)點(diǎn)連線被同一條直線垂直平分，那么這兩個(gè)圖形關(guān)于這條直線對(duì)稱 46勾股定理 直角三角形兩直角邊a、b的平方和、等于斜邊c的平方，即a^2+b^2=c^2 47勾股定理的逆定理 如果三角形的三邊長(zhǎng)a、b、c有關(guān)系a^2+b^2=c^2 ，那么這個(gè)三角形是直角三角形 48定理 四邊形的內(nèi)角和等于360° 49四邊形的外角和等于360° 50多邊形內(nèi)角和定理 n邊形的內(nèi)角的和等于（n-2）*180° 51推論 任意多邊的外角和等于360° 52平行四邊形性質(zhì)定理1 平行四邊形的對(duì)角相等 53平行四邊形性質(zhì)定理2 平行四邊形的對(duì)邊相等 54推論 夾在兩條平行線間的平行線段相等 55平行四邊形性質(zhì)定理3 平行四邊形的對(duì)角線互相平分 56平行四邊形判定定理1 兩組對(duì)角分別相等的四邊形是平行四邊形 57平行四邊形判定定理2 兩組對(duì)邊分別相等的四邊形是平行四邊形 58平行四邊形判定定理3 對(duì)角線互相平分的四邊形是平行四邊形 59平行四邊形判定定理4 一組對(duì)邊平行相等的四邊形是平行四邊形 60矩形性質(zhì)定理1 矩形的四個(gè)角都是直角 61矩形性質(zhì)定理2 矩形的對(duì)角線相等 62矩形判定定理1 有三個(gè)角是直角的四邊形是矩形 63矩形判定定理2 對(duì)角線相等的平行四邊形是矩形 64菱形性質(zhì)定理1 菱形的四條邊都相等 65菱形性質(zhì)定理2 菱形的對(duì)角線互相垂直，并且每一條對(duì)角線平分一組對(duì)角 66菱形面積=對(duì)角線乘積的一半，即S=(a*b)÷2 67菱形判定定理1 四邊都相等的四邊形是菱形 68菱形判定定理2 對(duì)角線互相垂直的平行四邊形是菱形 69正方形性質(zhì)定理1 正方形的四個(gè)角都是直角，四條邊都相等 70正方形性質(zhì)定理2正方形的兩條對(duì)角線相等，并且互相垂直平分，每條對(duì)角線平分一組對(duì)角 71定理1 關(guān)于中心對(duì)稱的兩個(gè)圖形是全等的 72定理2 關(guān)于中心對(duì)稱的兩個(gè)圖形，對(duì)稱點(diǎn)連線都經(jīng)過(guò)對(duì)稱中心，并且被對(duì)稱中心平分 73逆定理 如果兩個(gè)圖形的對(duì)應(yīng)點(diǎn)連線都經(jīng)過(guò)某一點(diǎn)，并且被這一 點(diǎn)平分，那么這兩個(gè)圖形關(guān)于這一點(diǎn)對(duì)稱 74等腰梯形性質(zhì)定理 等腰梯形在同一底上的兩個(gè)角相等 75等腰梯形的兩條對(duì)角線相等 76等腰梯形判定定理 在同一底上的兩個(gè)角相等的梯形是等腰梯形 77對(duì)角線相等的梯形是等腰梯形 78平行線等分線段定理 如果一組平行線在一條直線上截得的線段 相等，那么在其他直線上截得的線段也相等 79 推論1 經(jīng)過(guò)梯形一腰的中點(diǎn)與底平行的直線，必平分另一腰 80 推論2 經(jīng)過(guò)三角形一邊的中點(diǎn)與另一邊平行的直線，必平分第 三邊 81 三角形。