Lema trident , numită și lema trefoil și lema lui Mansion , este o teoremă în geometria triunghiului legată de proprietățile cercului , excercului și circumcercului unui triunghi .
Lema trident este folosită ca o declarație auxiliară în demonstrarea multor teoreme, în special formula lui Euler sau în demonstrarea existenței cercului lui Euler .
Numele de „lema conacului” a fost dat în onoarea matematicianului belgian Paul Mansion . Numele „lemă trident” a fost dat datorită asemănării cu arma cu același nume a construcției cheii pentru lemă (roșu în figurile de mai jos).
Fie punctul triunghiului centrul cercului , punctul este centrul cercului opus vârfului , iar punctul este punctul de intersecție al segmentului cu arcul cercului circumscris (vezi dreapta). Atunci punctul este echidistant de , , și .
Versiuni speciale ale acestei declarații au diferite nume.
O altă opțiune pentru specificarea unui punct este ca centrul unui arc al cercului circumscris care nu conține un punct [4] .
Prin noi înțelegem unghiuri, respectiv. Dacă raza intersectează cercul circumscris într-un punct , atunci este punctul mijlociu al arcului , segmentul este bisectoarea unghiului . Desenând un segment de linie , observăm că
deoarece exteriorul triunghiului de asemenea
deoarece și sunt egale, deoarece se bazează pe același arc .Aceasta înseamnă că triunghiul este isoscel, adică egalitatea rezultă din faptul că același unghi se sprijină pe ambele acorduri . Astfel,
Am arătat că . Acum să demonstrăm că „mânerul” tridentului este egal cu aceeași valoare.
Extindem partea dincolo de un punct și luăm un punct undeva pe această extensie . Prin înțelegem prin înțelegem unghiul
Atunci trebuie să înțelegem că triunghiul este isoscel, adică că .
O parte,
și
deoarece exteriorul în triunghi: adică,Prin lema trident se poate dovedi existența cercului Euler .
Luați în considerare un triunghi ascuțit ABC. Rețineți că patrulaterele , , sunt înscrise (Fig. 1). Prin urmare, unghiurile sunt egale (Fig. 2).
Din aceasta rezultă că este bisectoarea triunghiului . Din motive complet similare, și , de asemenea, bisectoare în acest triunghi (Fig. 3). De asemenea, puteți observa că sunt bisectoarele exterioare ale triunghiului (pentru că fiecare dintre ele este perpendiculară pe bisectoarea sa interioară). Prin urmare, putem aplica lema trident de trei ori, pentru fiecare dintre laturi (Figura 4).
Din aceasta obținem că punctele medii ale segmentelor se află pe un cerc circumscris unui ortotriunghi . Acum aplicăm lema tridentului exterior de trei ori (Figura 5).
Obținem că punctele medii ale laturilor se află pe un cerc circumscris unui ortotriunghi.
Pentru a demonstra existența cercului Euler pentru un triunghi obtuz cu unghi obtuz , este suficient să luăm în considerare un triunghi ascuțit cu ortocentru și să-i aplicăm același raționament.