Подскажите с тригонометрией
(не могу понять нужна ли какая-либо формула или есть другой путь..?)

Благодарю!

sin[π/2-(π/3-t)]*cos(π/3-t)+sin[π-(π/3-t)]*sin(π/3-t)==cos(π/3-t)*cos(π/3-t)+sin(π/3-t)*sin(π/3-t)=cos²(π/3-t)+sin²(π/3-t)=1