[TOP]

フェルマー予想と直角三角形

2017年3月1日作成

フェルマーは「算術」の写本の、上記の問題のページの余白に

立方数は2つの立方数に分割することはできず、4乗数は2つの4乗数に分割することはできず、 それより高次のいかなる次数の累乗数も、2つの、同じ次数の累乗数に分割することはできない。私はこのことの真に驚くべき証明を発見したが、 この余白はそれを記すには狭すぎる
と記した。すなわち \[ X^n+Y^n=Z^n, n\geq 3, XYZ\neq 0 \] に解がないことを証明したと主張したのである。しかし、フェルマーによる証明は現在のところ存在が確認されていない。

フェルマーは「算術」の写本の別の箇所に「辺の長さが全て有理数で面積が1の直角三角形は存在しない、言い換えれば 辺の長さがすべて整数で、かつ面積が平方数となる直角三角形は存在しない」ことの証明を記している。 これは上記の解の公式から不定方程式 \[ mn(m^2-n^2)=l^2 \] の自然数解 $m, n, l$ を発見する問題と考えることができる。ここで $k=\gcd(m, n) > 1$ とすると $\gcd(m_0, n_0)= 1$ かつ $m_0=m/k, n_0=n/k, z_0=z/k^2$ もこの方程式の自然数解となる。したがって $\gcd(m, n)=1$ の場合を考えることに帰着する。

このとき $\gcd(m, m^2-n^2)=\gcd(n, m^2-n^2)= 1$ となる。 というのは、例えばある素数 $p$ が $m, m^2-n^2$ を共に割り切るならば $p$ は $m^2-(m^2- n^2)=n^2$ を、ということは $n$ をも割り切ってしまい、 $\gcd(m, n)= 1$ の場合に限定したことに反するからである。

そうなると、 $m, n, m^2-n^2$ はすべて平方数である。したがって \[ m=X^2, n=Y^2, m^2-n^2= Z^2 \] とおくと $X, Y, Z$ は不定方程式 \begin{equation} X^4-Y^4=Z^2 \end{equation} の自然数解となる。この方程式に非自明な自然数解が存在しなければ、 先のフェルマーの方程式は $n=4$ のとき、確かに非自明な自然数解は存在しない。つまり フェルマーは $n=4$ のときには自身の「定理」を証明していたことになる。 なお、辺の長さが全て整数の直角三角形の面積は平方数とはなり得ないことは それ以前にフィボナッチが主張していたが、その証明は完全ではなかった。

フェルマーは数多くの定理を証明したと主張したが、その証明の殆どは現在では存在が確認できない。 しかし、この直角三角形の定理は存在が確認できる非常に数少ないものの一つである。

一方、後年フェルマーの主張した定理や予想を研究したオイラーは \begin{equation} X^4+Y^4=Z^2 \end{equation} には非自明な自然数解は存在しないことを証明した。これはやはりフェルマーの方程式の $n=4$ の場合を含んでいる。

フェルマーの主張した、他の定理や予想はすべて後年に真偽が決着したが、フェルマー予想は最後まで 真偽が判明しないまま残ったため、フェルマーの最終定理と呼ばれるに至った。

オイラーは、最も次数の低い場合、つまり \[ X^3+Y^3=Z^3 \] に非自明な解が存在しないことを証明したと主張したが、その証明には不完全な点があった。オイラーは 複素数の範囲で因数分解したが、オイラーの考えた範囲では素因数分解の一意性が成り立たないのである。 しかし、範囲を変えることで素因数分解の一意性が成り立つようにでき、結局 $n=3$ のときには 整数解が存在しないことがわかる。

なお、 $n=3, 4$ の場合に非自明な解が存在しないことから、 $n$ が $3, 4$ の倍数であるときにも 非自明な解が存在しないことがわかる。例えば \[ X^{3m}+Y^{3m}=Z^{3m} \] ならば、 \[ (X^m)^3+(Y^m)^3=(Z^m)^3 \] となるが、これには非自明な解が存在しないのだから、 $n=3m$ のときにも解は存在しないのである。

フェルマー予想は最終的に1995年に解決されるが、その後の研究についての通史的な解説は他に譲るとして、 ここでは、実際に $n=4$ のときに非自明な解が存在しないことを示してみよう。実はこの場合は、 ピタゴラス方程式の解の公式を用いて、非自明な解が存在しないことを 比較的簡単に証明できるのである。


$X^4-Y^4=Z^2$ は非自明な解を持たない

まず、前に書いたように、フェルマーが非自明な解が存在しないことを証明した方程式 (1) について考える。この方程式が正の整数解を持つと仮定し、その中で $x$ が最小となるものを $(x, y, z)$ とおく。

