Natural Deductions

Expository preaching, non-rigorous proofs

Thursday, 22 April 2010

This is not a test!

 \sqrt[5]{1} = -\frac{1}{4} \quad+\frac{1}{4}\cdot\sqrt{5}\quad+\frac{1}{2}\cdot\sqrt{-\frac{5}{2}-\frac{1}{2}\cdot\sqrt{5}}

Ripped out of Constructing Regular Polygons -- Primitive Roots of Unity.