数学の先生に聞いたところ素因数分解の一意性あたりの事実は直観的に自明だと言っていたのですが、分かりま

数学の先生に聞いたところ素因数分解の一意性あたりの事実は直観的に自明だと言っていたのですが、分かりません。どう思いますか。分かる人はイメージを教えて下さい。
(直観的というのはなんの定理も知らない状況でも導けるくらいのことです)

No.5 ベストアンサー 回答者： funoe 回答日時： 2017/12/06 19:22

２の倍数でない数と２の倍数でない数の積は２の倍数ではないよね。

３の倍数でない数と３の倍数でない数の積も３の倍数ではないよね。
５の倍数でない数と５の倍数でない数の積も５の倍数ではないよね。
多分、他の素数でも同じ・・・、だよね。

うーーーん、おぉ！　つーことは、素因数分解は一意じゃん！！


↑こんなのが「直観」ってヤツですね。

この回答へのお礼

確かに人によって直観の意味は違いますね。

お礼日時：2017/12/07 11:17

No.4 回答者： uyama33 回答日時： 2017/12/06 16:58

その先生に、きちんとした証明が書いてある本を教えてもらってください。

本の名前が分かったら、ここで教えてください。

もちろん、
整数とは何か。
整数をどのように作るか。
演算はどう定義するか。
素数を上手く定義できるか。
などなど
あって、どこから始めるかも大問題です。

自明なことなどほとんどありません。
たとえば、

2+3＝？
の？を求めよ。
は小学生でもできる。

でも、
2+3＝5
を証明せよは、高校生では困難です。

No.3 回答者： funoe 回答日時： 2017/12/06 13:28

素因数分解の一意姓の証明は結構面倒です。

「ｐが素数で、ａｂ＝ｐｃなら、ａかｂがｐの倍数だ」
ってことをすべての素数ｐについて示すのが王道ですが・・・。
当然ｐが素数でなければこの命題は成り立たないわけです。



ただ、「直観的に自明」という言葉の意味は「なんの定理も知らない状況でも導ける」というのとはずいぶん意味が違うように思います。

「直観的に自明」は、その命題を証明する前から「あぁ、そりゃ成り立ちそうだね」という確信があって反例を考えようにもとっかかりすらない。　　といった意味でしょう。

このことは、「証明が容易」であることを全く意味しません。

自然数の加法に可換則があること（ａ＋ｂ＝ｂ＋ａ）は直観的に自明ですが証明は面倒ですし、高校生には決して証明できません。

この回答へのお礼

どう考えれば成り立ちそうだとなりますか。確かに成り立っても不思議ではない気がするくらいで、なにか、自明とまではいえない気がします。

お礼日時：2017/12/06 16:20

No.2 回答者： rinkun 回答日時： 2017/12/05 09:39

直観的でも自明でもありません。

厳密な証明は結構面倒です。
# 素因数分解の一意性とその証明について https://mathtrain.jp/primeunique

No.1 回答者： usa3usa 回答日時： 2017/12/04 21:58

２種類以上の素因数分解方法があったとしたら、一方にしか現れない素数ｐが存在することになる。

では、その素数ｐは元の数の因数でしょうか？

＞分かる人はイメージを教えて下さい。
あとは、自分で考えてみてください。そうすれば、一意性のイメージがわいてくると思います。

この回答へのお礼

あなたにとってたとえば13かける29が13と29という素数でしか割れないという事実はどうイメージしますか。自分は1年くらい考えてもすんなりはしません。教えて下さい

お礼日時：2017/12/05 18:21