4

Prove $$\sin^2(\theta)+\cos^4(\theta)=\cos^2(\theta)+\sin^4(\theta)$$

I only know how to solve using factoring and the basic trig identities, I do not know reduction or anything of the sort, please prove using the basic trigonometric identities and factoring.

After some help I found that you move the identity around, so:

$\sin^2(\theta)-\cos^2(\theta)=\sin^4(\theta)-\cos^4(\theta)$

Then,

$\sin^2(\theta)-\cos^2(\theta)=(\sin^2(\theta)+\cos^2(\theta))(\sin^2(\theta)-\cos^2(\theta))$

the positive sum of squares defaults to 1 and then the right side equals the left, but how does that prove the original identity?

  • Take the last step, and argue in reverse. e.g. $$\sin^2\theta-\cos^2\theta = \sin^2\theta-\cos^2\theta\implies\sin^2\theta-\cos^2\theta=(\sin^2\theta+\cos^2 \theta)(\sin^2\theta-\cos^2\theta)=\dots$$ – John Joy Aug 30 '15 at 00:23

10 Answers10

17

Rewrite this as

$$ \sin^2 \theta - \cos^2 \theta = \sin^4 \theta - \cos^4 \theta $$ and then factor the right-hand side as a difference of two squares.

Micah
  • 38,108
  • 15
  • 85
  • 133
7

As $\cos^2 \theta +\sin^2 \theta= 1$ we have $$\cos^4 \theta -\sin^4 \theta =(\cos^2 \theta -\sin^2 \theta)\color{red}{(\cos^2 \theta +\sin^2 \theta)}= \cos^2 \theta -\sin^2 \theta$$ That is,

$$\sin^2 \theta +\cos^4 \theta =\cos^2 \theta +\sin^4 \theta$$

J. W. Tanner
  • 60,406
Guy Fsone
  • 23,903
5

I took the long-haul approach for you since it's nice and clear to see. There is a lot of play around with the fact: $\sin^2\theta + \cos^2\theta = 1 $ rearranged into $\sin^2\theta = 1 - \cos^2\theta $ and $\cos^2\theta = 1 - \sin^2\theta $

We can see that: $\cos^4\theta = \cos^2\theta\cos^2\theta = (1-\sin^2\theta)(1-\sin^2\theta) = 1-2\sin^2\theta + \sin^4\theta $

$\sin^2\theta + \cos^4\theta = \cos^2\theta + \sin^4\theta $

$\sin^2\theta + (1-2\sin^2\theta + \sin^4\theta) = \cos^2\theta + \sin^4\theta $

$\sin^2\theta + 1-2\sin^2\theta + \sin^4\theta = \cos^2\theta + \sin^4\theta $

$\sin^4\theta-\sin^2\theta+1= \cos^2\theta + \sin^4\theta $

$\sin^4\theta-(1-\cos^2\theta)+1=\cos^2\theta + \sin^4\theta $

$\sin^4\theta-1+\cos^2\theta+1=\cos^2\theta + \sin^4\theta $

$\sin^4\theta+\cos^2\theta=\cos^2\theta + \sin^4\theta $

Leo
  • 110
  • (1−2sin2θ+sin4θ) where did you get this expression from? – Sunny Mann Aug 30 '15 at 00:30
  • 1
    Expanding Brackets. Imagine the sin2(θ) as (sin(θ))^2. Then (1−sin2θ)(1−sin2θ) = (1)(1) + (1)(-sin2θ) + (1)(-sin2θ) + (-sin2θ)(-sin2θ) = 1 - sin2θ - sin2θ + sin4θ ) = 1 - 2sinθ + sin4θ – Leo Aug 30 '15 at 00:30
  • you jumped from +$\cos^4(\theta)$ to ($1-2\sin^2(\theta)+\sin^4(\theta))$ How? – Sunny Mann Aug 30 '15 at 00:34
  • We can write $\cos^4\theta $ as $\cos^2\theta\cos^2\theta $. Imagine it as $(\cos\theta)^4 = (\cos\theta)^2(\cos\theta)^2 $. – Leo Aug 30 '15 at 00:37
  • it's supposed to be $1- \sin^2(\theta), no? – Sunny Mann Aug 30 '15 at 00:40
  • Then because $ (\cos\theta)^2 = \cos^2\theta = 1 - \sin^2\theta $ which is rearranged from the trigonometric identity: $\sin^2\theta + \cos^2\theta = 1$. You can substitude the $\cos^2\theta $ in our $\cos^2\theta\cos^2\theta $ to give $ (1 - \sin^2\theta)(1-\sin^2\theta) $ and then expand from there :) Look to see the second paragraph in the answer. – Leo Aug 30 '15 at 00:43
  • Yes it is! The $\cos^2\theta $ can be substituted for $ 1 - \sin^2\theta $ but we have two lots of them from the $ \cos^4\theta = (\cos^2\theta)(\cos^2\theta) $! – Leo Aug 30 '15 at 00:48
