F(x)F(y)=⎡⎢⎣(cosxcosy−sinxsiny)(−cosxsiny−sinxcosy)0(sinxcosy+cosxsiny)(−sinxsiny+cosxcosy)0001⎤⎥⎦
We know that [cosxcosy−sinxsiny=cos(x+y)sinxcosy+cosxsiny=sin(x+y)] F(x)F(y)=⎡⎢⎣cos(x+y)−sin(x+y)0sin(x+y)cos(x+y)0001⎤⎥⎦
Solving R.H.S. F(x+y)
Replacing x by (x+y) in F(x)