Prove that: cot π/8 = √2 +1 - Path Finder Classes, Chapra