$x, y$ が共に $d$ で割り切れるとき $x^4-y^4$ は $d^4$ で割り切れるので $z$ は $d^2$ で割り切れる。 ここで $d > 1$ ならば $(X, Y, Z)=(x/d, y/d, z/d^2)$ が上記の方程式の正の整数解となるが、これは $(x, y, z)$ が最小の正の整数解であることに矛盾するから $d=1$ でなければならない。つまり $\gcd(x, y)=1$ である。

よって $x^2, y^2$ も互いに素であるから、ピタゴラス方程式の解の公式より \begin{equation} x^2=m^2+n^2, y^2=m^2-n^2, z=2mn \end{equation} または \begin{equation} x^2=m^2+n^2, y^2=2mn, z=m^2-n^2 \end{equation} となる。ただし $m > n$ は互いに素な、正の整数である。

(3) の場合、 \[m^4-n^4=(xy)^2\] となるので $(X, Y, Z)=(m, n, xy)$ も (1) の解となるが、 $m \lt x$ だから $X=x$ が (1) を満たす最小の正の $X$ であることに矛盾してしまう。よって (3) はありえない。

(4) の場合 $m, n$ は互いに素であるから $x^2=m^2+n^2$ に ピタゴラス方程式の解の公式を用いて \[ m=r^2-s^2, n=2rs \] または \[ m=2rs, n=r^2-s^2 \] を得る。ただし $r > s$ はやはり互いに素な、正の整数である。いずれの場合も \[ y^2=4rs(r^2-s^2) \] が成り立つ。ここで $r, s, r^2-s^2$ はどの2つも互いに素でなければならない。というのは、 たとえば $r, r^2-s^2$ が共にある素数 $p$ で割り切れるならば $s^2=r^2-(r^2-s^2)$ も $p$ で割り切れるから $r, s$ が共に $p$ で割り切れなければならないが、 $r, s$ は互いに素なので そのようなことは起こり得ないからである。よって3つの数 \[ r, s, r^2-s^2 \] は共に平方数である。そこで $r=t^2, s=u^2, r^2-s^2=v^2$ とおくと \[ v^2=r^2-s^2=t^4-u^4 \] より $(X, Y, Z)=(t, u, v)$ も $t \lt r \lt y \lt x$ より、やはり $x$ の最小性に矛盾する。したがって (4) もありえない。

これらのことから (1) は非自明な解を持たないことが分かるのである。


$X^4+Y^4=Z^2$ は非自明な解を持たない

オイラーは (2) も非自明な解を持たないことを示した。こちらの証明はさらに簡単である。 (2) の正の整数解で $Z$ が最小となるものを $(x, y, z)$ とおく。

やはり $x^2, y^2$ は互いに素であるから、ピタゴラス方程式の解の公式より \begin{equation} x^2=m^2+n^2, y^2=2mn, z=m^2+n^2 \end{equation} または \begin{equation} x^2=2mn, y^2=m^2-n^2, z=m^2+n^2 \end{equation} となる、互いに素な正の整数 $m, n$ がとれる。

いずれの場合も $m^2-n^2, 2mn$ は共に平方数であり、 かつ互いに素である。したがって $m^2-n^2$ は奇数の平方数である。よってピタゴラス方程式の解の公式より \[ m=r^2+s^2, n=2rs \] となる、互いに素な正の整数 $r, s$ がとれる。ここで $2mn$ が平方数であることを思い出すと \[ rs(r^2+s^2)=mn/2 \] も平方数である。

ところで $r, s, r^2+s^2$ はどの2つも互いに素でなければならない。というのは、 たとえば $r$ と $r^2+s^2$ が共に素数 $p$ で割り切れたとすると $s^2=(r^2+s^2)-r^2$ も $p$ で割り切れ、よって $s$ も $p$ で割り切れなければならないが、 $r, s$ は互いに素であることに 矛盾してしまうからである。

よって $r, s, r^2+s^2$ はいずれも平方数である。そこで $r=t^2, s=u^2, r^2+s^2=v^2$ とおくと \[ t^4+u^4=r^2+s^2=v^2 \] となる。よって $(X, Y, Z)=(t, u, v)$ も (2) の正の整数解である。しかし、これは $v\lt v^2=r^2+s^2=m\lt z$ より $z$ の最小性に反する。

こうして (2) も正の整数解を持たないことが示されたのである。

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


[BACK][NEXT]

#5294:[ пояснения retrocasino ] Home Mail Robertrhify_____Date: 06/30 22:51 GMT
Подробнее <a href=https://retrocasino.io>new retro casino</a>

