Among the following four propositions, the true one is
A: There exists such that
B: The negation of "For any , " is "There exists such that "
C: For all , the function is not an even function
D: In triangle , "" is a necessary and sufficient condition for ""
Problem 113
Official solution
Solution:
A. If , then ,
Since , we have , which implies , i.e., ,
But since , does not hold. Therefore, the statement that there exists such that is false. Hence, option A is incorrect.
B. The negation of "For any , " is "There exists such that ". Therefore, option B is incorrect.
C. When , is an even function. Hence, option C is incorrect.
D. In triangle , if , then ,
Thus, from , the necessity holds;
Since ,
We have ,
Squaring both sides gives ,
Thus, ,
Therefore, ,
This implies or ,
i.e., or ,
When , "" is equivalent to ,
Thus, , i.e., , and in this case, ,
In summary, always holds, which means the sufficiency is established,
Overall, in triangle , "" is a necessary and sufficient condition for "". Therefore, option D is correct.
Hence, the choice is:
A. Judged based on the properties of trigonometric functions.
B. Judged based on the negation of a universal proposition being an existential proposition.
C. Judged based on the odd-even properties of trigonometric functions.
D. Judged based on the definitions of necessary and sufficient conditions, using the squaring method.
This question mainly examines the judgment of the truthfulness of propositions, involving a wide range of knowledge points and requiring strong comprehensive skills to test students' calculation and reasoning abilities.