行列を持ち出すまでもなく，ｆベクトルだけで十分であると思われる．

　　Ｐ×Ｑのｆベクトルをｆ，Ｒ×Ｓのｆベクトルをｇとする．

　　ｆ＝ｇ，ｆ＝ｐ×ｑ，ｇ＝ｒ×ｓ

　　ｐ0ｑ0＝ｒ0ｓ0

　　ｐ0ｑ1＋ｐ1ｑ0＝ｒ0ｓ1＋ｒ1ｓ0

　　ｐ0ｑ2＋ｐ1ｑ1＋ｐ2ｑ0＝ｒ0ｓ2＋ｒ1ｓ1＋ｒ2ｓ0

　　ｐ0ｑ3＋ｐ1ｑ2＋ｐ2ｑ1＋ｐ3ｑ0＝ｒ0ｓ3＋ｒ1ｓ2＋ｒ2ｓ1＋ｒ3ｓｑ0

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ｒ0＝ｋｐ0，ｓ0＝ｑ0／ｋ

を第２行に代入すると，

　　ｐ0ｑ1＋ｐ1ｑ0＝ｋｐ0ｓ1＋ｒ1ｑ0／ｋ

　　ｐ0（ｑ1−ｋｓ1）＝ｑ0（ｒ1／ｋ−ｐ1）

が恒等式であるためには，

ｒ1＝ｋｐ1，ｓ1＝ｑ1／ｋ

第２行に代入すると

　　ｐ0ｑ2＋ｐ1ｑ1＋ｐ2ｑ0＝ｋｐ0ｓ2＋ｐ1ｑ1＋ｒ2ｑ0／ｋ

　　ｐ0ｑ2＋ｐ2ｑ0＝ｋｐ0ｓ2＋ｒ2ｑ0／ｋ

　　ｐ0（ｑ2−ｋｓ2）＝ｑ0（ｒ2／ｋ−ｐ2）

ｒ2＝ｋｐ2，ｓ2＝ｑ2／ｋ

　かくして

　　ｒ＝ｋｐ，ｓ＝１／ｋ・ｑ

　　（ｒ0，・・・，ｒn-1）＝ｋ（ｐ0，・・・，ｐn-1）

　　（ｓ0，・・・，ｓn-1）＝１／ｋ（ｑ0，・・・，ｑn-1）

となるが，ｐn＝１，ｑn＝１まで拡張したｆベクトルを考えれば，末尾は１，０，０，・・・になるので，これはあり得ないことになる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］Ｐ＝｛３｝（１０）×｛４｝（１０）

　　　Ｑ＝｛５｝（１０）

｛３｝（１０）×｛４｝（１０）＝（１２，２４，１９，７，１，０）

ｆ0＝３・４＝１２

ｆ1＝３・４＋３・４＝２４

ｆ2＝３・１＋３・４＋１・４＝１９

ｆ3＝３・０＋３・１＋１・４＋０・４＝７

｛３｝（１０）×｛４｝（１０）×｛５｝（１０）

（１２，２４，１９，７，１，０）×（５，５，１，０，０，０）

ｆ0＝１２・５＝６０

ｆ1＝１２・５＋２４・５＝１８０

ｆ2＝１２・１＋２４・５＋１９・５＝２２７

ｆ3＝１２・０＋２４・１＋１９・５＋７・５＝１５４

ｆ4＝１２・０＋２４・０＋１９・１＋７・５＋１・５＝５９

ｆ5＝１２・０＋２４・０＋１９・０＋７・１＋１・５＋０・５＝１２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［２］Ｐ＝｛３｝（１０）×｛｝（１）

　　　Ｑ＝｛５｝（１０）×｛｝（１）

｛３｝（１０）×｛｝（１）＝｛６，９，５，１，０，０）

｛５｝（１０）×｛｝（１）＝｛１０，１５，７，１，０，０）

ｆ0＝６・１０＝６０

ｆ1＝６・１５＋９・１０＝１８０

ｆ2＝６・７＋９・１５＋５・１０＝２２７

ｆ3＝６・１＋９・７＋５・１５＋１・１０＝１５４

ｆ4＝６・０＋９・１＋５・７＋１・１５＋０・１０＝５９

ｆ5＝６・０＋９・０＋５・１＋１・７＋０・１５＋０・１０＝１２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