Matematická věta: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.1) (robot změnil: am:እርግጥ |
m odkaz |
||
Řádek 3:
Aby se však takové tvrzení dalo považovat za větu, je třeba podat jeho [[matematický důkaz|důkaz]], to znamená logickým postupem ho odvodit z [[definice|definic]], [[axiom]]ů a z již dříve dokázaných vět.
Důkaz se za součást věty nepovažuje, a k jedné větě může existovat i více různých důkazů. Přesto je dokazování různých tvrzení jednou ze základních metod práce matematiků. Důkaz totiž hraje v matematice a [[logika|logice]] podobnou roli jako [[
Věta ve své první části obsahuje [[podmínka|podmínky]], které musí být pro její platnost splněny. Ty se často uvozují slovem ''nechť''. Například ''„Nechť ABC je pravoúhlý trojúhelník v rovině“''. Poté následuje vlastní [[tvrzení (matematika)|tvrzení]], často uvozované slovem ''pak'' či ''potom''. Například ''„Pak součet druhých mocnin délek jeho odvěsen se rovná druhé mocnině délky jeho přepony“'' ([[Pythagorova věta]])
| |||