Problem 42 */**

Show that \displaystyle \sum_{r = 0}^{88} \frac 1 {\cos r \cdot \cos (r + 1)} = \frac {\cos 1} {\sin^2 1}

(all arguments in degrees)

[originally posted by Felix Felicis on TSR]