あ、これ完全に外積ですね! 高校生では必要のない概念なので習ってないかもしれませんが、内積とは違ってあるんです。ここでいろいろ言っても仕方がないのでとにかく条件通りに進めてみましょう。(因みに初めてやります笑)
c=(c1,c2,c3)とかして、
∣c∣=∣a∣∣b∣sinθ
内積は、
a・b=∣a∣∣b∣cosθ
この二つを成分表示で何とかして、
∣c∣2=(∣a∣∣b∣)2sin2θ (a・b)2=(∣a∣∣b∣)2cos2θ
くっつけられそうです
(a・b)2=(∣a∣∣b∣)2−∣c∣2 三角比を消しました
ここから成分表示で頑張って計算していきます。
(a1b1+a2b2+a3b3)2=(a12+a22+a32)(b12+b22+b32)−c12−c22−c32
ここからの計算はほんとに頑張れ、としか言いようがないのですが一応
(a1b1)2+(a2b2)2+(a3b3)2+2(a1a2b1b2+a2a3b2b3+a3a1b3b1)
=(a1b1)2+(a2b2)2+(a3b3)2+(a1b2)2+(a1b3)2
+(a2b3)2+(a2b1)2+(a3b1)2+(a3b2)2−(c12+c22+c32)
c12+c22+c32=(a1b2)2+(a1b3)2+(a2b3)2+(a2b1)2+(a3b1)2+(a3b2)2
−2(a1a2b1b2+a2a3b2b3+a3a1b3b1)
地獄の因数分解
c12+c22+c32=(a1b2−a2b1)2+(a2b3−a3b2)2+(a3b1−a1b3)2
これでほとんど終わったも同然です。たぶん
cと(なんちゃら)2が1対1で関係を成しているように見えます
ここで必要なのがcは二つのベクトルの垂直であることだと思います。例えば、c3(z軸成分)で考えてみたら、a bをxy平面に、cをz軸に回転させてみると、a3,b3は0になりc3に干渉できていないと考えました。なのでc3はa1,a2,b1,b2にのみ依存していると思ったのです。これをあと二つでも同じように考えれば依存するパラメータが分かるかな?、と踏んだので
⎩⎨⎧c1=±(a2b3−a3b2) c2=±(a3b1−a1b3) c3=±(a1b2−a2b1)
ここらで符号の組み合わせがこうなっているのは検算すると分かるのですが、
内積を利用して、
a1c1+a2c2+a3c3=±a1(a2b3−a3b2)
±a2(a3b1−a1b3)±a3(a1b2−a2b1)=0
合っていることが無理やりですが分かります。(総当たりな気もします泣)
求めるベクトルは
∴(a2b3−a3b2,a3b1−a1b3,a1b2−a2b1),
(−a2b3+a3b2,−a3b1+a1b3,−a1b2+a2b1)
この説明は外積のことを知っているので結果から経路を辿ってしまったために変な感じになってしまいました。先ほど言ったように高校の範囲ではありませんが、調べてみると面白いですよ。
ー違和感や謎があればなんでも来てくださいー