数理解析研究所講究録 1257 巻 2002 年 37-47

37
ピサのレオナルドと 3 次方程式

神戸大学国際文化学部

三浦伸夫 (MIURA Nobuo)
Facu1ty of Cross-cultural Studies,

Kobe University
12 世紀のピサのレオナルド (1170 頃-1240 以降) は, その『算板の書』 Uiber $aMi,12oe$ お
よひ 1228) において西欧で最初にアラビア数字による記数法を体系的に述べ, いわゆる『フィボナッチ数列」に言及した数学者としてよく知られている. 彼はまた小著 n 青華」
で 3 次方程式を西欧で最初に議論した人物としても重要である. しかしながら彼はその方程式の解は与えたもののその数値解法は述べなかったこともあり, レオナルドの 3 次方程式に関しては議論されることはあまりなかった 2. 本稿では彼の 3 次方程式に関する論述をボンコンパ一に基づいて紹介し, あわせて数学史上におけるその意味{?}編集の『ピサのレオナルド著を考察する.
$1(F7oe,1\mathit{2}\mathfrak{B})$$\not\in k\Delta$

1. r 精華\sim と 3 次方程式
rllf 華 J ではいくつかの問題が議論されているが, そのうちの第 2 番目の問題はパレルモのヨハンネス師が与えた問題であり, r 二倍の平方ど十倍の根とがひとつに集められて二十になる,
ある立方数を見出す」 もので, 3 次方程式に還元できる問題である, それを議論するにあたってレオナルドはまず次のように述べている.
このことを考察するに際し, 私はユークリッド iJFCl&J 第十巻に含まれることからこの問題の解が生まれると考え, そのためにこのユークリッド『原騙第十巻を正確ににそのためにその定理を暗記し理解した. またそれ【 $=$ 『原論 第十巻]
はユークリッド『原論\sim の前後の若干の巻より難解なので, 私は線と面とで論証され研究し, と$\text{く}$$\mathrm{J}$ている事柄を数に還元して理解し, その第十巻の注釈を始めた 4

こうして彼は準備として『fflffl』第 10 巻に含まれる 15 種の線分に関する幾何学を数に変換し,38$u^{\backslash }\mathrm{T}\sigma)X\dot{o}\mathfrak{l}^{-}.\mathfrak{B}\hslash \mathrm{b}T1\backslash o^{5}$.

通約可能数 )
通約可能数$\dot{\mathrm{n}}\dot{\mathrm{b}}$不言数$\dot{\mathrm{n}}\dot{\mathrm{u}}$) : 数と平方において通約可能 :a$(\mathrm{a}\Pi \mathrm{d}\mathrm{r})$: 平方においてのみ通約可能 :$f\mathrm{a}$通約不能数 C 果 0
中項 $m$ 誕. ):$\psi_{\overline{a}}$6 種の二項和の根 :6 種の二項差の根 :$\sqrt{\mathcal{F}a+\sqrt{b}}$など$\sqrt{\sqrt{a}-\sqrt{b}}$など

この後レオナルドは. 「この十五種の数とそれらの相違とを私は熱心に考察したので. 私は,二倍の平方ど立方とで二十になる上述の+の根のうちのーっは決して上記の根とは一致しない
ことを見出した. 以下でそのことが幾何学的に論証される』 ど述べて, ユークリッ加 W に図形を用いた論述が始まるのである.

.
以下のような値の矩形を描き, ここでは求める根 $(1m$$\mathrm{a}\mathrm{E},\oplus 10,$ $rightarrow,$

とおくと,
猷

$\alpha;arrow$$\mathrm{i}_{\mathrm{t}}$く$\mathrm{x}^{2}$$\iota$.可$\cdot$$+d+1\mathrm{o}\mathrm{e}\infty$

すると, め\rightarrow 架 10 より. $i$

こうして, 命 \rightarrow ) が次の 62s 銚な l‘ことが,$\text{「}$もしそうであるなら」ではじまる背理法で証明される.

