اثبات یک تساوی مثلثاتی