>>197
上の式を２乗する事から始めればできそう。
それか、三次元のベクトル空間に持ち込むか。