>>696
> >>694
> > 複素平面Cにj（含まれない）C^n,j^2=-1,ij=k,k^2=-1
> > となる元jを付け加えたら
>
> そんなのが存在するという理由は？
本当はk^2=-1は要らない条件だと思ってる。
ijをkとなずけたら、
以前言った図の考え方で、ij=-ij=kだしk^2=-1だよね。

存在するだろうと思って計算して
行列表現まで出来たのだから、存在するよね。
と思うのですが、問題があれば指摘してください。

iにjを掛けてkになることから、iとkは直交するし、（ｊは９０度回転だから）
同様にｊとｋも直交するよね。
実数の直交補空間に３つ以上互いに直交するベクトルは存在から
多分存在するでしょう。
と幼稚な考えを元に考えてるけど、何か良いアドバイスありませんか？