1、公 理 與 定 理本課內(nèi)容本節(jié)內(nèi)容2.3 在本章2.2節(jié)的例題、練習(xí)和習(xí)題2.2的A組題中，判斷下列命題為真命題是根據(jù)什么呢？ 說一說 是分別根據(jù)實數(shù)、整數(shù)、有理數(shù)、正方形的定義作出的判斷 （1）如果a是有理數(shù)，那么a是實數(shù)；（2）如果m是自然數(shù)，那么m是整數(shù)；（3）如果a是整數(shù)，那么a是有理數(shù)；（4）如果四邊形ABCD是正方形，那么它是矩形結(jié)論 從上面的例子看到，在判斷一個命題是否為真命題時常常要利用一些概念的定義，但是光用定義只能判斷一些很簡單的命題是否為真. 對于絕大多數(shù)命題的真假的判斷，光用定義是遠(yuǎn)遠(yuǎn)不夠的，那么除了根據(jù)定義外，還能根據(jù)什么來推理，去判斷命題的真假呢？結(jié)論數(shù)學(xué)中有些命題

2、的正確性是人們在長期實踐中總結(jié)出來的，并把它們作為判斷其他命題真假的原始依據(jù)，這樣的真命題叫做公理.有些命題可以從公理或其他真命題出發(fā)，用邏輯推理的方法判斷它們是正確的，并且可以進(jìn)一步作為判斷其他命題真假的依據(jù)，這樣的真命題叫做定理 古希臘數(shù)學(xué)家歐幾里得(Euclid，約公元前330前275)對他那個時代的數(shù)學(xué)知識作了系統(tǒng)化的總結(jié)，他挑選出一些人們在長期實踐中總結(jié)出來的公認(rèn)的真命題，作為證明的原始依據(jù)，稱這些真命題為公理. 小知識歐幾里得小知識 歐幾里得按照這種方法(現(xiàn)在稱為公理化方法)編寫了一本書，書名叫原本.全書共分13卷，包括有5條公理，5條公設(shè)，119個定義和465條命題，構(gòu)成了歷史上

3、第一個數(shù)學(xué)公理體系（注：歐幾里得把公設(shè)和公理加以區(qū)分，即公理是適用于一切科學(xué)的真理，而公設(shè)只適用于幾何.近代數(shù)學(xué)對此不再區(qū)分，都稱為公理.)原本.舉例：1 公理通過過兩點有且只有一條直線.（2）線段公理：兩點之間，線段最短.（4）平移公理：平移不改變圖形的形狀和大小，平移不改變直線的方向.（1）直線公理：（3）平行公理：經(jīng)過一條直線外一點，有且只有一條直線與已知直線平行.結(jié)論 我們把曾學(xué)過的定理的證明線索用框圖列舉出來，作為附錄，放在本冊書的最后，供同學(xué)們學(xué)習(xí)時查閱平行線的性質(zhì)定理 兩條直線被第三條直線所截，如果這兩條直線 平行，那么同位角相等動腦筋平行線的判定定理 兩條直線被第三條直線所截，

4、如果同位角相等，那么這兩條直線平行上述這兩個定理是不是互逆的命題？1212 如果一個定理的逆命題也是定理，那么稱它是原來定理的逆定理，這兩個定理稱為互逆的定理. 例如，平行線的判定定理是平行線的性質(zhì)定理的逆定理一個命題一定會有逆命題，但一個定理不一定有逆定理，只有當(dāng)它的逆命題為真時，它才有逆定理做一做（1）線段垂直平分線上任意一點到這條線段兩端 點的距離相等；下列定理有逆定理嗎？如果有，把它說出來答：如果一點到線段兩端點的距離相等， 那么這點在這條線段的垂直平分線上；（2）等腰三角形的兩底角相等；（3）平行四邊形的對角線互相平分答：在三角形中，如果有兩個角相等， 那么這個三角形是等腰三角形；答：如果四邊形的對角線互相平分，那么這 個四邊形是平行四邊行.練習(xí)1. 三角形全等的判定定理有哪些？ 答：SAS，AAS, ASA，SSS.2.下列定理有逆定理嗎？如果有，把它寫出來（1）兩條直線被第三條直線所截，如果這兩直線 平行，那么內(nèi)錯角相等；答：兩直線被第三條直線所截，如果內(nèi)錯角相等， 那么這兩條直線平行；（3）平行四邊形的對邊相等答：到角的兩邊距離相等