数理解析研究所講究録1064 巻 1998 年 148-159

148

関孝和の解軽妙之法について竹之内

1$\text{脩}$解伏題之法について、 序論
関孝和の遺した業績の中で、解伏題詩法は、行列式を世界に先駆けて作ったとされ、 よく知られている。 しかし、 関が、 何の目的でこの議論を作ったのか、 どのような過程を経て作ったのか、 ということについては、 あまり論じられていないように思われる。 本論では、 その点を中心に、 論じてみたい。

解伏題明法は、 わざわざ、伏題を解く之法、 と読ませるように書いてあるが、 かいふくだいの法でよいであろう。

次の六つの部分から成り立っている。

真畔第–、$\text{生野第五_{、}}\ovalbox{\tt\small REJECT}\ovalbox{\tt\small REJECT}$

両朝第二、野乗第三、換式第四、解消第六

この書物は、代数式の取り扱いを論じたものある。 文字係数の代数方程式、行列式が扱われている。 このうち、 文字係数の代数方程式は、 中国数学では、 朱世傑の四元玉鑑に、 二元式、 三元式、 四四式があるが、 それとは全く扱いが別で、 関の独創になるものである。

細かな説明が全くないので、 理解し難い部分が多い。 また、 人によって解釈が異なる。 ([1],$[3],[4])$2

ここでは、 問題とすべき点をあげていくことを中心に考察を進めていく。

真虚第真術の得る所に従って、 追って話術を求める也、 とあるが、真に求めたいものはしかじかであるが、 それは直接には得られないので、 別の量を未知数に置いて、 それについて方程式をたて、この方程式から、真に求めるものについての方程式をつくる計算をする、 というような意味であると思われる。

問題が 3 題あるのであるが、 それをどう処理するつもりなのかが、 示されていない。 本稿の最後に林の論文 [3] を引用した。 それによって、 そのような主旨のものであるのかと、 -応は納得されるけれども、 それがその通りであるかどうかは、 よくわからない。

149
I
$a$

直角三角形の三辺を $a,$$c(a<b<c)$ とする。 $\sqrt{a}+c,$ $a+b$ が与えられているとき、$b,$はいくらか。

真術

$a$

虚術

$x=\sqrt{a}$を得る。とする。

与えられた西 $+c$ から前式を得る。

$a$から後式を得る。

書いてあるのはこれだけである。 これだけでは何のことか、 わからない。 [3] では、 これにもとつく解の方法についての考察がなされているので、 本稿の最後にそれを述べる。

II

三角形の三辺を $a,$とき、

$c$

真術

$c$$a^{3}+b^{3}$$b^{3}+c^{3},$が与えられているを得る。

$0$$b,$$x=a$ とする。

により、 前式を得る。

$c$

2 虚術

$x=b$ とする。

面積、$a^{3},$$c$

III

5 個の正方形$0$

積の差、$c(a>b>c)$ とする。 面積と、はいくらか。

1 虚術
面積、

$b,$

$\mathrm{D},$$\mathrm{E}$$a^{3}$

により、 前式を得る。
$\mathrm{A},$$\mathrm{B},$$\mathrm{C},$$\mathrm{D},$$b^{3}$$\mathrm{E}$により、 後式を得る。

により、 王民を得る。

がある。

$\mathrm{A},$$\mathrm{B}$の面積の差、$\mathrm{B},$$\mathrm{C}$の面積の差、$\mathrm{C},$$\mathrm{D}$の面の面積の差と、 五つの正方形の–辺の長さの和が与えられているとき、 正方形 Aの–辺の長さを求めよ。

真術

1$0$

正方形 A の–辺の長さを求める。

虚術$x=\mathrm{D}$の面積、$\mathrm{E}$2 虚術$\mathrm{E}$$\mathrm{D},$$0$$x=\mathrm{C}$の面積、$\mathrm{D}$3 虚術$\mathrm{E}$$x=\mathrm{B}$の面積、$\mathrm{D}$の–辺の長さの和から、 前式を得る。

$\mathrm{D}$の面積から後式を得る。の–辺の長さの面積、$0$$\mathrm{C}$の–辺の長さ$\mathrm{C},$$\mathrm{D},$$\mathrm{E}$の–辺の長さの和から、前式を得る。の面積から後式を得る。の–辺の長さの面積、$\mathrm{E}$の面積、$\mathrm{B},$$\mathrm{C},$$\mathrm{D},$$\mathrm{E}$の–辺の長さの和から、 前志を得る。

から後式を得る。
この虚術を順に、 次のものの真術にする形でやっていくのである。

