(-1/2,-1/2,1)を軸にして(1,0,0)を180度回転してえられるベクトルを求めたいのですがどうもとめればよいのでしょうか?