Prove that cos(π/9) is not constructible. In particular, this means that it is
impossible to construct an angle π/9 with ruler and compass, and hence the problem of ‘trisecting
of an angle’ is unsolvable.