Dan je pravokutan trokut ABC s pravim kutom pri vrhu C, u kojem je M polovište katete BC. Dokaži da je sin(∠MAB)≤31. Kada se postiže jednakost?
Rješenje
Kako je ∠MAB=∠CAB−∠CAM, po adicijskom teoremu za sinus imamo
sin(∠MAB)=sin(∠CAB)cos(∠CAM)−cos(∠CAB)sin(∠CAM).
Uz oznake ∣BC∣=a, ∣CA∣=b, ∣AB∣=c i ∣AM∣=t, iz pravokutnih trokuta ABC i AMC dobivamo
sin(∠MAB)=ca⋅tb−cb⋅ta/2=2ctab.
Kako je ∠MAB šiljasti kut, njegov sinus je pozitivan, pa je dovoljno dokazati da vrijedi
(sin(∠MAB))2≤91,4c2t2a2b2≤91.
Budući da je c2=a2+b2 i t2=4a2+b2, to je ekvivalentno s
9a2b2≤(a2+b2)(a2+4b2)
odnosno
(a2−2b2)2≥0.
Sada je jasno da zadana nejednakost vrijedi u svakom pravokutnom trokutu.
Jednakost se postiže kada je a2=2b2, tj. u pravokutnim trokutima u kojima vrijedi ∣BC∣=∣AC∣2.