2

Here would be the other points to remember:

$sin^2\theta+cos^2\theta=1$

$x^4-y^4=(x^2-y^2)(x^2+y^2)$

JB King
  • 3,644
1

Here's an alternative. I'm not quite sure if this qualifies as a proof, but I think it's an interesting fact:

Consider the function

$$f(\theta) = \sin^2{\theta} - \cos^2{\theta} - \sin^4 \theta + \cos^4 \theta $$

Thus, $f'(\theta) = 4 \sin\theta \cos\theta \, ( 1 - \sin^2\theta - \cos^2 \theta ) = 0$ and $f$ is therefore constant for any $\theta$. We discover this constant is 0 since $f(0) = 0$.

Hope you find this useful/interesting.

Dmoreno
  • 7,517
1

A "forwards" proof:

Render

$sin^2\theta+\cos^4\theta=sin^2\theta+(1-cos^2\theta)^2=sin^2\theta+(1-2\sin^2\theta+sin^4\theta)$

Regroup the terms on the right as

$(sin^2\theta+1-2sin^2\theta)+\sin^4\theta$

and put $1-\sin^2\theta=\cos^2\theta$.

Oscar Lanzi
  • 39,403
0

$$\sin^2\theta+\cos^4\theta=\sin^2\theta+\bigg(\cos^2\theta\bigg)^2=\sin^2\theta+\bigg(1-\sin^2\theta\bigg)^2=\dots$$

John Joy
  • 7,790
0

You can prove this fact by showing that the LHS and RHS agree at the point 0 and that their derivatives are equal everywhere.

Let's use the following as abbreviations for sine and cosine.

$$ y(t) = \sin(t) $$ $$ x(t) = \cos(t) $$

We want to show (Orig).

$$ y^2 + x^4 = x^2 + y^4 \tag{Orig} $$

Negate the goal.

$$ y^2 + x^4 \neq x^2 + y^4 \tag{NG} $$

If we can show that $y(0)^2 + x(0)^4 \neq x(0)^2 + y(0)^4 $ (101) and that the derivatives of both sides are unequal (105), that's equivalent to (NG).

$$ y(0)^2 + x(0)^4 \neq x(0)^2 + y(0)^4 \tag{101} $$ $$ 0 + 1 \neq 1 + 0 \tag{102} $$ $$ 1 \neq 1 \tag{103} $$ $$ \bot \tag{104} $$

And the derivative

$$ (y^2 + x^4)' \neq (x^2 + y^4)' \tag{105} $$ $$ 2yy' + 4x^3x' \neq 2xx' + 4y^3y' \tag{106} $$

Normalize $y' \mapsto x$ and $x' \mapsto -y$ .

$$ 2yx - 4x^3y \neq -2yx + 4y^3x \tag{107} $$

Combine like terms.

$$ 4yx \neq 4y^3x + 4x^3y \tag{108} $$ $$ 4yx \neq 4yx\cdot(y^2 + x^2) \tag{109} $$ $$ 4yx \neq 4yx\cdot 1 \tag{110} $$ $$ 4yx \neq 4yx \tag{111} $$ $$ \bot \tag{112} $$

Greg Nisbet
  • 11,657
0

$$ \sin^2\theta + \cos^4\theta = \cos^2\theta + \sin^4\theta$$

$$ \Longleftrightarrow $$

$$ \sin^2\theta - \cos^2\theta = \sin^4\theta - \cos^4\theta$$

$$ \Longleftrightarrow $$

$$ \sin^2\theta - \cos^2\theta = (\underbrace{\sin^2\theta + \cos^2\theta}_{1})(\sin^2\theta - \cos^2\theta) $$

$$ \Longleftrightarrow $$

$$ \sin^2\theta - \cos^2\theta = \sin^2\theta - \cos^2\theta $$

DDS
  • 3,199
  • 1
  • 8
  • 31
0

Bringing everything in terms of $\cos \theta=c: $ $$LHS=1-c^2+c^4\,;$$ $$RHS= c^2+(1-c^2)^2= c^2 +1-2 c^2 +c^4=1-c^2+c^4\,=LHS\,$$

Narasimham
  • 40,495