a↑=(a1,a2,a3),
b↑=(b1,b2,b3),
c↑=(c1,c2,c2)と成分に分ける。
d↑=a↑x(b↑xc↑)とおく。
d↑は(b↑xc↑)に共平面的である。
すなはち、d↑はb↑とc↑が張る平面のうえに載っているので。
d↑=mb↑+nc↑・・・・・(5)とおける。
d↑はa↑にも垂直である。
a↑・d↑=ma↑・b↑+na↑・c↑=0
なので、
m=μa↑・c↑
n=ーμa↑・b↑
従って、(5)式は
d↑=μ{(a↑・c↑)b↑ーμ(a↑・b↑)c↑}・・・・(6)
となる。
軸OXをa↑=(a1,a2,a3)とすると
a1=|a↑|
a2=a3=0
d3=a1(b↑xc↑)2
=a1(b3c1-b1c3)・・・・・(7)
一方(6)式の
d3=μ{a1C1b3-a1b1c3}・・・・・(8)
(7)式=(8)式よりμ=1をうる。
以上より
a↑x(b↑xc↑)={(a↑・c↑)b↑ー(a↑・b↑)c↑}