5

SCrtli 1c.Z28. レオナルドはまた.『幾何学の, 『算板の書 1 でも『原論」 を要約してぃ
る. レオナルドとユークリッド」の関係については稿を改めて論する予定である.
$\#\mathrm{f}\mathrm{f}\mathrm{i}\mathit{1}$$\Gamma \mathrm{f}\mathrm{f}\mathrm{i}*$‘一のことはレオナルドが, ギリシア語版 r 原論」あるいはそれに関連するテクストを利用したことを意味する.
7
一れはアラビア語 agamm のラテン語訳. 根号記号がないのでそこでは平方根は発音することができないことを意味する. ただしアラビアでは, 『不言数』は分母が 11 以上の分数にれもアラビア語では古典的方法では発音できない) や素数を指すこともある.

.

39
1, 有理数2. 有理数の根
3. 有理数の根の根
4. 6 種の二項和
5. 6 種の二項差
6. 二項和の根または二項差の根すなわち現代表記するなら,

$x$

は,

$\sqrt{\mathcal{F}_{\mathit{0}}\pm\sqrt{b}}$ではない, というのである.

以下ではこの証明を順追って紹介する. 記述を簡単にするために,が,(数において) 互いに通約可能であるときをで示す
ab が平方において互いに通約可能であるときをとする 8. それらの否定は,\cap 2/で示される.
$\iota \mathrm{b}$$\mathrm{a}\cap \mathrm{b},$$\cap/$.

$\mathrm{a}\cap^{2}\mathrm{b}$2. レオナルドの論述

2-1. 有理数ではないことの証明
めを有理数すなわち長さと幕において通約可能な数とおく.
め<ai $=$ $2$

ところでめ=有理数とおいたので, めは整数または分数である.
1) 整数とする,$\mathrm{a}\mathrm{b}\triangleleft$より$\mathrm{a}\mathrm{b}=1$となる. すると *2+1+1*13. ところ力$\mathrm{i}$$\Re$は 20 であったので矛盾.

よってめは整数ではありえない.
2) 分数とする

は分数または整数.
e\mapsto は分数の分数の分数.
可は分数, または分数の分数.
したがってが分数であろうと整数であろうとこれら 3 数の和は分数になるが, 実際は20 であり分数ではない.
したがって, めは分数ではありえない.
$\mathrm{M}$$\mathrm{M}$2-2. 有理数の根ではないことの証明$*\mathrm{b}$を有理数の根とし,(め)\sim \ltimesとする.
$\mathrm{b}\mathrm{k}$.

献門森

これはめ 3よって$(=x^{3})$に等しい.

$\mathrm{R}\mathrm{z}$8一の記号法は, 次で用いられた記号法である. 中村幸四郎他 (訳・解説), 『ユーク論五 共立出版, 1971,.
$\mathrm{p}.510$

$|J$

ッド原

40
VF より

二こで n 鴎1

この 4 数は比例関係にある. また命$\mathfrak{n}.\cdot$$\phi\cap \mathrm{A}$なので 10,$\mathrm{b}$すなわち,$\mathrm{k}$も有理数の根となる、.

まため\cap k より,
め寡

)