3$\mathrm{C}$

両個第二
ここでは、 例題で式のたて方を述べている。

$\mathrm{B}$の面積

150
正四角錐台がある。 その体積と、 下の面の 1 辺の長さと高さの和、 および下の面の 1 辺の長さの 2 乗と高さの 2 乗の和が与えられたとき、 上の面の 1 辺の長さを求めよ。
以下は、 その解である。 これは天元術と傍書法のミックスで書かれている。 ここにはじめて傍書法が本格的に使われているのであるが、 -応、 普通の数式の形で書く。 以下前式、 後式の原文の形を示す。
以下では、 上の面の 1 辺の長さ (上方とよぶ) を高さを$a_{\text{、}}$

下の面の 1 辺の長さ (下方とよぶ) を

体積を $V$ とする。

$h_{\text{、}}$

問題は、$b+h=A$ ,,$V$$b^{2}+h^{2}=B$を与えて$a$を求めよということである。 ここで、
$V= \frac{1}{3}(a^{2}+b^{2}+ab)$という式が使われる。

いま、虚術として、$h$に関する方程式を作る。

体積、 下方と高さの和、 下方の 2 乗と高さの 2 乗の和が$\ovalbox{\tt\small REJECT}$与えられているから、 上方がわかる。

前術

和 $A$ から高さ

$h$Iを引くと、 下方である。 $A-h$

これを 2 乗する。 $A^{2}-2Ah+h^{2}$$|n_{\overline{x}^{\mathrm{b}}}$$\uparrow_{B}^{\mathrm{A}}$上方$a$を 2 乗する。

上方

$a$と下方を乗ずる。 $aA-ah$$1\ovalbox{\tt\small REJECT}$$\overline{x}^{\llcorner}\phi$$\mathrm{t}\mathrm{t}^{n}$$a^{2}$

この三つを足して高さを掛けると、 体積$V$

Iの 3 倍となる。

$(A^{2}+aA+a^{2})h+(-2A-a)h^{2}+h^{3}$$3V$を引いて前式とする。

$-3V+(A^{2}+aA+a^{2})+(-2A-a)h+h^{2}=0$
挙式

下方 $A-h$ の 2 乗に、 高さ$h$の 2 乗を加える。

$(*)$

憐 1常$\#^{\hslash}$$A^{2}-2Ah+2h^{2}$$11$

これが $B$ に等しいから、 上と消して、 次の後式を得る。

$(A^{2}-B)-2Ah+2h^{2}=0$$b_{\text{、}}$

151
これで解は終わり、 この後に次のコメントがついている。
以上のことは、数で式を求めているのではない。

$h$の何乗というところの項の正負と、 そこに加減相乗するものの名を傍らに記してあるのである。

$h$の同じ累乗の位置で、 正負同じものは加え、 異なるものは減ず。

これは、 正しく文字係数の扱い方で、 これによって、 関は、 文字係数の扱いを確立したのだ、といえる。
以下は、 式を簡略する方法をいろいろ述べている。

暑

次数の高い式で、低い式と同じところがあれば、加減によって省略できる。 もし、 次数の低い式を 2 乗、 3 乗して同じところがでてくれば、 それも省略できる。

省

係数に同じ文字が因子としてかかっていたら、 これを省略する。

約数係数で共通の約数があったら、 それで約する。

縮4$x^{2}$の式になるような場合には、 それを新しい未知数として、 簡単にする。

定乗第三上のようにして真術の未知数の多項式を係数にもつ方程式を 2 乗、 3 碧したとき、 係数の多項式が何次の式になるかを問題にしている。
そして、 また、 簡約の方法を論ずる。
畳二つの式で、 -番次数の低いところどうし、 あるいは–番次数の高いところどうしが数係数であった場合は、 片方の次数を下げることができる。
括

各次数のところの係数が複雑なときは、 これをひとまとめに–つの文字で置き換えて、 あとからもとに戻して計算する。

5

露助第四
ここでは、 上の問題で扱ったような、方程式がいくつかでてきたとき、それから、 次数の低い方程式を導くことを述べている。 以下で、した結果は、(a)$a$$x$$x$の係数は、他の変数を含んだ式になっていて、簡略を消去した、 それらの変数の方程式が出来上がることを注意する。

$b+ax=0$ ,を第二式に掛け、$d+cx=0$$c$のときを第–式に掛けて引く。

ad–bc $=0$(b)$c+bx+ax^{2}=0$ ,$f+ex+dx^{2}=0$のとき

152$a$を第二式に掛け、$d$を第–式に掛けて引く。

