Question

Prove that 2cosπ/16=√2+√2+√2

Answer 1

The content in today's blog is taken from Jean-Pierre Tignol's Galois' Theory of Algebraic Equations.

Lemma 1:

= 2 sin(15π/25)

Proof:

(1) cos(90°) = 0 [See Property 7, here]

(2) cos(2π/4) = cos(π/2) = cos(90°) = 0 [See here for review of radians]

(3) 2cos(π/4) = ±√2 + 2cos(π/2) [See Lemma 1, here]

(4) So, 2cos(π/4) = ±√2

(5) 2cos(π/8) = ±√2 + 2cos(π/4) = ±√2 + √2

(6) 2cos(π/16) = ±√2 + 2cos(π/8) = ±√2 + √(2 + √2)

(7) 2cos(π/32) = ±√2 + 2cos(π/16) = ±√2 + √[2 + √(2 + √2)]

(8) 2cos(π/32) = 2sin(π/2 - π/32) [See Lemma 1, here]

(9) 2sin(π/2 - π/32) = 2sin(16π/32 - π/32) = 2sin(15π/32) = 2sin(15π/25)

QED

Lemma 2:

= 2 sin(π/[25*3])

Proof:

(1) 2cos(π/6) = √3 [See Corollary 1.1, here]

(2) 2cos(π/12) = ±√2 + 2cos(π/6) [See Lemma 1, here]

(3) 2cos(π/12) = ±√2 + √3

(4) 2cos(π/24) = ±√2 + 2cos(π/12) = ±√2 + √(2 + √3)

(5) 2cos(π/48) = ±√2 + 2cos(π/24) = ±√2 + √[2 + √(2 + √3)]

(5) 2sin(π/96) = ±√2 - 2cos(π/48) [See Lemma 2, here]

(6) 2sin(π/96) = 2sin(π/[25*3]) = ±√2 - √{2 + √[2 + √(2 + √3)]}

QED