[TOP]

ピタゴラス方程式の解

2017年3月1日作成

ピタゴラス方程式の解

ピタゴラスの定理から直角三角形の底辺 $x, y$ と斜辺 $z$ の長さには \[ x^2+y^2=z^2 \] という関係がある。それで例えば底辺の長さが3, 4である直角三角形の斜辺の長さは5であり、 底辺の長さが5, 12である直角三角形の斜辺の長さは13である。

また、逆に上記の関係が成り立つとき、各辺の長さが $x, y, z$ である 三角形は直角三角形であり、 $x, y$ が底辺の長さで $z$ が斜辺の長さである。

上記の直角三角形の例は、いずれも各辺が全て整数だが、そのような直角三角形はもちろん他にもある。 例えば各辺の長さが 3, 4, 5 の直角三角形から、直角三角形で各辺の長さの組が (6, 8, 10) とか (9, 12, 15) とか 一般に $(3k, 4k, 5k)$ であるものが 見つけられる。 もちろん、このような相似関係にあるものを別としても、各辺の長さが全て整数である直角三角形は たくさんあることがわかる。 (7, 24, 25) とか (8, 15, 17) などである。

ピタゴラスの定理から、各辺の長さが全て整数である直角三角形を見つけることは不定方程式 \[ x^2+y^2=z^2 \] の自然数解をすべて求めることと同じである。この自然数解をすべて求める公式は \[ x=d(m^2-n^2), y=2dmn, z=d(m^2+n^2) \] あるいは \[ x=2dmn, y=d(m^2-n^2), z=d(m^2+n^2) \] で与えられる。

 まず $\gcd(x, y, z)=1$ の場合から考える。
 この場合、特に $x, y$ が共に偶数であることはありえない。 また $x, y$ が共に奇数のとき $x^2, y^2$ は共に4で割った余りは1となるから $z^2$ は4で割った余りが2とならなければならないが、これもありえない。
よって $x, y$ の一方が偶数で他方が奇数である。 それで $x^2, y^2$ も一方が偶数で他方は奇数だから $z^2$ は常に奇数である。したがって $z$ も常に奇数である。
そこで、例えば $x$ を奇数とし $x=r-s, z=r+s$ とおくと $y^2=z^2-x^2=4rs$ である。
ここで $k=\gcd(r, s)$ とおくと $k$ は $x=r-s, z=r+s$ も割り切るから $y^2=z^2-x^2$ も割り切る。よって $k$ は $x, y, z$ をすべて割り切る。しかし $\gcd(x, y, z)=1$ の場合を考えているので $\gcd(r, s)=k=1$ でなければならない。 したがって $r, s$ は共に平方数でなければならない。そこで $r=m^2, s=n^2$ とおくと \[ x=m^2-n^2, y=2mn, z=m^2+n^2 \] となる。
一方 $y$ が奇数ならば、同様にして \[ x=2mn, y=m^2-n^2, z=m^2+n^2 \] となる。

一般の場合、つまり $d=\gcd(x, y, z) > 1$ の場合 $x=dx_0, y=dy_0, z=dz_0$ とおくと $\gcd(x_0, y_0, z_0)=1$ かつ $x_0^2+y_0^2=z_0^2$ であるから \[ x_0=m^2-n^2, y_0=2mn, z_0=m^2+n^2 \] または \[ x_0=2mn, y_0=m^2-n^2, z_0=m^2+n^2 \] である。これを元の変数を使って書き直すと \[ x=d(m^2-n^2), y=2dmn, z=d(m^2+n^2) \] または \[ x=2dmn, y=d(m^2-n^2), z=d(m^2+n^2) \] となり、冒頭の形の解を得る。

上記の公式は古くから知られており、ユークリッドの「原論」第10巻命題29の補題1にまで遡る。ただしユークリッドの公式は \[ z+y=kn^2, z-y=km^2, x^2=z^2-y^2=(kmn)^2 \] の形をとる。ただし $z+y, z-y$ は共に偶数か、共に奇数であるものとする。これは \[ x=kmn, y=\frac{k}{2}(m^2-n^2), z=\frac{k}{2}(m^2+n^2) \]

に相当する。実際にはこれは上記の公式と同値である。ユークリッドは「原論」第10巻命題29の補題2で、この公式からすべての解が導き出されると主張しているが、 その証明は不完全だった。

ディオファントスは「算術」の第2巻問題8で与えられた平方数を2つの有理数の平方の和で表す問題について議論し、16について解 \[ 16=\left(\frac{12}{5}\right)^2+\left(\frac{16}{5}\right)^2 \] を求めている。一般の場合には、ピタゴラスの方程式の有理数解を求めることに相当し、ディオファントスの方法から有理数解 \[ x=\frac{2mz}{m^2+1}, y= mx-z=\frac{m^2-1}{m^2+1}z \] が得られる。これは整数解 \[ x=2kmn, y=k(m^2-n^2), z=k(m^2+n^2) \] に対応するので、上記の公式と同値である。

タイトル
名前
URL
E-mail address
本文中ではLaTeXコマンドが使用可能です。
イメージ色
[admin]


[BACK][NEXT]

#425:[ 無題 ] Home Mail https://cse.google.ms/_____Date: 06/29 19:00 GMT
References:


Legiano Casino Bewertung https://cse.google.ms/

#424:[ 無題 ] Home Mail http://shourl.free.fr_____Date: 06/29 18:36 GMT
References:


Legiano Casino Bonusbedingungen http://shourl.free.fr

#423:[ 無題 ] Home Mail https://www.xcelenergy.com_____Date: 06/29 18:12 GMT
References:


Legiano Casino Umsatzbedingungen https://www.xcelenergy.com

