Factorizing X^4 + 1: Step-by-Step Guide

[julypraise]

Homework Statement

I've seen a factorization of X^4 + 1 like

x^{4} + 1 = (X^{2} + \sqrt{2}X + 1)(X^{2} - \sqrt{2}X + 1)

Is there an intuitive step-by-step procedure to find this factorization?

Homework Equations

The Attempt at a Solution

NO IDEA..

 

[julypraise]

I've found this post https://www.physicsforums.com/showthread.php?t=371741

but still does not show the 'way' of factorizing.

 

[Fightfish]

You do this by adding and subtracting terms.

X^{4} + 1 + (2 X^{2} - 2 X^{2}) = (X^{4} + 2 X^{2} +1) - 2 X^{2}
This can be rewritten as
(X^{2} + 1)^{2} - (\sqrt{2} X)^2
which is in the form of a square minus a square and hence can be directly factorised to give the result you want.

 

[cjc0117]

x^{4}+1
=x^{4}+2x^{2}-2x^{2}+1
=(x^{2}+1)^{2}-2x^{2}
=(x^{2}+1-\sqrt{2}x)(x^{2}+1+\sqrt{2}x)
=(x^{2}-\sqrt{2}x+1)(x^{2}+\sqrt{2}x+1)

 

[algebrat]

Homework Statement

I've seen a factorization of X^4 + 1 like

x^{4} + 1 = (X^{2} + \sqrt{2}X + 1)(X^{2} - \sqrt{2}X + 1)

Is there an intuitive step-by-step procedure to find this factorization?

Homework Equations

The Attempt at a Solution

NO IDEA..

I wouldn't have thought of it. Perhaps there is a systematic way in finding the complex roots, take x^8=1, which factors into (x^4-1)(x^4+1), which has roots \{\zeta,\zeta^2,\zeta^3,\dots,\zeta^7\}, where \zeta=e^{i2\pi/8}. So we discard the roots to x^4-1, so the roots for x^4+1 are \{\zeta,\zeta^3,\zeta^5,\zeta^7\}. Then notice that the conjugate of \zeta is \zeta^7. So \omega=\zeta+\zeta^7 is a real number. Maybe try to find a polynomial that it \omega is a root of.

I'm not testing any of this, just off the top of my head. But I should really ask first, what class is this for. If you're taking an abstract algebra course, than the steps I mentioned above might be closer to expected. Otherwise, I just don't think you'd be expected to find such a factorization.

 

[cjc0117]

I think when something seems unable to be factored as it's written, the next step is to try completing the square, which is what Fightfish and I did by adding and subtracting 2x²

 

[meldraft]

Any expression of the form x^n+1, where n is a power of 2 can be written as:

x^n+1=(x^{\sqrt n}+1)^2-K^2
K^2=(x^{\sqrt n}+1)^2-x^n-1=x^n+2x^{\sqrt n}+1-x^n-1=2x^{\sqrt n}

This means that

x^n+1=(x^{\sqrt n}+1)^2-K^2=(x^{\sqrt n}+1)^2-2x^{\sqrt n}=
=(x^{\sqrt n}+1+\sqrt{2}x^{n^{ \frac{1}{4}}})(x^{\sqrt n}+1-\sqrt{2}x^{n^{ \frac{1}{4}}})

Let's assume that x was positive to keep it simple

 

[julypraise]

I wouldn't have thought of it. Perhaps there is a systematic way in finding the complex roots, take x^8=1, which factors into (x^4-1)(x^4+1), which has roots \{\zeta,\zeta^2,\zeta^3,\dots,\zeta^7\}, where \zeta=e^{i2\pi/8}. So we discard the roots to x^4-1, so the roots for x^4+1 are \{\zeta,\zeta^3,\zeta^5,\zeta^7\}. Then notice that the conjugate of \zeta is \zeta^7. So \omega=\zeta+\zeta^7 is a real number. Maybe try to find a polynomial that it \omega is a root of.

I'm not testing any of this, just off the top of my head. But I should really ask first, what class is this for. If you're taking an abstract algebra course, than the steps I mentioned above might be closer to expected. Otherwise, I just don't think you'd be expected to find such a factorization.

Okay I think I see what you are trying to say. And indeed I'm taking an algebra course [ring, field, gloais ...]. But the thing is in this course I've never learned a techniqe that is by knowing some roots to generate a polynomial the complete list of the roots of which are the roots known, nor to find a structure of a factorization, whatsoever. This will be an interesting study I guess, but seems too complex at this stage for me. I think the solutions other guys proposed are quite sufficuent.

 

[algebrat]

Okay I think I see what you are trying to say. And indeed I'm taking an algebra course [ring, field, gloais ...]. But the thing is in this course I've never learned a techniqe that is by knowing some roots to generate a polynomial the complete list of the roots of which are the roots known, nor to find a structure of a factorization, whatsoever. This will be an interesting study I guess, but seems too complex at this stage for me. I think the solutions other guys proposed are quite sufficuent.

true, i guess i should have said even for algebra, you might not look at this till after rings and galois theory.

I'm curious, what was the context in which you saw this factorization. Was it part of your current curriculum? Were you reading ahead?

I guess I like the idea that somehow (from high school algebra) we should have thought to complete the square. I'll have to remember that. Algebra seems so immense.

My current guess for the relevancy to you would be that it's interesting that this is the best factorization we can get in the reals, while in complex, we can completely factor it, and it appears a bit different.

 

[Millennial]

In reals, completeing the square provides a factorization which was already provided. In the complex numbers, we find the roots of the equation. These are the fourth roots of unity in the complex plane. We can go like this: Rewrite the expression as x^4-(-1) and use the difference of two squares to get (x^2-i)(x^2+i). Further factoring yields (x-\sqrt{i})(x+\sqrt{i})(x-i\sqrt{i})(x+i\sqrt{i}), and this completely factors the expression.

 

[julypraise]

true, i guess i should have said even for algebra, you might not look at this till after rings and galois theory.

I'm curious, what was the context in which you saw this factorization. Was it part of your current curriculum? Were you reading ahead?

I guess I like the idea that somehow (from high school algebra) we should have thought to complete the square. I'll have to remember that. Algebra seems so immense.

My current guess for the relevancy to you would be that it's interesting that this is the best factorization we can get in the reals, while in complex, we can completely factor it, and it appears a bit different.

Okay. Btw, I've just finished this cousre and am preaparing the upcoming exam for this one.

(It is just an undergraduate advanced courese, but personally I think the course is quite fluffy. I don't know... my knowledge is fluffy now, still not sure what I've learned from this course.. the main purpose was to prove that quintic polynomials or the higher do not have a radical solution. We've achieved it, but I just can't help feeling that his (lecturer) way of presenting basic materials are not that good. For further study I guess I should study by better textbooks like dummit or hungerford.)

Anyways, so for the exam, was revising some tutorial questions. And now I remember in tutorial he just completed the squares for this one.

 

[cjc0117]

I'm curious, what was the context in which you saw this factorization.

Algebrat, I know this question was directed at julypraise, but I know that this factorization appears when integrating \int\sqrt{tanx}dx. I think that's the first time I encountered it.