abender
- 4
- 0
Hi, fellas. In response to someone's request on another form to find the range of [tex]\sec^4(x)+\csc^4(x)[/tex], I offered the following solution and explanation:
kjchauhan said:Please help me to find the range of [tex]sec^{4}(x)+cosec^{4}(x)[/tex].
Thanks in advance.
[tex]\sec^4(x) = (\sec^2(x))^2 = (1+\tan^2(x))^2 = \tan^4(x) + 2\tan^2 + 1[/tex]
[tex]\csc^4(x) = (\csc^2(x))^2 = (1+\cot^2(x))^2 = \cot^4(x) + 2\cot^2 + 1[/tex][tex]\sec^4(x) + \csc^4(x) = \tan^4(x) + 2\tan^2 + 1 + \cot^4(x) + 2\cot^2 + 1[/tex][tex]= \tan^4(x) + \cot^4(x) + 2(\tan^2(x)+\cot^2(x)) + 2[/tex]
The range of [tex]\tan(x)[/tex] is [tex](-\infty, \infty)[/tex]. Likewise, the range of [tex]\cot(x)[/tex] is [tex](-\infty, \infty)[/tex].
Since [tex]\tan^4(x)[/tex] and [tex]\cot^4(x)[/tex] are positive even powers, both have range [tex][0,\infty)[/tex].
BELOW is where others may disagree with me:
I contend that the range of [tex]\tan^4(x)+\cot^4(x)[/tex] is [tex](0,\infty)[/tex] as opposed to [tex][0,\infty)[/tex], which the sum of the parts may intuitively suggest.
The two ranges differ insofar [tex](0,\infty)[/tex] does not contain [tex]0[/tex], whereas [tex][0,\infty)[/tex] does contain [tex]0[/tex].
I believe that the range of [tex]\tan^4(x)+\cot^4(x)[/tex] should NOT include 0, i.e., it should be [tex](0,\infty)[/tex].
Proof is achieved if we show [tex]\tan^4(x)+\cot^4(x)>0[/tex] on the entire domain (reals that are not multiples of [tex]\pi[/tex]).
Both terms in [tex]\tan^4(x)+\cot^4(x)[/tex] are non-negative in the reals, so clearly the sum itself is non-negative.
[tex]\tan^4(x)+\cot^4(x)[/tex] cannot equal 0 because then either [tex]\tan^4(x)=-\cot^4(x)[/tex] (which per the line above is not possible) OR [tex]\tan^4(x)=\cot^4(x)=0[/tex], which also can't happen because [tex]\cot^4(x)=\tfrac{1}{\tan^4(x)}[/tex] and 0 cannot be a denominator.
As such, [tex]\tan^4(x)+\cot^4(x)>0[/tex].
And with this new information, [tex]\sec^4(x) + \csc^4(x) = \underbrace{\left[\tan^4(x) + \cot^4(x)\right]}_{\text{always positive!}} + 2\underbrace{(\tan^2(x)+\cot^2(x))}_{\text{can show positive similarly}} + 2 > 2[/tex].
It at long last follows that the range of [tex]\sec^4(x) + \csc^4(x)[/tex] is [tex]\left(2,\infty\right)[/tex].
If someone has an argument for a left bracket instead of my left open parenthesis, I'd love to hear it!
-Andy