Este cunoscută ca o teoremă a propoziției care poate fi demonstrată logic dintr-o axiomă sau din alte teoreme care au fost deja demonstrate respectiv. În acest context, este esențial să se respecte anumite reguli de inferență pentru a se ajunge la demonstrația menționată.

Pitagora de Samos ( 582 î.Hr. - 507 î.Hr. ), de asemenea, a fost un filosof și matematician de origine greacă. Spre deosebire de ceea ce se poate presupune, Pitagora nu a fost cel care a creat teorema care îi poartă numele. Această teoremă a fost dezvoltată și aplicată mult mai devreme în Babilonia și în India ; cu toate acestea, școala Pitagora (și nu Pythagoras însuși) a fost un pionier în găsirea unei dovezi oficiale pentru această teoremă.

Pitagora poate de asemenea să spună că este considerat primul matematician pur al întregii istorii și a ajutat într-un mod solid dezvoltarea unor domenii științifice cum ar fi matematica menționată anterior, dar și a geometriei, aritmeticii, astronomiei și muzicii. Și mulțumesc atât teoremei sale menționate mai sus, cât și altor descoperiri importante, cum ar fi semnificația funcțională a numerelor sau incomensurabilitatea laturilor și diagonala a ceea ce este pătratul.

În special, se poate spune că așa-numita teoremă pithagoreană afirmă că pătratul de hypotenuse, în triunghiurile drepte, este egal cu suma pătratelor picioarelor . Pentru a înțelege această afirmație, trebuie să ținem cont de faptul că un triunghi care este identificat drept dreptunghi este cel care are un unghi drept (adică măsoară 90º), că hipotensiunea constă în cea mai lungă parte a figurii (și opusă) în unghi drept) și că picioarele sunt caracterizate prin faptul că sunt cele două laturi mai mici ale triunghiului drept.

Importanța, prin urmare, a acestei teoreme care ne ocupă acum este că ne permite să descoperim o măsură bazată pe două date concrete. Adică, a fost un pas important în domeniul matematic, deoarece a ajuns la faptul că știind lungimea a două laturi ale unui triunghi drept, putem afla care este lungimea celei de-a treia părți.

În 1927, matematicianul ES Loomis a compilat mai mult de 350 de dovezi ale teoremei pitagoreene. Loomis a clasificat aceste demonstrații în patru grupe: demonstrații geometrice, care se fac pe baza comparării zonelor ; demonstrațiile algebrice, dezvoltate în funcție de legătura dintre laturi și segmentele triunghiului; demonstrații dinamice, care fac apel la proprietățile forței; și demonstrațiile cuaternionale care apar cu utilizarea vectorilor.

În cazul demonstrațiilor geometrice, trebuie remarcat faptul că mulți dintre aceștia sunt autori sau oameni de știință care le-au desfășurat pe parcursul istoriei. Printre aceștia ar trebui să evidențiem, de exemplu, marele filozof Platon, care la dezvoltat în faimoasele sale dialoguri sau matematicianul Euclid.

Algebricele au condus, de asemenea, la personaje diferite, au decis, într-un fel sau altul, să ridice, să se dezvolte și să demonstreze într-o realitate și tangibilă. Astfel, în acest caz, ar trebui să menționăm figuri ilustre precum Leonardo da Vinci, care a realizat construirea și demonstrarea acestei forme a teoremei Pitagoraene menționate mai sus.