Как решать(x3,да), какие формулы для тригонометрических выражений используются?
Да никакие, это стандартные углы, табличные значения π/4=45°, cos45=√2/2; cos7π/3=cosπ/3=1/2, итого =2