Dany jest trójkąt KLM, w którym ∣LK∣=a oraz ∣LM∣=b. Dwusieczna kąta KLM przecina bok KM w punkcie N (zobacz rysunek).
Rozwiązanie krok po kroku
Sposób I: pole z sinusem kąta
To należało wykazać.
Krok 1. Połowy kąta KLM
odcinek LN leży na dwusiecznej
∣∢KLM∣=2α⇒∣∢KLN∣=∣∢NLM∣=α
Krok 2A. Pole KNL
PKNL=21⋅∣LK∣⋅∣LN∣⋅sinα
pole trójkąta z dwóch boków i sinusa kąta między nimi; kąt między bokami LK i LN to α
PKNL=21⋅a⋅∣LN∣⋅sinα
Krok 2B. Pole NML
PNML=21⋅∣LM∣⋅∣LN∣⋅sinα
ten sam wzór; kąt między bokami LM i LN też jest równy α
PNML=21⋅b⋅∣LN∣⋅sinα
Krok 3. Stosunek pól
PNMLPKNL=21⋅b⋅∣LN∣⋅sinα21⋅a⋅∣LN∣⋅sinα
czynniki 21, ∣LN∣ i sinα są wspólne dla licznika i mianownika
PNMLPKNL=ba
Sposób II: równe odległości od ramion kąta
To należało wykazać.
Krok 1. Wysokości z wierzchołka N
dwusieczna jest zbiorem punktów równoodległych od ramion kąta
N∈dwusieczna kąta KLM
odległości punktu N od półprostych LK i LM są równe, a to są wysokości trójkątów KNL i NML poprowadzone z wierzchołka N
hKNL=hNML=d
Krok 2. Stosunek pól
PNMLPKNL=21⋅b⋅d21⋅a⋅d
podstawami są boki LK=a i LM=b, a wysokość d jest wspólna
PNMLPKNL=ba
Zapis 21bh21ah bez wyjaśnienia, że h to wysokości obu trójkątów poprowadzone z wierzchołka N, i bez uzasadnienia ich równości nie jest dowodem. Rozumowanie oparte na konkretnej mierze kąta (np. 90∘) też nie jest dowodem.