(bz-cy)^2+(cx-az)^2+(ay-bx)^2
を
(a^2+b^2+c^2)(x^2+y^2+z^2)-(ax+by+cz)^2
に式変形したいのだが、どうやったらいいの？