(め

すなわち命寡 ae である. (※)
また命寡 2 可よって r 原$\sim \mathrm{J}$$t^{1}$

より,

さて, \Leftarrow \supset 2 は有理数で,よって
よって$\alpha$$\dot{\alpha}$$\dot{\mathrm{a}}\cdot\dot{r}$は無理数{?}$\mathrm{l}\mathrm{q}\mathrm{d}\rangle$

は 10 で有理数であった.
も有 1 謹\sim そのーも有理数. しかしこれは無理数であった.
$\infty$

ゆえにめは有理数の根ではありえない 4.
以降の別解を次のよ に与えている.
また可 d は有理数{?}{?}が有理数の根であり, a は有理数なので,ゆえに, 全体の面山は有理欽と無理数とから虞立するが. 実謙は I なので不都合
さて, レオナルドは.

$(\cross.\cdot)$$\mathrm{B}$$(\ovalbox{\tt\small REJECT}.ae|\mathrm{r})$である.

2-3. めが平方根の平方根ではないことの証明
めをある有理数の平方根の平方根とする.
さらに,(め)2\rightarrow 愈
とせよ.

よって,

ffikW

めは有理数の平方根の平方根であったので, 泳は平方根.
ゆえに,$\Phi\cap^{\mathrm{g}}\$

すると, め寡$z\mathrm{k}$となる 13.

41
めは中項線分 (=で反も中項線分となる,
そしてめ寡&.
$\mathrm{r}$ は双中項線分 (bimdial\‘is) となる.
よって, 全体帥

さらに,(め)2=1 久 d\succ hは有理線分で,.
よって は有理数の平方根で, 可寡
よって,は余線分である 15.
$\mathrm{e}\mathrm{i}\cap/\mathrm{b}^{14}$$\mathrm{e}i$$\dot{\alpha}$$\sim$,.

$\mathrm{a}\mathrm{i}\cap 2\mathrm{e}\mathrm{i}$$\mathrm{a}\mathrm{e}$ところが$\mathrm{a}\mathrm{e}$は双中項線分であったが, 余線分は双中項線分ではないので, 矛盾.

ここでレオナルドは証明を次に進めるために以下のような準備をする. これは『原論 第 10
巻を算術化したものである.
ます, 二項和からなる数 2 の分類である. レオナルドによれば次のようになる. ここで記号
口は平方数を示すとする.
$\Delta$(現代表記)(性質)$\mathrm{a}+\sqrt{}^{-}\mathrm{b}$$\mathrm{B}_{1}$$f$$\mathrm{B}_{2}$七(レオナルドの挙げた例)

a2-b2=ロ$4+f7$$\mathrm{a}/(\mathrm{a}- \mathrm{b}^{2})=\square _{1}/\square _{2}$$f_{112+7}$f 計 fb(^)/a=$\mathrm{B}_{3}$$\mathrm{B}_{4}$七$\mathrm{B}_{5}$$f\mathrm{a}$$\mathrm{B}_{6}$$f\mathrm{a}+f\mathrm{b}$$\square$(a2 士)/a\neq$\mathrm{a}+\mathcal{F}\mathrm{b}$l/$\square$$\square$

1/

。’ め

$\square$$\neq\coprod_{1}/\square _{2}$2\leftarrow 、\acute ]6$f_{6+2}$$(\mathrm{a}- \mathrm{b}^{2}\mathrm{y}\mathrm{a}\neq\square _{1}/\Pi_{2}$($\sqrt{}^{-}18+\sqrt{}^{-}10$、$f8+f5$$\mathrm{a}- \mathrm{b}\mathrm{y}_{8}\neq\Pi_{1}/\coprod_{2}$

これを『原論 X-54-59 を用いて別の書き方をすると, 性質は以下のように表記することもできる. ただし は任意の有理数とする.
$\mathrm{J}$$\mathrm{e}$$\mathrm{B}_{1}$$\mathrm{B}_{2}$$\mathrm{B}_{\}$$\mathrm{B}_{4}$;(a2 市 2) 寡亀;(a2 市 2) 寡鳥$\Gamma(\mathrm{a}^{2}- \mathrm{b}^{2})\cap \mathrm{a},$($\sqrt{}^{-}$$\mathrm{a}^{2}$七 2) 寡ん$\mathrm{B}_{5}$$\mathit{1}^{-}(\mathrm{a}^{2}- \mathrm{b}^{2})\cap/\mathrm{a},$$\mathrm{B}_{\mathrm{Q}}$$\Gamma(\mathrm{a}^{2_{-}}\mathrm{b}^{2})$寡ん$\mathrm{a}\cap \mathrm{e}$$\mathrm{b}\cap \mathrm{e}$$\mathrm{a}\cap/\mathrm{e},$$\mathrm{b}\cap/\mathrm{e}$$\mathrm{a}\text{寡}\mathrm{e}$$\mathrm{b}\cap \mathrm{e}$$\mathrm{a}\text{寡}/\mathrm{e},$$\mathrm{b}$寡$/\mathrm{e}$さらにこれら 6 つの 2 項の平方根; 龜は順に次のようになる 16.

通約できないであろう」.
14『原論 4 X-22 を用いている. 「中項線分上の正方形に等しい矩形が有理線分上にっくられると,有理でかつ矩形の底辺と長さにおいて通約できない線分を幅とする」.

『原論 4 X-73 を用いている. 「もし有理線分から全体と平方においてのみ通約できる有理線
分力 f\S |かれるならば, 残りは無理線分である. それを余線分とよぷ」.
16
フテン語名はそれぞれ以下のようである.
\sigma binomialis (二項数), bindiah.s prima (第一双中項撒 , bimdiah.s(第二双中項数),
油 $a$ 血血皿
),
窟 oe
$1S$

$\mathrm{m}$$\mathrm{o}\mathrm{e}\alpha \mathrm{m}\mathrm{d}\mathrm{a}$

寛.

$\pm$

oe 狽

.

$\mathrm{m}\mathrm{a}\mathrm{i}\varpi$.

$\mathrm{p}\mathrm{m}\mathrm{B}$$\mathrm{M}1\mathrm{S}$42$(\{4\mathrm{f}\mathrm{f})$a寡$f\mathrm{B}_{1}$

f烏
f烏

.

$(\triangleright A[] J\triangleright\triangleright.\sigma)\mathrm{a}\mathrm{e}|ff.\mathrm{m})$$2\mathrm{b}$$\mathrm{a}\cap^{\mathrm{g}}\mathrm{b},$$\mathrm{a}\text{寡^{}2}\mathrm{b},$$\mathrm{a}$$\mathrm{a}\cap/^{\mathrm{g}}\mathrm{b},$$\mathcal{F}\mathrm{R}$$\mathrm{a}$$\Gamma \mathrm{R}$a 寡/2b,$\Gamma \mathrm{R}$a 寡/\epsilon b,$4\Gamma 2+f48$$\mathrm{a}\cdot \mathrm{b}\text{寡}\mathrm{e}$.b 寡ん$4\Gamma 12+_{4}f3$.b 寡ん$(\mathrm{g}\mathrm{t}\mathrm{b})\cap \mathrm{e}$$\mathrm{a}\cdot \mathrm{b}\text{寡}\mathrm{e},$$\mathrm{a}$$(\mathrm{H}\mathrm{b})\text{寡}\mathrm{e}$

)

.b 寡ん

$\mathrm{t}\mathrm{r}\mathrm{b}$$\text{寡}l\mathrm{e}$ついで余線分曳=}\mbox{\boldmath $\theta$}を挙げる.
/(u2-v2) 寡\iota 4u 寡 e
Jlu2-v2) 寡鳴 V 寡 e$\mathrm{R}_{1}$$\mathrm{R}_{2}$$\mathrm{R}_{S}$$f(\mathrm{u}^{2_{-}}\mathrm{v}^{2})$寡4$\mathrm{R}_{4}$$f(\mathrm{u}^{2_{-}}\mathrm{v}")$

寡ん u 寡$\mathrm{R}_{\mathrm{g}}$$f(\mathrm{u}^{2}.\mathrm{v}")$寡ん$\mathrm{v}$$\mathrm{R}_{6}$$f(\mathrm{u}^{2_{-}}\mathrm{v}^{2})$寡ん$\mathrm{u}$$\mathrm{u}$寡$/\mathrm{a}\mathrm{v}$

寡e
寡

寡/e

$\mathrm{e}$.

$/\mathrm{e}$$\mathrm{v}$寡$/\mathrm{e}$

さらに続けて, その平方根 a をとる.
$\mathcal{F}\mathrm{R}_{1}$$\mathrm{u}$寡$\mathrm{g}_{\mathrm{V}}$,$\Gamma \mathrm{R}_{2}$$\mathrm{u}\text{寡}2\mathrm{v},$$\Gamma \mathrm{R}s$u寡寡$\mathrm{g}_{\mathrm{V}},$$f\mathrm{R}_{4}$$\mathrm{u}$$\mathcal{F}\mathrm{R}_{5}$$\mathrm{u}\cap/^{\mathrm{g}}\mathrm{V},$$\Gamma \mathrm{R}_{6}$$\mathrm{u}$寡$\mathrm{u}\cdot \mathrm{v}$寡$\mathrm{e}$$\mathrm{u}\cdot \mathrm{v}\text{寡}l\mathrm{e}$$l^{\mathrm{g}}\mathrm{v},$$\mathrm{u}\cdot \mathrm{v}$$\mathrm{u}\cdot \mathrm{v}$$/^{\mathrm{g}}\mathrm{v},$$\mathrm{u}\cdot \mathrm{v}$寡寡, (u$) 寡\mbox{\boldmath $\omega$}\pm \rightar ow 寡ん$/\mathrm{e}$$\mathrm{e}$$\mathrm{Q}_{1}$寡ん$(\mathrm{u}4\gamma)$

寡 le

この準備の後, 証明が続く.

2-4.
(1)

$\mathrm{B}_{\mathrm{i}}(.-1,\ldots,6)$

ではないことの証明$\mathrm{a}\mapsto \mathrm{B}_{\mathrm{i}}(\dot{r}1A4.5)$

すなわち,

とする.

\vdash (有理数一 \div (無理数\rightarrow

大とおく.

$\sim\sim$

め・徳\exists 森となり, $A*$ である.
を加えると,
両辺に$\mathrm{W}$$\alpha=\$

ます,

$\#$

0\sim 菊 +(平方根) をいう.

(k)$z_{+(\infty)}\mathrm{a}_{+2\cdot \mathrm{k}\cdot \mathrm{r}\mathrm{b})}z$

ここで,(k)2, (oe) 2 は有理数であるから,$0\mathrm{Q}\mathrm{g}+(\mathrm{c}\mathrm{a})\mathrm{g}*\mathrm{f}$

2’

とすると.

$\mathrm{k}\cdot \mathrm{o}\mathrm{e}*-$$f(4+f13)+f$( 、f-13)$4$$\mathcal{F}(f\mathfrak{B}+2)+f(f\mathfrak{N}2)$

f(L\succ P 酬 $T1TM7$)

43
反は有理数なので,より,$\mathrm{f}\mathrm{f}\mathrm{i}/\mathrm{c}\mathrm{a}=2\mathrm{k}$$\mathrm{f}\mathrm{f}\mathrm{i}\cap \mathrm{c}\mathrm{a}$ここで改を次のように四分する.
改

七か$=\mathrm{g}$山永ゆ, ff は有理数なので, ゆ殉
から, ffi も有理数.

$\mathrm{f}\ovalbox{\tt\small REJECT}-$

も有理数.

$\mathrm{b}\sigma \mathrm{f}\mathrm{o}$

よって〆.

&

$\mathrm{f}\varpi 0$は有理数.

より, 卯寡$\text{寡}\mathrm{c}\mathrm{a}$$\mathrm{c}\mathrm{a}$も有理数となる 17.
また, no, of は有理数で, &寡 ca であったので, あ寡泳.
no, of は有理数なので, 面, 凍は互いに通約可能な平方根からなることになる.
そして, ひとつにまとめると, 平方根が生じる.
よって$\mathrm{d}$

よって,
《ffi【

}$+(\ \}\ )=(\#\cdot \mathrm{m})$ +(平方根)$=\omega \mathrm{o}1$

声なので,(有理数) +(平方根)$\mathrm{d}\mathrm{e}=$も (有理数) +(平方根) であることを同様にして証明する.
以上から, 山州\succ (有珊 )+(平方根) となり, 数 20 ではなくなり, これは矛盾.
よって, めは (有理数) +(平方根) からなる 4 種の二項和
ではない.
さらに,

$\#$

$\prec$$(\mathrm{B}_{1}.

(2)$\mathrm{R}\subset \mathrm{B}_{\mathrm{i}}$とする$(\dot{\mathrm{F}}3,6)$\mathrm{B}_{2}, \mathrm{B}_{4}.

\mathrm{B}_{6})$

.

七とする

$\sim$

i 泳なので, (有理数) +(平方根)
よって $6-*+a\mathrm{d}$ は$(6^{\cdot}\infty)$+(平方根) となるが, これは di-

以上 (1), (2) から, めは二項和醜$(\dot{r}1,\ldots,6)$

い北圭.

ではない.

2-5. \searrow ではないことの証明
これは 2-4 と同様の証明でできる (証明略).

2-6.

でも

$f\mathrm{R}_{\mathrm{i}}$でも$\mathit{1}^{-}\mathrm{R}_{1}$

でもないことの証明
これは次の 6 つに分けられて論ぜられる.

(1)め$f_{\mathrm{B}_{\mathrm{i}}}$$\mathit{1}^{-}\mathrm{B}_{1}$でないことの証明\sear ow であった. また『原論 lg より.
$\Delta$$\neq \mathrm{B}\mathrm{i}$

$*$

17

$f\mathrm{B}_{1}$

=醜

.

.

$\mathit{1}^{-}\mathrm{R}_{1}\approx \mathrm{R}_{\mathrm{i}}$『原論』X-19 を用いている. 「長さにおいて通約できる有理線分にかこまれる矩形は有理面積である」.
18『原論 X-54 と『原論 X-91 とを指す. 「もし面積が有理線分と第 1 の二項線分とにょって$\mathrm{J}$$\Delta$

44
A
(2)

$\mathrm{o}T$.

$f\mathrm{B}_{2}$$\mathrm{m}1$$\mathrm{A}\neq\Gamma \mathrm{B}_{\mathrm{i}}$’.

$\Gamma \mathrm{R}$でないことの証明

N「B2とする. これは r 原論\sim 19 上り. 第一双中項余線分である.
蕗 $=$ \dashv 永$=$ (有理数) +(平 j 趨 o.
また$\phi$.

妙汽.

も (有理数) +(平方根).
よって \Phi 一競は (有珊釦 +(平方根) となり,
さらに

(3)

f職

$\alpha$ae にはならす矛盾する.

でないことの証明
は
動 +(平方根) なので. 同様にして示される.

$(\mathrm{H}\beta)$$\mathrm{B}_{\mathrm{i}}(l\prec S)$$rightarrow\sim$( $3,6$) でないことの証明(4) f 職 「山可 1\leftarrow C\sim 1 幻 +(平方根).
また $a=$ (有理数) +(平方根).
よっては (有 m) +(平方根) となり,$.$$\cdot$$\alpha.=\ +\alpha$

北圭.

さらに f 臓でないことも同様にして証明される.
(5)AX\kappa ,4\beta ) でないことの証明

ab flQi^\beta 冫りとき,&は$f\mathrm{R}\{i$44S) となり, また$\mathrm{d}$は (有 1 謹り +(平方根) である.

よって. 山は有理数にはならず, 矛盾.

(6) /’R\rho ,6) でないことの証明
同様の証明ができる.
以上で, 線分めはユークリッドの言及する 15 種の線分にはならないことが証明できた. そこで用いられた証明から, レオナルドはユーク ) ッド『原鵬」第 10 巻を算術化し, 新しい数概$\mathrm{t}$

念を生み出しつつあったことがうかがえる. この算術化はすでに古代ギリシア末期のヘロンなどにも見られ, アラビアでさらに展開されたものであり , それをレオナルドは受け継いでいるのであろう. ただし証明はいまだギリシア的であり, 幾何学を用いていることに注意してお$\mathrm{n}$こう. 代数学が幾何学にとってかわり, 証明の働きをするのはまだ数世紀を待たねばならない.

45
ところでレオナルドの論述はこれで終わるのではない, さらに続けて次のように述ぺてぃる,

そしてこの問題は上記のどれでも解くことができなかったので, 私はその解を近似することを学んだ. そして, 言及された十個の根のうちのひとっ, すなわち数めは, $[] mwn$
et minuu\sim し et secun&\Pi I et $tem\dot{a}BJI$ et quar\gamma 2) し\chi $OII$ et quinta IIII et $smM$ である
ことを見出した 21
$I$

この数値は

$\infty$進法で記述されており, 現代表記すると, 1:22; 7; 42; 33; 4; 40 である. しがしレ

オナルドはこの解をどのようにして見出したかについては一言も述べてぃないのである.

3. レオナルドの時代の 3 次方程式
アラピア世界では 9 世紀にアルーフワーリズミーが代数学すなわち 「ジャブルの学」 を確立
し, 2 次方程式の代数的解法と, 幾何学的図形による解法すなわち 「図解」 とを議論した. また他方で, アルキメデス『球と円柱について 第 2 巻命題 4 の「与えられた球をひとっの平面で切って, 2 つの欠球が互いに与えられた比をもっようにすること」が. アラビア世界の代数学の伝統に加わり,) (c-x)yR の解法に帰結する 3 次方程式にかかわる問題となっ$\Delta$$x^{l}\prec \mathrm{c}^{2}/\mathrm{a}$$\gamma:$

