Prvo rješenje.
Prema poučku o sinusima vrijedi.
ca+b=sinγsinα+sinβ=2sin2γcos2γ2sin2α+βcos2α−β=2sin2γcos2γ2sin2180∘−γcos2α−β=sin2γcos2α−β.
Ako je α−β=90∘, tada je cos2α−β=cos45∘=22. Zato je dovoljno dokazati
sin2γ=22⋅a+bc⇔21−cosγ=2(a+b)2c2
odnosno
cosγ=1−(a+b)2c2=(a+b)2(a+b)2−c2.
Uvrstimo li zadanu vrijednost za c, imamo
cosγ=(a+b)2(a+b)2−a2+b2(a2−b2)2=(a2+b2)(a+b)2(a+b)2(a2+b2)−(a+b)2(a−b)2=(a2+b2)(a+b)2(a+b)2[(a2+b2)−(a−b)2]=a2+b22ab.
Sada je dovoljno dokazati da za zadani trokut vrijedi posljednja jednakost. Prema poučku o kosinusima, za zadane stranice vrijedi
cosγ=2aba2+b2−c2=2aba2+b2−a2+b2(a2−b2)2=2ab(a2+b2)(a2+b2)2−(a2−b2)2=2ab(a2+b2)4a2b2=a2+b22ab.
Drugo rješenje.
Označimo na stranici BC točku D takvu da je ∣AD∣=∣BD∣. Sada treba dokazati da je trokut ADC pravokutan, odnosno
b2+x2=(a−x)2
gdje je x=∣AD∣=2cosβc.

Tvrdnja je ekvivalentna s
b2=(a−2x)a=(a−cosβc)a=(a−ca2+c2−b22ac)a=a2(1−a2+c2−b22c2),
odnosno s
1−a2b2=a2+c2−b22c2.
Invertiranjem dobijemo
a2−b2a2=2c2a2−b2+21
i odavde
c2=a2+b2(a2−b2)2
što je ispunjeno uvjetom zadatka. Dakle, ∠DAC=α−β=90∘.