ピタゴラスの定理の証明

このエントリーをはてなブックマークに追加
1チョン
ピタゴラスの定理の証明を幾つか教えてください
個性的な証明方法とかあったらおしえてチョン
2132人目の素数さん:01/11/17 10:20
チョンの方ですか?
3132人目の素数さん:01/11/17 12:03
これよりうまい証明は無いでしょう。その意味で世界新ですねぇ。

http://www.imai.gr.jp/users/imai/japanese/vector/pitago/no005.html
4132人目の素数さん:01/11/17 12:18
>>3
http://www.wcsnet.or.jp/~miyaguti/ntsanani.htm
が無駄に気に入った。
5>:01/11/17 16:58
何でもありなら
(sin x )^2 + (cos x)^2 =1 が
ピタゴラスの定理とは関係なく証明されてるものとして
これを使う。
6132人目の素数さん:01/11/17 16:59
>>3
笑止。氏ね。
7132人目の素数さん:01/11/17 18:49
相似な三角形の原理を使えばそんなにむずくない。
8今井弘一:01/11/17 18:53
ウンポチンチン
9132人目の素数さん:01/11/17 19:00
>>7
直角三角形の90度をなすところの頂点から垂線を引いて相似を使うって
やつのこと?
あれは簡明にみえるだけでいまいち。
極論すると>>5と大同小異(w
10132人目の素数さん:01/11/18 17:39
ほかにないでっか?
11ピュタゴラス:01/11/19 00:49
「ピタゴラス」と表記してる時点でもうダメ。
12132人目の素数さん:01/11/19 00:58
>>9
 おれ、相似を使うの好きだけどなー。いろいろ利用価値あるし。

 一番一般的なのは、直角三角形の各辺を一辺とする正三角形を
3つ描いて、小さい正方形の面積+中くらいの正方形の面積=
大きい正方形の面積 を証明するのが多いかな?これは補助線を
いかに引くかが課題で、色々な証明方法があるんだけどね。
>>5
それを使ってどうやって証明するの。
14132人目の素数さん:01/11/19 07:11
ピュタゴラスって表記するとどうなの?
ピタゴラスではなにがだめなの?
何が違うの?
15>13:01/11/19 09:32
どうやっても何も
(sin x) ^2 + (cos x) ^2=1
自体ピタゴラスの定理だよ。
半径1の円周上の点と中心を頂点とする直角3角形を考えればわかる

5では 他の方法で
(sin x) ^2 + (cos x) ^2=1 が証明済みとすれば

斜辺 の長さ r
一方の辺 a r* cos(x)
もう一方の辺 b r* cos(x)
x は r と aの角度からでる。。
16132人目の素数さん:01/11/19 18:45
>15
ピタゴラスなしで
(sin x) ^2 + (cos x) ^2=1
はどう証明しようか
17>:01/11/19 19:26
なんでもありなら オイラーの公式を使って
exp(ix) * exp(-ix) = 1 であることから。。。
18132人目の素数さん:01/11/19 20:35
>>11
>>14に答えよ
cos x = Re(e^ix)
sin x = Im(e^ix)
をcos,sinの定義にすれば自明ですな。
>>15
なぜ(cos(x),sin(x))が
(0,0)中心半径1の円周上にあることが分かるのですか。
cos,sinを(cos(x),sin(x))が
(0,0)中心半径1の円周上にあるように定義するのですか。
21132人目の素数さん:01/11/20 08:39
>>20
>>19の定義から導かれる。
22132人目の素数さん:01/11/20 18:55
>>21
複素数を指数部にもつ指数関数の定義はπなしで大丈夫か?
23not21:01/11/20 19:10
だいじょうび
なんでそんなこときにすんの?
24132人目の素数さん:01/11/20 19:23
大丈夫。バカ?
25>21:01/11/20 20:31
exp(z) = 煤@z^n / n!
が定義だとしておけば、
パイもパイレーツもオセロも気にしなくてよかろう。
>>25
うっわーほんまや…。うっわー
27132人目の素数さん:01/11/20 22:22
1やけど
あんたら難しすぎてわからん
ピタゴラス御大はどうやって証明したねん
28ここにいろいろ:01/11/20 22:43
29132人目の素数さん:01/11/20 23:17
>>28すごい
>>21
x+yiの絶対値を√(x^2+y^2)とするのは
三平方の定理があるからなんじゃないですか。
だから三平方の定理を使って三平方の定理を
証明しているだけなんじゃないですか。
>>30
定義だよ馬鹿
32132人目の素数さん:01/11/20 23:47
>>17,>>19,>>25
exp(z+w) = exp(z)exp(w)
を認めれば完璧だな。
33132人目の素数さん:01/11/21 00:03
証明 ∠A=90度とすると、

|BC|^2
=|BA+AC|^2
=|BA|+2BA・AC+|AC|^2
=|BA|+|AC|^2  ∵ BAとACは平行だから、BA・AC=0
∴ |BC|^2=|BA|^2+|AC|^2

皆さん、この証明を正しいと思いますか? これを正しいと頑張ることが出来るとしたら? 歴史上これ程明快な証明はないでしょう。
>>32
(cos(x))^2+(sin(x))^2=1は証明できても
x^2+y^2=1が円を表すことが証明できてないので全然完璧じゃない。
>>33
>∵ BAとACは平行だから、BA・AC=0
だめだこりゃ
>>34
子供は寝る時間だよ
>>36
なら早く寝なさい
38132人目の素数さん:01/11/21 01:08
>∵ BAとACは平行だから、BA・AC=0

33の「平行」は「直交」の間違いです。
39>34:01/11/21 02:17
>x^2+y^2=1が円を表すことが証明できてないので全然完璧じゃない

このスレの論点はピタゴラスの定理の証明であって
円の式がなぜ x^2+y^2=定数 か?
ではありません。


ピタゴラスと関係ないところで
(sin x) ^2 + (cos x) ^2=1  *1
が証明できてるならそれを使うの一つの解だという
ところから派生してたはず。

ピタゴラスが証明できたあとなら

”x^2+y^2 は (x,y)の原点からの距離の2乗を表している”

ことから
”x^2+y^2 = 一定 を満たす (x,y) は原点から等距離”

。。。
それだけの話
>>39
cosなどを冪級数などで定義するなら
Cが直角の直角三角形ABCでcos∠BACとAC/ABが
一致することの証明が必要です。
cos∠BACをAC/ABで定義するなら
cos^2(x)+sin^2(x)=1の証明が
三平方の定理の証明でもあるので関係なく証明されてはいない。
(1)cos,sinをどう定義するのか。
(2)cos^2(x)+sin^2(x)=1をどう証明するのか。
(3)cos^2(x)+sin^2(x)=1を使って
   どう三平方の定理を証明するのか。

(A)直角三角形を使ってcos,sinを定義するなら
   cos^2(x)+sin^2(x)=1の証明は
   そのまま三平方の定理の証明なので
   三平方の定理と関係なく証明できない。
(B)x^2+y^2=1上で(1,0)から(0,1)へ
   向かって測った長さがxである点の座標を
   (cos(x),sin(x))とするなら
   最初から三平方の定理を使っている。
(C)冪級数などを使ってcos,sinを定義するなら
   cos,sinは直角三角形と関係がないので
   Cが直角の直角三角形ABCでAB=1,x=BACのとき
   AC=cos(x),BC=sin(x)であることを
   三平方の定理と無関係に証明する必要がある。
(D)その他の方法で定義するなら分かりません。

>>39
質問は >>5 で書いてあるのは
cos,sinを三平方の定理と無関係にどのように定義して
cos^2(x)+sin^2(x)=1を三平方の定理と無関係にどう証明し
cos^2(x)+sin^2(x)=1を使って
どう三平方の定理を証明するのかということです。
43132人目の素数さん:01/11/21 10:23
>>42
まず「直角三角形」をちゃんと定義しろよ
>>43
定義したいなら自分でやって。
45:01/11/22 00:26
単位円周上の点の座標を 角度tの関数として (f(t),g(t))とする


円周の長さとの比較その他で
g(t)/t -> 1 (t->+0 ) や (1-f(t))/t -> 0 を 示しておく

図形を書いて
f(x+y) = f(x)f(y) - g(x)g(y)
g(x+y) = f(x)g(y) + f(y)g(x)
を示す。

f,gの微分可能性をみとめちゃえば。
これらの関係から f(x) の導関数 -g(x)
g(x) の導関数 f(x)


f(x)の2階微分 -f(x)
g(x)の2階微分 g(x)

これを f(0)=1 g(0)=0 f(π/2)=0 g(π/2)=1 という境界条件を
使って求めるで
fとgがexp(it)で定義したcos,sin である

という筋でなんとかならんか?
と思ったがf,gが微分可能ということが簡単に明かではないな。。
46132人目の素数さん:01/11/22 08:10
幾何的三角関数が解析的三角関数にいっちすることをいえばいいんでしょ。
絵を書けば、幾何的三角関数の加法定理や、sin(x)/x→1、cos(x)/x→0がしめせるから、
幾何的三角関数は微分可能がわかって、微分係数は解析的三角関数にいっちする。
47おーなー:01/11/24 22:19
このスレのオーナーである1ですけども
これだけ有名な定理なわけですが自然現象(社会現象もふくむ)で
この定理の通りになっている現象を教えてください。
わけわからん数学の証明は私のような畑違いの者には難しかったよ…
48132人目の素数さん:01/11/25 09:01
ないの?
だれかおしえて
はぁ?オマエ馬鹿?
>スレのオーナー

スレにオーナーなど存在しない。まずそこから学習しろ。
51>48:01/11/25 12:09
3cmと4cmの辺の長さの長方形の対角線をはかってごらん
5cmになってるよ。
ピタゴラスの定理通りだね。よかったね。
52132人目の素数さん:01/11/25 14:24
一応マジレス。これが一番簡単。
直角三角形の直角から斜辺に垂線を下ろすと相似な三角形が三個。
分割された二つの相似比をa:bとすると面積比は(a×a):(b×b)
全体の面積は…
続きは自分で考えてみてね。
53>51:01/11/25 14:48
だからなに?
ばか?
なにが「よかったね。」なの?
54チョン:01/11/26 19:22
おーいオーナーとかいってるやつ
俺の立てた質問コーナー荒らすなよ
みなさんまったりゆっくり逝きましょう。
55げんえきちゅうぼう:01/12/05 21:44
厨房にもわかるピタゴラスの定理の証明をおしえてください
56132人目の素数さん:01/12/07 22:22
厨房やったらわかるやろ?
57石風:02/01/26 23:30
ピタゴラスの定理の証明は数多く知られているけど、アメリカ大統領が証明した
方法もあるよ。え〜と、誰だったかな。
58KARL ◆gjHKPQSQ :02/01/27 04:01
>>14, >>18
ピタゴラス(つづりはたぶん ΠΥΤΑΓΟΡΑ)
は古代ギリシャ人ですから、その当時のギリシャ語の発音とされている
「ピュタゴラス」というのが正しい呼び名である、とでも言いたいんでしょ。
現代ギリシャ語だったら「ピタゴラス」で正解なんですけど(笑)。
古代ギリシャ語であれば「ピュタゴラース」とのばすのがほんとはもっと正しい
(んじゃないかな)。「ゴ」をやや高めの音程で読んでね。
どっちにしろ「クーダラナイ」の一言です。
59ナナシ:02/01/27 04:48
1辺の長さが(a+b)の正方形を描きます。
各辺をa:bに内分する点を取り
それを結んで正方形の内部に正方形を描きます。
内部の正方形の1辺の長さをcとします。
面積について
(a+b)^2=(ab/2)*4+c^2
より
a^2+b^2=c^2
なんてどう?
60今井弘一:02/01/27 07:02
完璧な証明がすでにあるのにこれ以上何を求めますか???
今井のベクトルを使用すればピタゴラスの定理が定理の名に値しないことがおわかり
頂けるでしょう。蛆虫にはわからんですか??

http://www.imai.gr.jp/users/imai/japanese/vector/pitago/no005.html
61132人目の素数さん:02/01/27 08:41
62今井弘一:02/01/27 15:08
up
63石風:02/01/30 15:49
57の自己レス
米20代大統領・ガーフィールドの台形の面積を利用した
証明があるみたい。

数学者で政治家になった人は何人かいるね。
日本では菊池大麓(漢字あってるかな)は文部大臣までやった。
この人は都知事だった美濃部なんとかの祖父にあたる。
64漏れが中三のときにやった証明法:02/01/30 20:57
(証明)
∠BAC=90°の直角三角形ABCがあり、頂点Aより辺BCに垂線を下し、
垂線の足をHとする。
∠AHB=90°より
辺ABは三角形AHBの外接円、円AHBの直径となる。
また、BA⊥ACより
ACは三角形AHBの外接円、円AHBに接する
∴CA^2=CH×CB(∵方べきの定理)・・・@
同様にして
BA^2=BH×BC(∵方べきの定理)・・・A
@Aの左辺、右辺同士をそれぞれ足し合わせて
AC^2+AB^2=BC(BH+CH)
AC^2+AB^2=BC^2
(証明終)


当時は方べきの定理で三平方の定理が証明できるんだ!といって
喜び勇んだものだった...
ゲラゲ
68132人目の素数さん:02/06/02 10:24
あげるな、屑野郎。
70>:02/06/02 19:19
42は納得したのかな?
単位円周上の点の座標で定義したcos sin

べきじょう から定義した cos sin が一致することについて。。
71132人目の素数さん:02/06/02 21:11
俺は中1のころ与えられた線分を任意に等分できることを自分で証明できた

ああ、もちろん自慢です
72132人目の素数さん:02/06/02 21:14
証明というか示せたって言うかな?
とにかくできた
73132人目の素数さん:02/06/02 21:14
俺は中一のころ与えられた糖分を自力で摂取することができた。
74132人目の素数さん:02/06/14 19:34
>>73
75132人目の素数さん:02/06/14 20:18
結局>>5の方法ではまだだれも証明できてないわけだw
76132人目の素数さん:02/06/15 03:22
ブタゴリラ
75は一体何が可笑しいのだろうか?まぁ人の笑いのツボってのは多種多様だから
意味の無い事で笑うのを責めるのはおかしいってもんか。
78>308:02/06/16 17:20
75 は 45や46をよんでないのかな?
それら不十分だと思うなら
45や46で示した筋道で何が足らんのかちゃんと指摘すべきだ。
79132人目の素数さん:02/06/16 17:24
プタゴリラ
80わたすぃは今井に勝ちます。:02/06/16 18:02
中学3年までに学んだものだけで証明。
題して、「>>4のホームページの人はなぜ数式化しなかったのか?」

斜辺以外の二辺の長さをp、qとする。(p≧q)
直角三角形4つをつかって斜辺を大正方形の一辺になるように組むと、
真ん中に一辺(p−q)の小正方形ができる。この小正方形の面積は(p-q)^2
となる。
また、直角三角形の面積は(1/2)*p*qとなり、ここで斜辺をmとすると、大正方形の
面積はm^2で表せるので、
m^2=(p-q)^2+4*(1/2)*p*q=(大正方形の面積)となる。
よって、整理すると、m^2=p^2+q^2。
>>80が結論を出したので
==============終了==============
82132人目の素数さん:02/06/16 18:28
>>80
自明だから
85偽為典:02/07/03 17:33
>>59と原理的には同じだが、極めて個性的な証明方法。

970年成立の源為憲著『口遊』に載っている、「たゐにいてなつ/むわれをそきみ/
めすとあさりお/ひゆくやましろ/のうちゑへるこ/らもはほせよえ/ふねかけぬ」
という47文字を7段7行に書いて、
「をほと(も)−のやかもち←大伴家持」の姓と名が区別できるように目印をつける。

証明が分らなければ、この板の「『口遊』の数学」を見てくれ。
86132人目の素数さん:02/07/03 18:08
ピタゴラスってドキュンだったんでしょ
√2は無理数だって言った弟子を自分の哲学と違うから殺したんでしょ
87偽為典:02/07/03 19:44
訂正 m(__)m
正……をほと(も)の−やかもち
誤……をほと(も)−のやかもち
>>60読んでみましたが、わかりませんでした。
やっぱり蛆虫のはわからんです。
89132人目の素数さん:02/07/17 20:35
をほとものやかもちあげ
90132人目の素数さん:02/07/17 22:02
どうでもいいが 大伴は旧仮名遣いでも「おほとも」で
「をほとも」ではなかったが どうなってんの?
91132人目の素数さん:02/07/17 22:49
ガラパゴスの定理
93132人目の素数さん:02/08/14 21:27
c倍拡大し半時計周りにαだけ回転させる変換をR(c,α)とする。
これは、1次変換で、t[1,0]がt[a,b]に写るとき、

R(c,α) * t[1,0] = t[a,b], R(c,α) * t[0,1] = t[-b,a].
よって、
R(c,α)=R(c,α) * E = [[a,-b],[b,a]]
(α:=-αのときはb:=-b)
c^2 * E = R(c,α) * R(c,-α) = (a^2 + b^2) * E

ゆえに、a^2 + b^2 = c^2.

というのはだめ?