Sejam a, b e c números reais com a e b diferentes de 0. Prove que existe um número real x tal que asen(x) bcos(x) = c se, e somente se, a² b²>=c.