네 맞습니다. 지금은 그게 치환되어 결국 최종형이 cos이 남으므로 그 값은 양수만 된다는 의미입니다. 예를 들어서 설명하면 y=t² 의 함수에서 t가 양수이건 음수이건 결국 t²은 양수가 되는것처럼 이 문제에서도 x가 tan이므로 양수 음수가 모두 될 수 있는데 식을 정리한 최종형은 결국 양수만 되는것입니다.