MathDB
SMT 2023 Algebra #2

Source:

May 3, 2023

Problem Statement

Compute the number of values of xx in the interval [11π,2π][-11\pi,-2\pi] that satisfy 5cos(x)+45sin(x)+3=0\tfrac{5\cos(x)+4}{5\sin(x)+3}=0.