#422:[ 無題 ] Home Mail maps.google.gp_____Date: 06/29 09:03 GMT
References:


Legiano Casino Support maps.google.gp

#421:[ 無題 ] Home Mail wartank.ru_____Date: 06/29 08:58 GMT
References:


Legiano Casino Zahlungsmethoden wartank.ru

#420:[ 無題 ] Home Mail https://www.paltalk.com/_____Date: 06/29 06:50 GMT
References:


Legiano Casino Echtgeld https://www.paltalk.com/

#419:[ 無題 ] Home Mail lonevelde.lovasok.hu_____Date: 06/29 06:26 GMT
References:


Legiano Casino Codes lonevelde.lovasok.hu

#418:[ 無題 ] Home Mail http://eeclub.ru_____Date: 06/29 03:19 GMT
References:


Legiano Casino Cashback http://eeclub.ru

#417:[ 無題 ] Home Mail https://aiviu.app/@debracoleman01?page=about_____Date: 06/29 03:18 GMT
References:


Legiano Casino Alternative https://aiviu.app/@debracoleman01?page=about

#416:[ 無題 ] Home Mail toolbarqueries.google.ci_____Date: 06/29 02:32 GMT
References:


Legiano Casino Web App toolbarqueries.google.ci

#415:[ 無題 ] Home Mail https://chubechube.com_____Date: 06/29 01:43 GMT
References:


Legiano Casino Code https://chubechube.com

#414:[ 無題 ] Home Mail https://www.allods.net_____Date: 06/29 01:40 GMT
References:


Legiano Casino Registrierung https://www.allods.net

#413:[ 無題 ] Home Mail sportsdungeon.com_____Date: 06/29 01:12 GMT
References:


Legiano Casino No Deposit Bonus sportsdungeon.com

#412:[ 無題 ] Home Mail https://krazzy4gangaur.com/@tutmaynard5796?page=about_____Date: 06/29 01:03 GMT
References:


Legiano Casino Echtgeld https://krazzy4gangaur.com/@tutmaynard5796?page=about

#411:[ 無題 ] Home Mail http://www.shavermfg.com_____Date: 06/28 23:13 GMT
References:


Legiano Casino Live Casino http://www.shavermfg.com

#410:[ 無題 ] Home Mail ott.saikatinfotech.com_____Date: 06/28 21:26 GMT
References:


Legiano Casino Cashback ott.saikatinfotech.com

#409:[ 無題 ] Home Mail bfreetv.com_____Date: 06/28 20:47 GMT
References:


Legiano Casino Betrug bfreetv.com

#408:[ 無題 ] Home Mail soundrecords.zamworg.com_____Date: 06/28 19:56 GMT
References:


Legiano Casino Bonus soundrecords.zamworg.com

#407:[ 無題 ] Home Mail greenopps420.com_____Date: 06/28 19:17 GMT
References:


Legiano Casino Jackpot greenopps420.com

#406:[ 無題 ] Home Mail 645123.com_____Date: 06/28 19:06 GMT
References:


Legiano Casino Download 645123.com

#405:[ 無題 ] Home Mail https://www.cossa.ru/_____Date: 06/28 17:49 GMT
References:


Legiano Casino Mobile https://www.cossa.ru/

#404:[ 無題 ] Home Mail https://qpxy.cn_____Date: 06/28 16:08 GMT
References:


Legiano Casino Jackpot https://qpxy.cn

#403:[ 無題 ] Home Mail rosewood.edu.na_____Date: 06/28 08:51 GMT
References:


Legiano Casino Tischspiele rosewood.edu.na

#402:[ 無題 ] Home Mail altamira.edu.ec_____Date: 06/28 08:37 GMT
References:


Legiano Casino Paysafecard altamira.edu.ec

#401:[ 無題 ] Home Mail https://www.altamira.edu.ec_____Date: 06/28 07:11 GMT
References:


Legiano Casino Gutscheincode https://www.altamira.edu.ec

#400:[ 無題 ] Home Mail https://www.orkhonschool.edu.mn/_____Date: 06/28 06:58 GMT
References:


Legiano Casino Gutscheincode https://www.orkhonschool.edu.mn/

#399:[ 無題 ] Home Mail rosewood.edu.na_____Date: 06/28 06:41 GMT
References:


Legiano Casino legal rosewood.edu.na

#398:[ 無題 ] Home Mail https://www.news.lafontana.edu.co/_____Date: 06/28 06:26 GMT
References:


Legiano Casino VIP https://www.news.lafontana.edu.co/

#397:[ 無題 ] Home Mail divinagracia.edu.ec_____Date: 06/28 05:52 GMT
References:


Legiano Casino Spielen divinagracia.edu.ec

#396:[ 無題 ] Home Mail https://www.altamira.edu.ec/_____Date: 06/28 05:03 GMT
References:


Legiano Casino Test https://www.altamira.edu.ec/

#395:[ 無題 ] Home Mail https://www.rosewood.edu.na/profile/gracesqndaniels36681/profile_____Date: 06/28 04:45 GMT
References:


Legiano Casino Auszahlung Dauer https://www.rosewood.edu.na/profile/gracesqndaniels36681/profile

#394:[ 無題 ] Home Mail https://www.haphong.edu.vn_____Date: 06/28 04:37 GMT
References:


Legiano Casino Registrierung https://www.haphong.edu.vn

全てのコメントを HTML 化してダウンロードできます。
ダウンロード後、ファイルの拡張子をhtml に変更してご利用ください。


管理者 Tomohiro Yamada : JawaNote v1.41 [Shigeto Nakazawa], revised by Tomohiro Yamada