$(af-dc)+(ae-db)x=0$$c$を第二式に掛け、 $f$ を第–式に掛けて引く。 (そして、$x$で割る)$(ce-fb)+(cd-fa)x=0$(この後の式を作るのに、 関は面倒なことをやっていて、 いささか不思議である。 )3 次式二つの場合(c)$-ax^{3}+bx^{2}+cx-d$$=$$0$$ex^{3}+fx^{2}-gx-h$

$=$

$0$

から、 次の 2 次式三つができる。

$(-af-be)x^{2}+(ag-ce)x+(ah+de)$

$=$

$0$

$(-ag-ce)x^{2}+(ah-bg-cf+de)x+(-bh+df)$

$=$

$0$

$(ah+de)x^{2}+(-bh+df)x+(-ch-dg)$

$=$

$0$

そして、 また簡約の法を論ずる。

さ蔓ん 蔓というのは、 草刈り鎌のことである。 各次数の項の係数に同じ文字があったら、 これを省略する、 というので、 これは行列式になったときはそれでよいが、式としては意味が変わってしまう。
治数の係数で、各式で共通因数があれば、 それで割り、 つぎに各次数の項の係数に共通因数があれば、 それで割る。 あとの操作では、蔓と同様、 式の意味は変わってしまう。

6

生時第五ここは、 たいへんよく知られた、 そして関の最大の業績にあげられている行列式をつくるところである。 ところが、 何も説明がないので、 どのようにしたのか、 よくわからない。

生というのはプラス、(a)くというのはマイナスのことで、 下の各項につける符号のことである。

$\text{剋}\ovalbox{\tt\small REJECT}$

2 次の場合これは、 上の 「換式」 のところを書いたのだ、 ということは知られる。

(b)

3 次の場合

何も説明がないので、 どうやってこれを出してきたのかよくわからない。 いろいろな試行錯誤の結果を整理したものである、 と思われる。

