Za [tex](x,y,z)\in G[/tex] i [tex](a,b,c)\in Z(G)[/tex] je[dtex](x,y,z)*(a,b,c)=(x+a\cos z-b\sin z ,y+a\sin z +b\cos z ,z+c)=(a+x\cos c-y\sin c , b+x\sin c +y\cos c, c+z)=(a,b,c) *(x,y,z).\qquad (*)[/dtex]
Kako [tex](*)[/tex] mora vrijediti za sve [tex](x,y,z)\in G[/tex], uvrstimo u njih, npr.[tex]x=y=0, z=\pi/2[/tex] pa se dobije
[dtex](-b,a,\pi/2 +c)=(a,b,c+\pi/2).[/dtex]
Zaključujemo da je [tex]a=b=0[/tex].
Zatim, u [tex](*)[/tex] uvrstimo [tex]a=b=0[/tex]. Dobijemo
[dtex](x,y,z+c)=(x\cos c-y\sin c ,x\sin c +y\cos c,c+z),[/dtex]
odakle slijedi [tex]c=2k\pi,k\in\mathbb{Z}[/tex].
Naravno, ovime smo dokazali samo da iz [tex](a,b,c)\in Z(G)[/tex] slijedi [tex](a,b,c)=(0,0,2k\pi)[/tex] za neki [tex]k\in\mathbb{Z}[/tex]. Međutim, lako se provjeri da vrijedi i obrat, tj. da je [tex](0,0,2k\pi)\in Z(G)[/tex] za svaki [tex]k\in\mathbb{Z}[/tex].
Za [tex](x,y,z)\in G[/tex] i [tex](a,b,c)\in Z(G)[/tex] je[dtex](x,y,z)*(a,b,c)=(x+a\cos z-b\sin z ,y+a\sin z +b\cos z ,z+c)=(a+x\cos c-y\sin c , b+x\sin c +y\cos c, c+z)=(a,b,c) *(x,y,z).\qquad (*)[/dtex]
Kako [tex](*)[/tex] mora vrijediti za sve [tex](x,y,z)\in G[/tex], uvrstimo u njih, npr.[tex]x=y=0, z=\pi/2[/tex] pa se dobije
[dtex](-b,a,\pi/2 +c)=(a,b,c+\pi/2).[/dtex]
Zaključujemo da je [tex]a=b=0[/tex].
Zatim, u [tex](*)[/tex] uvrstimo [tex]a=b=0[/tex]. Dobijemo
[dtex](x,y,z+c)=(x\cos c-y\sin c ,x\sin c +y\cos c,c+z),[/dtex]
odakle slijedi [tex]c=2k\pi,k\in\mathbb{Z}[/tex].
Naravno, ovime smo dokazali samo da iz [tex](a,b,c)\in Z(G)[/tex] slijedi [tex](a,b,c)=(0,0,2k\pi)[/tex] za neki [tex]k\in\mathbb{Z}[/tex]. Međutim, lako se provjeri da vrijedi i obrat, tj. da je [tex](0,0,2k\pi)\in Z(G)[/tex] za svaki [tex]k\in\mathbb{Z}[/tex].
|