Iz f(x1)=0 i f(x2)=0 i a2+b2=0 slijedi sin(x1+α)=0 i sin(x2+α)=0, odnosno
x1+α=mπ,x2+α=nπ
za neke m,n∈Z. Međutim, tada je
πx1−x2=m−n,
odnosno cijeli broj, što je kontradikcija s pretpostavkom. Dakle, mora vrijediti a=b=0.
Drugo rješenje.
Neka su f,x1,x2 kao u pretpostavci zadatka. Tada imamo sljedeći sustav jednadžbi:
acosx1+bsinx1=0,acosx2+bsinx2=0.
Prvi slučaj. Ako je a=0, b=0, imamo sustav
acosx1=0,acosx2=0,
iz kojeg slijedi da je ili a=0, ili je cosx1=cosx2=0. Međutim, ovo drugo bi značilo da je
x1=2π+kπ,x2=2π+lπ,
pa bi u tom slučaju vrijedilo x1−x2=(k−l)π, što je u kontradikciji s πx1−x2∈/Z. Dakle, ako je b=0, mora biti i a=0.
Analogno se vidi da vrijedi i obratno, ako je a=0 nužno je i b=0.
Drugi slučaj. Pretpostavimo da je a=0, b=0 i promotrimo dani sustav.
Ako je a=0, b=0, tada cosx1=0 povlači da je i sinx1=0 (i obratno), što je nemoguće jer sinus i kosinus ne mogu istovremeno imati vrijednost nula. Analogno vrijedi i za drugu jednadžbu, dakle možemo zaključiti cosx1=0, cosx2=0.
Tada možemo podijeliti prvu jednadžbu sustava s bcosx1, a drugu s bcosx2. Slijedi
ba=−cosx1sinx1=ba=−cosx2sinx2.
Iz toga slijedi da je tgx1=tgx2 pa vrijedi x1−x2=kπ, što je u kontradikciji s πx1−x2∈/Z. Prema tome, pretpostavka da su a i b različiti od nule je kriva, odnosno a=b=0.