Teorema lui Stewart este o teoremă metrică în planimetria euclidiană .
Ea afirmă că, dacă un punct se află pe o latură a unui triunghi , atunci
unde , și (Fig. 1). Segmentul AD se numește ceviana triunghiului ABC .
Una dintre dovezile teoremei se bazează pe aplicarea algebrei vectoriale și, în special, pe proprietățile produsului interior [1] . Să reprezentăm un vector a cărui lungime se dorește, în două moduri:
Înmulțiți prima ecuație cu lungimea și a doua cu
Acum să adăugăm ecuațiile rezultate:
unde din moment ce și au lungimi egale și sunt opuse. Prin urmare, vectorul în sine este
Lungimea sa poate fi obținută folosind produsul scalar al unui vector cu el însuși:
Mai mult, pentru a exprima în termeni de lungimi, trebuie să găsim
Din aceasta rezultă în cele din urmă că
|
Exprimăm AB și AC în termeni de laturile rămase ale triunghiurilor ABC și ACD și în termeni de unghiuri și adiacente unul altuia:
Înmulțiți prima ecuație cu și a doua cu
Pentru a scăpa de cosinusul unghiului ABD , adăugăm aceste egalități:
|
Teorema poartă numele matematicianului englez M. Stewart, care a demonstrat-o și a publicat-o în lucrarea Some General Theorems (1746, Edinburgh). Teorema a fost raportată lui Stuart de profesorul său R. Simson , care a publicat această teoremă abia în 1749.