![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
No.2ベストアンサー
- 回答日時:
まず、合同とは何かの定義が必要ですね。
通常、1.を合同の定義とします。
問題は 2. 3. が 1. と同値か否かということになります。
ユークリッド幾何での同値性の証明は
中学の教科書にも載っていますが、
双曲幾何は非ユークリッドなので、
平行線を使わずにそれが証明できるかどうかですね。
少し考えてみます。
No.3
- 回答日時:
ユークリッドも公準5が気になったと見えて、言論命題1~言論命題28は、公準1~4までしか使ってません。
双曲幾何も公準1~4はユークリッドと同じですよ。
なので、言論命題を調べたら?
それがそのまま双曲三角形の合同条件の証明にもなってます。
原論命題8 (三辺相等)
2つの三角形で3辺がそれぞれ等しいなら合同である。
原論命題4 (二辺夾角相等)
2つの三角形で2辺とその間の角がそれぞれ等しいなら合同である。
原論命題26 (二角夾辺相等)
2つの三角形で対応する1辺が等しく,対応する2角がそれぞれ等しいなら合同である。
No.1
- 回答日時:
例えば 下記のようなサイトがあります。
https://study-search.jp/columns/314
3つの 合同条件は 当たり前のこととして書かれていますね。
実際に 紙に三角形を書いてみてください。
例えば、3辺が等しければ 同じ三角形にならざるを得ませんよね。
合同であれば 2辺とその夾角は 当然同じですよね。
1辺と その両端の内角が等しければ
残りの2辺も 同じにならざるを得ないでしょ。
中学生ならば 教科書に書いてある筈です。(多分 2年生?)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 1.5:2:3=直角三角形 1:2:√3≠直角三角形ではない。 1:1:√2≠直角二等辺三角形ではな 12 2022/12/21 23:45
- 数学 直角二等辺三角形についてです。 直角二等辺三角形ABCを(角A=90度)頂角Aから底辺BCに垂直に線 3 2023/06/05 23:05
- 数学 【数学の図形の名称と面積の計算方法】正三角形と扇形があります。正三角形の2辺を伸ばす 9 2023/02/06 23:30
- 数学 中3 円周角の定理の問題です 3 2022/06/29 22:21
- 数学 数学 AP=CQを証明するために 2つの三角形の合同を示していますが 平行四辺形の向かい合う角は等し 1 2023/02/03 10:15
- 数学 数学の問題の解き方を教えて下さい。 ∠Aが直角の直角三角形ABCで、∠Bの二等分線と辺ACとの交点を 7 2022/05/06 21:52
- 数学 写真の数学の問題について x=3のとき二等辺三角形となり、鈍角に三角形になれなく無いでしょうか? 2 2023/08/30 16:39
- 数学 画像の中学2年生の数学の問題について教えていただきたいです。 三角形ADCが二等辺三角形であることと 2 2023/01/29 16:14
- 数学 図形問題について 2 2021/12/14 11:20
- 数学 数学(直角三角形の証明) BE=CDは使ってもいいですよね? それぞれ底角から等辺へ垂線として出てい 2 2023/02/03 10:08
このQ&Aを見た人はこんなQ&Aも見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
大きな数の掛け算
数学
-
確率の達人おねがいします
数学
-
スクラッチは10枚買うと、1枚当たりますが、 友人は2枚だけ購入して、1枚あたりました。 友人は、『
数学
-
-
4
フェルマーの最終定理。 数学者は彼を「ほら吹き」と思わなかったほか?
数学
-
5
数学の質問です(あえてMODは使わないで証明)
数学
-
6
階差数列の問題で、n=1にときに成り立たない問題を見たことありますか?
数学
-
7
1年の5/6が終わるって、どう言う事ですか?
数学
-
8
数学 なぜ( < 1 )があるのか
数学
-
9
(1+x)の5乗=1.20 の、解き方を教えて下さい。 エクセルでもかまいません。 対数の底? 底は
数学
-
10
高校数学 この問題で、両辺を二乗した式においてD>0の条件が使えないのにD=0の条件は使える理由を教
数学
-
11
確率にくわしい方のお願いします
数学
-
12
数学の問題です。(3)②がわかりません。 答えは(3)①10分の3②10.12なんでこうなるんですか
数学
-
13
画像のセンター問題に関してお答えして頂けないでしょうか。 出来れば解答だけではなく、理由と過程の計算
数学
-
14
数学 なぜ |α-β| = β-α になるのか
数学
-
15
数学記号で→の左に台のように上下に斜めに枝分かれしてるのは何を表しているのでしょうか?またそれが二重
数学
-
16
数学の質問です loge 3=1.1になる成り行き教えて欲しいです
数学
-
17
−2.5を四捨五入すると−2ですか?−3ですか?
数学
-
18
(2)の考え方を教えてください
数学
-
19
数Ⅱ指数関数についてです √2を2^1/2とおくそうですがどうしてそうなるんですか 写真のようになっ
数学
-
20
数学の問題です。 写真の斜線部の求め方を教えてください。 四角形ABCDは長方形です。 よろしくお願
数学
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
スカラー場とベクトル場
-
素数の積に1を加算すると素数で...
-
婿養子です、妻と離婚して妻の...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
「証明証」と「証明書」はどう...
-
なぜ独身だと養子が持てないの...
-
limx→∞ x^n/e^x=0を高校数学の...
-
3,4,7,8を使って10を作る
-
中3数学 2つの続いた整数では、...
-
(4^n)-1が3の倍数であることの...
-
1+1=2の証明って?
-
兄弟の子どもの養子縁組は可能...
-
2のn乗根で、 nを無限大に持っ...
-
「一般性を失うことはない・・...
-
元夫が彼女の存在を隠す理由
-
証明できました
-
お婿さんを貰った時の結婚式に...
-
偶数と奇数の和は奇数になるこ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
幽霊が存在していないことを証...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
不完全微分であることの証明
-
3,4,7,8を使って10を作る
-
夫が亡くなった後の義理家族と...
-
四葉のクローバー この言葉一度...
-
「証明証」と「証明書」はどう...
-
素数の性質
-
よって・ゆえに・したがって・∴...
-
無理数って二乗しても有理数に...
-
数学Aの整数の性質について質問...
-
婿養子に入ったのに出て行けと...
-
素数の積に1を加算すると素数で...
-
中3数学 2つの続いた整数では、...
-
平面曲線
-
婿養子です、妻と離婚して妻の...
-
なぜ独身だと養子が持てないの...
-
(4^n)-1が3の倍数であることの...
おすすめ情報
>>>実際に 紙に三角形を書いてみてください。
例えば、3辺が等しければ 同じ三角形にならざるを得ませんよね。
他に三角形が出来ないという証明は出来ないと思います。
>>>合同であれば 2辺とその夾角は 当然同じですよね。
1辺とその両端の内角が等しければ残りの2辺も同じにならざるを得ないでしょ。
合同であればそうですが、そうであれば合同かはわからないです。必要条件と十分条件が逆転してますね。
皆さんご回答ありがとうございました。自分で納得のいく解法を見つけたので補足として残しておきます。
双曲三角形について3辺の長さをそれぞれa,b,cとし、向かい合う角をそれぞれα,β,γとするとき次が成り立つ。
(双曲)余弦定理
cosh c = cosh a・cosh b - sinh a・sinh b・cos γ
第二余弦定理
coh c = (cos α・cos β + cos γ)/(sin α・sin β)
これらの定理は証明していませんが、必要であればまた補足します。
合同の定義を3辺3角が等しいこととします。
(1の証明)3辺相等
余弦定理より
cos γ = (cosh a・coh b - cosh c)/(sinh a・sinh b)
3辺a,b,cは一定なので角度γの値は一定になる。
α,βでも同様に言えるので3辺3角が一意に定まる。
続く...
(2の証明)2辺夾角相等
余弦定理の原型より
a,bとその間の角γの値でcの長さが決まる。
よってa,b,cが一定なので1(3辺相等)より3辺3角が一意に決まる。
3の証明前に双曲三角形のもう一つの合同条件
4.3角相等
について証明します。
ここでは双曲面積はπ-(α+β+γ)で表せることを用います。(角度だけで面積が決まる)
これについても証明が必要であればまた補足します。
(4の証明)3角相等
3つの角α,β,γを0<α+β+γ<πを満たすように任意に与える。
単位円板モデルで原点で角度αで交わる2本の双曲直線L1,L2を固定する。
このときPSU(1,1)によって合同変換が行えるのでL1は実軸としてよい。
L3を領直線と交わり、L1との交角をβに保って好転を原点から単位円周まで動かしていくと原点付近ではほとんど通常の三角形なのでγ≒π-(α+β)で単位円周に近づくとγ≒0になる。
その間ではγは連続に変化するので中間値の定理より与えられたγと一致するL3の存在がわかる。
一意性は双曲面積を求める式より示せる。(長くなるので割愛)
よって3角が決定した三角形はPSU(1,1)で変換されたもの以外できない。
(3の証明)2角夾辺相等
第二余弦定理の原型より
α,βとその夾辺(c)でγの値が決まる。
α,β,γが一定になるので4より成り立つ。
以上自問自答でした。
双曲平面の「世界」では三角形の面積が角度によって決まるので相似という概念がなく角度が同じならば合同になってしまうんですね。
自分が知らない「世界」を考えるのは難しいですがこれからも頑張って勉強していきたいと思います。
またわからないことがあれば質問を投げかけさせていただきます。改めましてご回答ありがとうございました。