A bizonyítás logikai levezetések láncolata axiómákból, definíciókból és korábban bizonyított állításokból egy konklúzióig. Ez az igazság mércéje a matematikában. Egy állítást nem fogadunk el igaznak, amíg be nem bizonyítjuk.

A bizonyításoknak sokféle formája van. A közvetlen bizonyítás lépésről lépésre vezeti le a következtetést. Az ellentmondásos bizonyítás az ellenkezőjét feltételezi, és megmutatja, hogy az lehetetlenséghez vezet. A matematikai indukció az összes természetes számra vonatkozó állításokat egy alapeset és egy induktív lépés bizonyításával bizonyítja. A geometriai bizonyítások diagramokat és axiómákat használnak.

A bizonyítások írása gyakorlás útján fejleszthető készség. Érthetőséget, szigorúságot és kreativitást igényel. A diákok az első bizonyításokkal gyakran a geometriában találkoznak, de a bizonyítás a matematika minden ágában központi szerepet játszik. A bizonyítás nemcsak az igazságot állapítja meg, hanem meg is magyarázza, hogy valami miért igaz.

• Logikai érvelés az igazság megalapozására
• Alakok: direkt, ellentmondás, indukció
• Axiómákból és korábbi eredményekből építkezve
• Magyarázza el, miért igaz egy állítás