Teoremă
O teoremă este o idee demonstrată în matematică. Teoremele sunt demonstrate folosind logica și alte teoreme care au fost deja demonstrate. O teoremă pe care cineva trebuie să o demonstreze pentru a putea demonstra o altă teoremă se numește lemă. Teoremele sunt alcătuite din două părți, există ipoteze și concluzii.
Teoremele utilizează deducția, spre deosebire de teoriile care sunt empirice.
Unele teoreme sunt triviale, ele rezultă direct din propoziții. Alte teoreme sunt numite "profunde", demonstrarea lor este lungă și dificilă. Uneori, astfel de demonstrații implică alte domenii ale matematicii sau arată conexiuni între diferite domenii. O teoremă poate fi simplu de enunțat și totuși să fie profundă. Un exemplu excelent este ultima teoremă a lui Fermat și există multe alte exemple de teoreme simple, dar profunde, în teoria numerelor și combinatorică, printre alte domenii.
Există și alte teoreme pentru care se cunoaște o demonstrație, dar care nu poate fi scrisă cu ușurință. Printre cele mai bune exemple se numără teorema celor patru culori și conjectura lui Kepler. Ambele teoreme sunt cunoscute ca fiind adevărate doar prin reducerea lor la o căutare computațională, care este apoi verificată de un program de calculator. La început, mulți matematicieni nu au acceptat această formă de demonstrație, dar în ultimii ani a devenit mai larg acceptată. Matematicianul Doron Zeilberger a mers chiar atât de departe încât a afirmat că este posibil ca acestea să fie singurele rezultate non-triviale pe care matematicienii le-au demonstrat vreodată. Multe teoreme matematice pot fi reduse la un calcul mai simplu, inclusiv identitățile polinomiale, identitățile trigonometrice și identitățile hipergeometrice.
Teorema lui Pitagora are cel puțin 370 de demonstrații cunoscute.
Cărți
- Heath, Sir Thomas Little (1897), The works of Archimedes, Dover, recuperat 2009-11-15
- Hoffman, P. (1998). The Man Who Loved Only Numbers (Omul care iubea doar numerele): The Story of Paul Erdős and the Search for Mathematical Truth (Povestea lui Paul Erdős și a căutării adevărului matematic). Hyperion, New York.
- Petkovsek, Marko; Wilf, Herbert; Zeilberger, Doron (1996). "A = B". A.K. Peters, Wellesley, Massachusetts. External link in
|title=(help)CS1 maint: multiple names: authors list (link)
Întrebări și răspunsuri
Î: Ce este o teoremă?
R: O teoremă este o idee a cărei veridicitate a fost demonstrată în matematică folosind logica și alte teoreme care au fost deja demonstrate.
Î: Ce este o lemă?
R: O lemă este o teoremă minoră pe care trebuie să o demonstrezi pentru a demonstra o teoremă majoră.
Î: Cum se alcătuiesc teoremele?
R: Teoremele sunt alcătuite din două părți - ipoteze și concluzii - și utilizează deducția mai degrabă decât teoriile empirice.
Î: Toate teoremele sunt dificil de demonstrat?
R: Nu, unele teoreme sunt triviale, deoarece rezultă direct din propoziții, în timp ce altele necesită demonstrații lungi și dificile care implică alte domenii ale matematicii sau arată conexiuni între diferite domenii.
Î: Poate fi o teoremă simplă, dar profundă?
R: Da, un exemplu în acest sens ar fi ultima teoremă a lui Fermat, care este simplu de enunțat, dar a cărei demonstrație este lungă și dificilă.
Î: Există teoreme pentru care se cunoaște o demonstrație, dar care nu pot fi scrise cu ușurință?
R: Da, printre exemple se numără teorema celor patru culori și conjectura lui Kepler, care pot fi verificate numai prin rularea lor prin programe de calculator.
Î: Teoremele matematice pot fi uneori reduse la calcule mai simple?
R: Da, teoremele matematice pot fi uneori reduse la calcule mai simple, cum ar fi identitățile polinomiale, identitățile trigonometrice sau identitățile hipergeometrice.
