Sejam a,b,α,β números reais tais que 0≤a,b≤1 e 0≤α,β≤2π. Mostre que se abcos(α−β)≤(1−a2)(1−b2),então acosα+bsenβ≤1+absen(β−α).