 Using Rodrigues' rotation formula on matrix form with , together with standard double angle formulae one obtains,

where , .This is the matrix for a rotation around axis by the angle in half-angle form.For full detail, see exponential map SO(3).