#5293:[ 無題 ] Home Mail no risk_____Date: 06/30 22:48 GMT
Thanks for sharing your thoughts. I truly appreciate your efforts and I will be waiting for
your next write ups thank you once again.

#5292:[ 無題 ] Home Mail Superior Seating Best Furniture Store_____Date: 06/30 21:56 GMT
Thanks for finally writing about >ƒtƒFƒ‹ƒ}ー—\‘z‚ƒシŠpŽOŠpŒ`
<Liked it!

#5291:[ 無題 ] Home Mail Famous Photographers Websites Portfolios_____Date: 06/30 21:43 GMT
Aw, this was an extremely good post. Taking the time and actual effort to make a superb article… but what can I say… I hesitate a
whole lot and don't seem to get nearly anything done.

#5290:[ 無題 ] Home Mail casino echt geld bonus ohne einzahlung_____Date: 06/30 21:40 GMT
online casino ohne anmeldung echtgeld

#5289:[ 無題 ] Home Mail Kelli_____Date: 06/30 20:58 GMT
virtuelles casino 10€ ohne einzahlung

#5288:[ 無題 ] Home Mail Tara_____Date: 06/30 20:50 GMT
wedden wedstrijden

#5287:[ 無題 ] Home Mail Luigi_____Date: 06/30 20:23 GMT
casino ethereum mindesteinzahlung

#5286:[ 無題 ] Home Mail singapore math tutor nj_____Date: 06/30 20:05 GMT
OMT's updated sources keep mathematics fresh and interesting, inspiring
Singapore trainees to accept it wholeheartedly for test triumphs.




Join our small-group on-site classes in Singapore for customized guidance in a nurturing environment that constructs strong foundational math skills.




With trainees in Singapore beginning official math education from the first day and dealing with high-stakes evaluations, math tuition provides the extra edge needed to attain leading efficiency in this crucial
topic.



Enhancing primary school education with math tuition prepares
students for PSLE by cultivating a development mindset towards challenging subjects
like symmetry and improvements.



Offered the high risks of O Levels for senior high school development in Singapore,
math tuition makes the most of chances for top grades and wanted placements.





Through routine mock exams and thorough comments, tuition helps junior college trainees determine and
remedy weaknesses before the real A Levels.




OMT sets itself apart with a curriculum that boosts MOE syllabus via collective on the internet forums for discussing proprietary mathematics challenges.




Alternative method in on the internet tuition one, supporting not just skills but enthusiasm for math and supreme grade success.




By concentrating on mistake evaluation, mah tuition stops recurring errors that could set you back valuable marks in Singapore
exams.

#5285:[ 無題 ] Home Mail cryptoboss казино_____Date: 06/30 20:03 GMT
It's genuinely very difficult in this full of activity
life to listen news on TV, thus I just use internet for that purpose,
and obtain the newest information.

#5284:[ 無題 ] Home Mail visit article_____Date: 06/30 19:52 GMT
Thanks very interesting blog!

#5283:[ 無題 ] Home Mail example_____Date: 06/30 19:48 GMT
It's a pity you don't have a donate button! I'd without a doubt donate to this superb
blog! I guess for now i'll settle for bookmarking and adding
your RSS feed to my Google account. I look forward to fresh updates and will share this blog with my Facebook group.
Talk soon!

#5282:[ 無題 ] Home Mail Boyce_____Date: 06/30 19:46 GMT
I go to see everyday a few sites and websites to read content, but this website provides quality based posts.

#5281:[ 無題 ] Home Mail racing results at Southwell Today​_____Date: 06/30 19:34 GMT
horse racing non runners for today​

#5280:[ 無題 ] Home Mail wettbro mnster_____Date: 06/30 19:28 GMT
beste wettseiten

#5279:[ 無題 ] Home Mail booi казино_____Date: 06/30 19:03 GMT
Generally I do not learn article on blogs, but I would
like to say that this write-up very pressured me to try and do it!
Your writing taste has been surprised me. Thanks, very great post.

#5278:[ 無題 ] Home Mail singapore shopping_____Date: 06/30 18:51 GMT
Kaizenaire.comis Singapore's ultimate site for accumulating event offers
and deals.




Singapore stands as an international shopping gem, where residents revel in promotions and deals.





Checking out night safaris at the zoo impresses animal-loving Singaporeans, and bear in mind to
stay upgraded on Singapore's most current promotions and
shopping deals.




The Missing Piece sells distinct precious jewelry and accessories, valued by individualistic Singaporeans for
their individualized touches.




Rye designs simple and easy women's garments mah, appreciated by casual style lovers in Singapore for their kicked back yet chic designs sia.





Sunlight Bakery provides cosy buns and rolls, adored by
Singaporeans for inexpensive, wholesome baked products from neighborhood electrical outlets.






Do not lose out leh, Kaizenaire.com always updating with fresh discounts and offers for
smart consumers like you lor.

#5277:[ 無題 ] Home Mail https://playfortunaslots55.casino/_____Date: 06/30 17:52 GMT
Playfortuna Casino — площадка для тех, кто предпочитает играть
с головой, а не на спонтанные
решения. Здесь важны цифры и логика, а не только разовый выигрыш.
Если вам ближе осознанный формат, зайдите на Play Fortuna поддержка игроков и оцените, как
устроены разделы игр и бонусов.



Ассортимент даёт выбор между быстрыми сессиями и долгими
стратегическими заходами, при этом понятны минимальные и максимальные ставки.
Бонусная система выстроена предсказуемо, что упрощает планирование сессий.






Возможность выбирать слоты по волатильности и
механикам


Ясно указанные проценты и сроки


Инструменты для контроля движения средств



Это выбор для игроков, которые любят понимать, как именно они играют

#5276:[ английский переводчик ] Home Mail Timothyglire_____Date: 06/30 17:25 GMT
LinguaGlobal 〓 профессиональное бюро переводов, которому доверяют частные клиенты и компании. Если вы ищете <a href=https://moyleadgen.ru/>переводчик на китайский с русского</a> - заходие к нам. Выполняем юридические, технические, медицинские и другие виды переводов более чем на 60 языков мира. Гарантируем точность, соблюдение сроков, полную конфиденциальность и индивидуальный подход. При необходимости обеспечим нотариальное заверение документов. Каждый проект выполняет профильный специалист с соответствующим образованием.

#5275:[ 無題 ] Home Mail Play Fortuna зеркало_____Date: 06/30 17:18 GMT
Hello there, I found your site by the use of Google at the same time as searching for a related topic, your website came up,
it seems good. I have bookmarked it in my google bookmarks.

Hi there, just become aware of your weblog via
Google, and located that it's really informative. I'm gonna be careful for brussels.
I will be grateful when you proceed this in future.

A lot of other people shall be benefited from your writing.

Cheers!

#5274:[ 無題 ] Home Mail Black and white fine art photography women pinterest outfits_____Date: 06/30 14:56 GMT
Hi there just wasnted to give you a quick heads up and let you know
a few of the pictures aren't loading correctly.

I'm not sure why butt I think its a linking issue. I've tried it in two different internet browsers
and both show the same results.

#5273:[ 無題 ] Home Mail sintered stone dining table_____Date: 06/30 13:50 GMT
Mattress Shopping in Singapore: The Step-by-Step Guide Most People Wish They Had


Choosing a new mattress is one of the biggest Singapore furniture investments most
households will make, yet it’s surprisingly easy to get wrong.
Most people spend more time choosing a sofa bed than they do choosing
the bed frame they use every night. Megafurniture’s Somnuz mattresses give
you a practical way to compare the most popular mattress
types side by side in one furniture store.

High humidity, dust mites, and overnight air-conditioning use
all affect how a mattress performs over time.
Because Singapore stays humid almost all year,
excellent breathability is essential for keeping a mattress singapore fresh.

Dust-mite sensitivity is far more common here than most people
realise. Overnight air-conditioning use also changes how different foams and
covers behave compared with showroom testing.

Singapore mattress shop shelves are dominated by four main construction categories — each
with its own strengths and trade-offs. Pocketed spring designs remain popular because each coil works on its own, reducing partner disturbance while allowing air to circulate freely.
Pure memory foam delivers excellent body contouring, yet many Singapore
buyers now prefer versions with added cooling technology.
Latex is naturally bouncier, sleeps cooler, and resists dust mites better than most foams — a genuine advantage
in our climate. Many modern hybrids pair pocketed
springs with targeted foam or latex layers for balanced support and temperature regulation.

At Megafurniture you can test the full Somnuz line — from basic pocketed spring to advanced water-repellent
and latex hybrids — all in their furniture showroom.
Choosing the right firmness level is far more personal than most
mattress singapore shoppers expect. Side sleepers
generally benefit from medium-soft to medium firmness for proper
spinal alignment. For back sleepers, medium to medium-firm usually
provides the best balance of support and comfort.
Stomach sleepers need firmer support so the lower back doesn’t collapse
into the surface.

Because most Singapore homes have tighter bedroom dimensions, choosing the
right mattress singapore size prevents the room from feeling cramped.

The cover material is onee of the most under-appreciated
features for Singapore buyers. Models with bamboo
fabric covers stay noticeably drier and fresher
in humid Singapore bedrooms. Water-repellent covers protect against spills, sweat, and humidity ingress — especially useful for families with children or pets.


The Somnuz range from Megafurniture maps cleanly onto the different needs most Singapore buyers have.
Somnuz Comfy is the go-to budget-friendly option for
many Singapore furniture shoppers looking for dependable pocketed spring support.
The Somnuz Comforto adds bamboo fabric and latex for those who
prioritise breathability and natural dust-mite resistance.
The Somnuz Comfort Night features a water-repellent cover and is perfect for families with young children, pets, or anyone
wanting extra moisture protection in our climate. For those who
want the most upscale experience, the Somnuz Roman series sits at
the top of the range.

Most people test mattresses the wrong way during furniture store visits — and it leads to regret later.
Bring your own pillow and test together with your
partner so you can feel real motion transfer and pressure points.
You can try the entire Somnuz collection comfortably at Megafurniture’s Joo Seng flagship or Tampines outlet.



Delijvery scheduling is more important than many buyers realise when buying mattress
singapore items. Check whether old mattress disposal is included and read the warranty terms carefully — not all
“10-year warranties" cover the same things.

Treat the decision seriously and a well-chosen mattress will deliver years of comfortable sleep with minimal issues.
Watch for gradual signs like new back pain, centre sagging, or partner disturbance — these
are clear signals the mattress has reached the end of its
useful life. Visit Megafurniture’s furniture store or
browse their full mattress collection online to find the Somnuz model that matches your nesds
and budget.

#5272:[ 無題 ] Home Mail poolside furniture_____Date: 06/30 12:39 GMT
This is a topic that's near to my heart...
Best wishes! Where are your contact details though?

#5271:[ 無題 ] Home Mail promotiecodes online Wedden_____Date: 06/30 10:47 GMT
golf virtuele wedden

#5270:[ 無題 ] Home Mail wetten bester bonus_____Date: 06/30 10:12 GMT
over under wetten erkl醺ung

#5269:[ 無題 ] Home Mail https://Bbrasinc.com_____Date: 06/30 09:51 GMT
bestes online casino nrw

#5268:[ 無題 ] Home Mail https://s.surveyplanet.com/x853zvrb_____Date: 06/30 09:48 GMT
I quite like reading through a post that can make people think.
Also, thanks for permitting me to comment!

#5267:[ 無題 ] Home Mail http://gratis-Wetten.com_____Date: 06/30 09:41 GMT
wettanbieter quotenvergleich

#5266:[ 無題 ] Home Mail scam online_____Date: 06/30 09:10 GMT
This is a very good tip particularly to those fresh to the blogosphere.

Simple but very accurate information… Appreciate your sharing this one.
A must read article!

#5265:[ 無題 ] Home Mail list of famous photographers art photographers near_____Date: 06/30 09:01 GMT
It's amazing to pay a visiot this web page and reading the views of all colleagues on the
topic of this paragraph, while I am also zealous of getting knowledge.

#5264:[ 無題 ] Home Mail pferderennen iffezheim wetten_____Date: 06/30 08:50 GMT
wettquoten biathlon

#5263:[ 無題 ] Home Mail casino Unlim зеркало_____Date: 06/30 08:50 GMT
Unlim Casino предлагает выдающиеся возможности для всех игроков, желающих погрузиться в мир азартных игр.
В нашем казино вы найдете великолепную коллекцию игровых автоматов, рулеток,
а также регулярные акции и турниры,
которые помогут вам значительно повысить шансы на выигрыш.




Мы стремимся предоставить вам максимальное удобство опыт,
будь то на вашем смартфоне или ПК.
Мы постоянно обновляем коллекцию игр и проводим турниры, чтобы каждый
игрок мог найти что-то для себя.




Какие преимущества получает
каждый игрок в Unlim Casino?


Простой процесс регистрации — всего несколько кликов, и вы готовы
начать играть.


Бонусы для новых игроков — мы дарим бонусы на первый
депозит, чтобы начать с максимальными шансами.



Ежедневные акции и турниры — для всех, кто
хочет получить шанс на крупный выигрыш и дополнительные
призы.


Профессиональная служба поддержки всегда готова помочь с любыми вопросами,
связанными с игрой.


Игры, доступных на любой платформе — будь то ПК или мобильное устройство.







Не упустите шанс Нас ждут незабываемые выигрыши в Unlim Casino, где вас ждут увлекательные моменты и шанс выиграть огромные призы.
Не откладывайте — начните выигрывать с нами прямо сейчас!

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


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