- (a) Use the derivatives of \(\sin x\) and \(\cos x\) to prove that
$$\frac { \mathrm { d } } { \mathrm {~d} x } ( \tan x ) = \sec ^ { 2 } x$$
The tangent to the curve \(y = 2 x \tan x\) at the point where \(x = \frac { \pi } { 4 }\) meets the \(y\)-axis at the point \(P\).
(b) Find the \(y\)-coordinate of \(P\) in the form \(k \pi ^ { 2 }\) where \(k\) is a rational constant.