How do you factor 16-a^16?

2 Answers
Apr 3, 2018

(4-a^8)(4+a^8)

Explanation:

Difference of two squares

Apr 3, 2018

16-a^16 = (root(4)(2)-a)(root(4)(2)+a)(sqrt(2)+a^2)(sqrt(2)-2^(3/4)a+a^2)(sqrt(2)+2^(3/4)a+a^2)(sqrt(2)-sqrt(2sqrt(2)+2)a+a^2)(sqrt(2)+sqrt(2sqrt(2)+2)a+a^2)(sqrt(2)-sqrt(2sqrt(2)-2)a+a^2)(sqrt(2)+sqrt(2sqrt(2)-2)a+a^2)

Explanation:

The difference of squares identity can be written:

A^2-B^2=(A-B)(A+B)

Given:

16-a^16

We can start to factor this using the difference of squares identity as follows:

16-a^16 = 4^2-(a^8)^2

color(white)(16-a^16) = (4-a^8)(4+a^8)

color(white)(16-a^16) = (2^2-(a^4)^2)(4+a^8)

color(white)(16-a^16) = (2-a^4)(2+a^4)(4+a^8)

color(white)(16-a^16) = ((sqrt(2))^2-(a^2)^2)(2+a^4)(4+a^8)

color(white)(16-a^16) = (sqrt(2)-a^2)(sqrt(2)+a^2)(2+a^4)(4+a^8)

color(white)(16-a^16) = ((root(4)(2))^2-a^2)(sqrt(2)+a^2)(2+a^4)(4+a^8)

color(white)(16-a^16) = (root(4)(2)-a)(root(4)(2)+a)(sqrt(2)+a^2)(2+a^4)(4+a^8)

Sticking with real coefficients for now, we can go a little further with some of the remaining factors.

For example:

2+a^4 = (sqrt(2)+a^2)^2-2sqrt(2)a^2

color(white)(2+a^4) = (sqrt(2)+a^2)^2-(2^(3/4)a)^2

color(white)(2+a^4) = ((sqrt(2)+a^2)-2^(3/4)a)((sqrt(2)+a^2)+2^(3/4)a)

color(white)(2+a^4) = (sqrt(2)-2^(3/4)a+a^2)(sqrt(2)+2^(3/4)a+a^2)

Similarly:

4+a^8 = (2+a^4)^2-4a^4

color(white)(4+a^8) = (2+a^4)^2-(2a^2)^2

color(white)(4+a^8) = ((2+a^4)-2a^2)((2+a^4)+2a^2)

color(white)(4+a^8) = (2-2a^2+a^4)(2+2a^2+a^4)

Then:

2-2a^2+a^4 = (sqrt(2)+a^2)^2-(2sqrt(2)+2)a^2

color(white)(2-2a^2+a^4) = (sqrt(2)+a^2)^2-(sqrt(2sqrt(2)+2)a)^2

color(white)(2-2a^2+a^4) = ((sqrt(2)+a^2)-sqrt(2sqrt(2)+2)a)((sqrt(2)+a^2)+sqrt(2sqrt(2)+2)a)

color(white)(2-2a^2+a^4) = (sqrt(2)-sqrt(2sqrt(2)+2)a+a^2)(sqrt(2)+sqrt(2sqrt(2)+2)a+a^2)

Similarly:

2+2a^2+a^4 = (sqrt(2)-sqrt(2sqrt(2)-2)a+a^2)(sqrt(2)+sqrt(2sqrt(2)-2)a+a^2)

We can combine all of these to give a complete factorisation of 16-a^16 over the reals:

16-a^16 = (root(4)(2)-a)(root(4)(2)+a)(sqrt(2)+a^2)(sqrt(2)-2^(3/4)a+a^2)(sqrt(2)+2^(3/4)a+a^2)(sqrt(2)-sqrt(2sqrt(2)+2)a+a^2)(sqrt(2)+sqrt(2sqrt(2)+2)a+a^2)(sqrt(2)-sqrt(2sqrt(2)-2)a+a^2)(sqrt(2)+sqrt(2sqrt(2)-2)a+a^2)