Reduction to acute angle of trigonometric functions