た. このような伝統の中でレオナルドの時代には 3 次方程式は様々な仕方で議論された. それを次のようにまとめておこう (中国は除く).

(1). 幾何学的解法

先のアルキメデスに由来する 3 次方程式の問題をアラビア世界で最初に議論したアノーマー
ハーニーにちなんで, x3 軸の問題は「アル=マーハーニーの m として知られるようになったが, 彼自身は解法を見出せなかった. これ以降, これを含めて 3 次方程式の解を円錐$2\mathrm{b}\approx\kappa^{2}$曲線の交点上に求める幾何学的解法が試みられた. サービト・イブン. クッラ,ン,

アル=ハージ

アブル $=$ ジュード・イブン. アル $=$ ライス, アル $=$ クーヒーなどである. それらの成果をまとめたのが有名なアル=ハイヤーミー (1048-1131) である 22. 彼はレオナルドと同じ型の方程式を円と双曲線との交点上に求めている 23.
(2). 「ホーナーの方法」
ア’=ハイヤー一のあとシャラフ・アッディーン. アッ トゥースイー ($\sim 1213$ または 1214)
が, 3 次方程式の解を, ヴイエトに始まりルフィニ=ホーナーで完成したいわゆる 「ホーナー$\backslash \backslash \backslash$. の方法」で見出すことに成功したゝ. 後にこの方法はアル

