9 . 数学中的数，除了实数、复数之外，还有四元数．四元数在计算机图形学中有广泛应用，主要用于描述空间中的旋转．集合中的元素称为四元数，其中i,j,k都是虚数单位，d称为的实部，称为的虚部．两个四元数之间的加法定义为．
两个四元数的乘法定义为：,四元数的乘法具有结合律，且乘法对加法有分配律．对于四元数，若存在四元数使得，称是的逆，记为．实部为0的四元数称为纯四元数，把纯四元数的全体记为W．
(1)设,四元数．记表示的共轭四元数．
（i）计算；
（ii）若，求；
（iii）若，证明：；
(2)在空间直角坐标系中，把空间向量与纯四元数看作同一个数学对象．设．
（i）证明：;
（ii）若是平面X内的两个不共线向量，证明：是X的一个法向量．