please give the answer in the python language

$2\mathrm{.}20[20]$ Imagine rotating a vector $Q$ about a vector hat$(K)$ by an amount $$ to form a new

vector, $Q^{\text{'}}-$ that is$,$

$Q^{\text{'}}=R_K()Q$

Use $(2\mathrm{.}80)$ to derive Rodriques's formula,

$Q^{\text{'}}=$Qcos$+sin(hat(K)Q)+(1-cos)(hat(K)*Q)hat(K)$please give the answer in the python language