153–.’$||_{\text{生}}ffl\text{乙}\mathfrak{X}\text{丙}\mathrm{i}$$\overline{\#}-$$-*$$\underline{\overline{|\frac{\mathrm{O}}{\mathrm{B}^{-}t\Psi}}|}\overline{|}\mathrm{H}_{\pi|}^{\tau|}\underline{\frac{\overline \mathrm{Z}}{1\mathfrak{p}}|\mathrm{i}}$まず、 –式と二式を組み合わせて、「換式」 (b) を適用する。
\庚己$|$\庚成$|$

\丁丙

丁丁

辛丁

$\backslash \mathrm{k}\mathrm{T}\text{乙}$

$|$

$|$

己甲

成甲

さらに 「換式」 (a) を適用する。

\庚己丁乙$|$

庚己成甲$|$壬丁丁乙 \丁丁戊甲氷辛丁丁丙$|$

庚戊丁丙 \庚戊己甲

$|$

辛丁己甲

ここでの各項は、 四つのものの積になっている。 ところがプラスマイナスで消えるところが一っできるので、 それを約し、 その残りに共通因子” 丁” があるので、 それを約して、結局 6 個の項がでてくる。

\庚己乙$|$壬丁乙凍壬成甲凍辛丁丙

それが式図の中の 「生」、 「$\text{剋}$」

$|$

庚戊丙

$|$

辛己甲と書いた部分にあるものである。

二式と三式の組合せ、 および三式と –式の組合せでやっても、 同じようになる。 ということで、 この結果を書いたものと思われる。

ところでそうして並べてみると、 最初の” 丙成庚” というのは、 –式の頭の ” 丙” に” 戊庚”を掛けたものであるから、 それを–式の各項に掛けて (こういうのを遍乗、 あまねく掛ける、 といっている)、 ” 丙成庚” の下の ” 乙戊庚”、 ” 甲戊庚” を作って書く。 これを残りのところ 5 箇所

154ついても同じようにやる。 そうすると、–と一、 二と二、 三と三は、 上に言ったプラスマイナスで消えるところになって、 残るのが 6 個の項だけ、 となる。

以上のようなプロセスかと考える。
ただ、 上から 2 番目のところに$\mathrm{O}$がある意味は、 何であろうか。

4 次の場合(c)

4 次の場合も、 同じような式図が書いてあるが、 省略する。

これらのことをやったあとで、以上のように、各項を掛け、生剋をつけて加えるのだが、掛ける数が多くて見やすくないから、次の交式、急斜の方式を使う、 といって、次のやり方を示している。

古式$n$次の行列式の中には、 $n!$ 個の項がなくてはならない。 つまり、2次

2 項、 3 次5次120 項

6 項、 4 次24 項、

ところで、 下の斜乗という方法でやると、2次2 項、 3 次5次10 項

6 項、 4 次8 項、しかでてこない。 これでは、 2 次、 3 次の場合はよいが、 それ以上になると、 項の数を多くする工夫をしなくてはならない。 その方法が、 ここに述べられている。 ただ残念なことに、 5 次の場合は誤りがある。 (敢えて、 掲載しない)
斜乗下にあげた式図で、線で結んだ項の積を作り、 実線のところにはプラス、 点線のところにはマイナスの符号をつける。 (われわれが今使っているのと、 左右反対になる)\ell =愉1557

寄消第六結びで、 2 例をあげて、 正負の符号に関して注意している。 -例をあげる。

$\mathrm{g}$

成丙

甲乗相
$|$

$\overline{|}\lfloor^{1\overline{|_{-}|}}$

消7.1

末尾番最後に、 次のことが書いてある。

今まで第– から第六まで述べたことは、伏題を解する法である。

$-\text{、}$二の例を挙げて、説明したが、書は言を尽くさない。 学習する者は、すべからく、 自分で考えて、 はっきりと会得すべきものである。

8和算における行列式の議論
以上述べたように、 関の解伏題之法の議論は、 どういう目的のものか、理解できないところが多い。 実は、 和算においては、 関と同時代から、 いろいろな人が行列式の議論をしている。 以下にそれを挙げる。
関孝和

解伏題之法

(1683)

田中由真

算学紛解(1683)

井関知辰

算法発揮(1690)

関、 建部

大成算経

(1710)

松永良弼

解伏題斜乗之諺解久留島義太(1715)

久氏遺稿(1792)

石黒信由

伏題数解

菅野元健

補題解伏題正殻篇(1798)

156
9

石黒信由、 伏題数解
[3] において、 林は、 石黒信由、伏題数解 (1792) が次のような解を与えていると述べている。

真虚第–、 I(石黒信由の書から)

直角三角形の三辺を $a,$$A=\sqrt{a}+c,$$b,$$c(a<b<c)$ とする。

$B=a+b$ を与えて、$a$を求める。

真数

$a$

虚数

$x=\sqrt{a}$前回$A=x+c$ で、$a^{2}+b^{2}=c^{2}$ であるから、 $(-a^{2}-b^{2}+A^{2})-2Ax+x^{2}=0$

いま、〈括〉 として、 $\alpha=-a^{2}-b^{2}+A^{2}$ とすると、$\alpha-2Ax+x^{2}=0$

〈前式〉

後術

$x=\sqrt{a}$であるから、$-a+x^{2}=0$〈後弓〉

これによって、〈両式〉 を得た。

前回と後式の最高次の項の係数が同じだから、〈畳〉 として引き算すると、 引き算すると、 次の式を得る。
\langle 換--式\rangle$(-a-\alpha)+2Ax=0$

前回の第二項の $-2Ax$ を後式に掛け、後式の第二項の$0\cdot x$を前式に掛けて引き算すると、 次の式を得る。
$2Aax-2Ax^{3}=0$
ここで、 \langle 換--式\rangle を使って、 この式の次数下げ〈畳〉 をする。 すなわち、〈換二丁〉$x^{2}$を掛けて加えると、$2Aa+(-a-\alpha)x=0$を得る。

このようにして、 二つの 1 次方程式に還元した。
これから$x$を消去すると、$(a+\alpha)^{2}-4aA^{2}=0$$\alpha$をもとに戻すと、$(A^{2}-b^{2}+a-a^{2})^{2}-4aA^{2}=0$

すなわち、$A^{4}+b^{4}-2A^{2}b^{2}+2(A^{2}-b^{2})a+\{1-2(A^{2}-b^{2})\}a^{2}-2a^{3}+a^{4}=0$

ここで、 $b=B-a$ であるから、 それを代入すると、 これは、$a$に関する高次方程式になる。 その解法は、天元術でわかっているのだから、 $A,$ $B$ の値が具体的に与えられたら、解が求められる。

157
真虚第–、 II (石黒信由の書から)
三角形 ABC の三辺を $a,$$b,$$c(a>b>c)$ とする。

面積 $S$ と、 $M=b^{3}+c^{3},$ $N=a^{3}+b^{3}$ が与えられているとき、$a$

虚術として、 $x=c$ に関する方程式を作る。

A から BC に垂線 AD を引くと、$a^{2}+b^{2}-x^{2}=2a$$2S=a$. AD. CD

2 乗すると、$a^{4}+2a^{2}b^{2}+b^{4}-2(a^{2}+b^{2})x^{2}+x^{4}$$=4a^{2}\cdot \mathrm{C}\mathrm{D}^{2}=4a^{2}(b^{2}-\mathrm{A}\mathrm{D}^{2})=4(a^{2}b^{2}-4S^{2})$

すなわち、
前式

$a^{4}-2a^{2}b^{2}+b^{4}+16S^{2}-2(a^{2}+b^{2})x^{2}+x^{4}=0$

また、 $x=c$ であるから、

後下$-\mathrm{c}^{\}+x^{3}=0$〈畳〉 の操作で、$a^{4}-2a^{2}b^{2}+b^{4}+16S^{2}+c^{3}x-2(a^{2}+b^{2})x^{2}=0$

いま、〈括〉 として、$\alpha=a^{4}-2a^{2}b^{2}+b^{4}+16S^{2}$$\beta=a^{2}+b^{2}$とすると、

変前式$\alpha+c^{3}x-2\beta x^{2}=0$

これと、 後式から、 換式の操作で、 次の二つの方程式が得られる。

2 $c^{3}\beta-\alpha x-c^{3}x^{2}=0$$-c^{6}+2c^{3}\beta x-\alpha x^{2}=0$

この 3 個の 2 次方程式から、 馬乗によって、$=0$
すなわち、$-\alpha^{3}-c^{12}+8c^{6}\beta^{3}-6\alpha\beta c^{6}=0$が得られた。
しかし、 ここからどうするのかわからない、 と [3] にはある。

を求める。

158

10

両式第二の例題の解

前節の要領で、 両式第二で与えられた例題の解を考えてみる。
正四角錐台がある。 その体積と、 下の面の 1 辺の長さと高さの和、 および下の面の 1 辺の長さの 2 乗と高さの 2 乗の和が与えられたとき、 上の面の 1 辺の長さを求めよ。

上の面の 1 辺の長さ (上方とよぶ) を体積を $V$ として、

$h$$a_{\text{、}}$

下の面の 1 辺の長さ (下方とよぶ) を$b_{\text{、}}$

高さを$h_{\text{、}}$

に関して、 次の 2 式を得た。

$-3V+(A^{2}+aA+a^{2})h+(-2A-a)h^{2}+h^{3}=0$$(A^{2}-B)-2Ah+2h^{2}=0$
ここに、 〈畳〉 の操作を行えば、 次の 2 次方程式が得られる。

$-6V+(A^{2}-B+2aA+a^{2})h+(-2A-2a)h^{2}=0$
ここに 2 次方程式 2 個を得たので、 これに換式の操作を行えば、 1 次方程式 2 個が得られる。
そうすると、 斜乗の方法で、$a$$h$を消去して、$a$に関する方程式が得られるから、 これを解くと、が求められる。

11結語

この最後に述べた考察が関の本当のねらいであったとすれば、 これは、 Leibniz の行列式とは、全く目的の異なるものであることになる。
関の議論には、 1 次方程式は全く登場しないのであるし、 また方程式の係数から作った行列式を扱っているのであるから、数係数の方程式の場合には、その意味は、全く無意味なものになる。
真術における未知数を含んだ文字方程式を扱い、 したがってその未知数を含んだ行列式が登場して、 その結果、新しいこの未知数に関する方程式ができて、 それを解くことによって、真術として求めていた量を求める。 これは、 相当深遠な研究であると評価されるべきであろう。
また、 [5] には、 上記の和算における行列式の研究のうち、井関のしたことが述べられている。

これは、行列式についての書物で、世界最初のものであるという。 そして、 その中には、 関の業績では明らかでなかった問題の取り扱いについて、詳細が述べられている。井関の業績は、 関のものよりやや後である。 田中の業績は、 関と同じ年になっている。 関のものは、原稿として弟子に伝えられたものであるが、 1683 年、 重訂となっているので、 それより以前に書かれたものであろうか。

この時代、他の人の研究を伝える何かがあったのだろうか。 関、 田中、井関は相互に知った間柄であったのだろうか。 今まで、 史実は何も教えないが、 興味がもたれることである。

159
参考文献
[1] 日本学士院編、 明治前日本数学史、 岩波書店
[2] 平山諦・下平和夫・広瀬秀雄編著、 関孝和全集、 大阪教育図書株式会社[3] 林鶴–、 The ”lfukudai” (伏題) and Determinants in Japanese Mathematics.
東京数学物理学会記事第二期第五巻 1910

[4] 平山諦、 関孝和-その業績と伝記-、 恒星社[5] 下平和夫、 和算の歴史 (下)、 富士短期大学出版部