$=$

$=$

カーシーの時代に一般的となり,

彼は 6 乗根の開法に適用した.
(3). 代数的解法一誤った拡張

ピサのレオナルド以降. 彼の方法を踏襲していわゆる「算法学派」がイタリアで形成された.
それを担った人物は「算法教師」であり, 方程式の代数的解法を互いに競い合った. その伝統の中で後にいわゆるカルダーノとタルターリアの 3 次方程式をめぐる論争が生じるのである.
さてその中でもっとも初期に 3 次方程式の代数的解法を扱ったのが, レオナルドの一世紀後の

46年に書かれたパオロ. ゲラルデイの n 渚問題の書 ($Lib\kappa\phi$\rightarrow である. しかしそこで
彼は 3 次方程式を誤って 2 次方程式の解の公式を用いて解いてしまっている”.
$13\mathfrak{W}$$\mathrm{J}$以上の 3 次方程式をめぐる解法の伝統を眺めるならば, 先に述べたレオナルドの ffl は歴史上きわめて特殊であるといえよう. レオナルドを前後した時代においては, 代数学は一般的に,学ではなく技法 (m) としてしかみなされなかっ. 実際. 中世ラテン世界では代数学は大学
では数学の教科対象にもならなかったのである. しかし彼はそれをユークリッド的論証法に基づいて学 ($xklmaarrow$ と高揚した, しかも独創的な西欧最初の数学者といえるのである.
$^{\mathfrak{B}}.$

4.

レオナルドと 3 次方程式

さて, 彼はいかにして具体的な解を見出したのであろうか. 以上述べた 3 つのうち可能性があるのはいわゆるホーナーの方法であろう. しかし彼がその方法をアラビアから伝え聞いたということを示す直接間接の証拠はまったく存在しない. また著作には 3 次方程式を扱ったもの
は他にはなく, 起源に関するこの問題の解決は困難である. ところで以上の方法のほかに可能性としては,

複式仮定法自身はすでにアラビア世界で知られており,
つの誤りの」 (JJ
一方法と言われていた. レオナルドはこれをラテン語に音訳し $ekhM9m$ と呼ひ, また$fM’|m\mu \mathrm{r}\dot{x}\dot{w}|ulmoeg_{l}\$ とラテン語に意訳して言及することもあった.
これは, 2 つの近似値から, 第 3 のより正確な値 を求める方法である.
ところでレオナルドはこの方法を r 算板の劃第 13 章で詳細に述べている”.
において.
爬$\text{「}2$$.\omega$$\mathrm{d}_{l}anm[]$$y$$\iota \mathrm{b}$–$x$$\mathrm{y}=\frac{a\mathrm{x}(f(b)-e)+b\mathrm{x}(c-f(a))}{f(b)-f(a)}$彼はこの方法\sim の有効性をはっきりと詔識し, 「これによってすべての問題が解かれる』とまで言い切っている.

の値をいかにとるかによって解の値は変化するが, グルシコフはこの方法を 18 回
繰り返すことによってレオナルドは 3 次方程式の近似解に至ったとする$v$ いずれにせよレオナルド自身が用いた 3 次方程式解法は不明ではあるが, 可能性として, ホーナーの方法あるい
さて,$\mathrm{t}\mathrm{b}$は複式仮定法が挙げられるのである 30. ただし彼は解を.

$\infty$進法で記述していることに注意しておこう. レオナルドには nJ 板の書 J に見られるようにいわゆる 10 進法による分数表記も可能

47
進法で記述したことは, 彼であったはずであるが (10 進小数表記はまだ知られていない),進法を用いる天文学に結ひついたアラビアの近似計算の伝統につながるものであの方法が$\infty$$\infty$

ることをうかがわせる.
r 算板の書] や『平方の 1」はレオナルドの死後不完全ではあるが受容されイタリア語による要約版も出た. しかしながら『精華 4 自体はまったく知られることなく一実際, 写本は現在, したがってレオナルドによる 3 次方程影響を与え式の議論や近似解法はその後のイタリアの「算法学派」 さらには近代西欧数学
方程式に関する彼の議論は,先行するアラビア数学にも見なかったようである. また他方で,レオナルドの次方程式解法をめぐる議論は歴史上き
その意味で
,
3
られなかったものである.
わめてーリ であり特異なものであるといえよう.
ミラノに保存されている 1 点しか残されていな$\mathrm{V}^{\mathrm{a}^{31_{--}}}$$\}^{}.\mathrm{I}$$\beta\dot{\mathfrak{h}}\backslash$31