- 締切済み
互いに素である2数の約数について
整数係数のn次多項式の有理解は整数であることを背理法で証明しようとしてます。 sとtが互いに素であるとき t^n=s*k (kはtの多項式で整数) となったときに 「t^nはsを約数に持たないので矛盾する」と言って良いんでしょうか?それとも、使うのであれば証明しなければいけないでしょうか? よろしくお願いします
- みんなの回答 (8)
- 専門家の回答
みんなの回答
- alice_38
- ベストアンサー率43% (75/172)
関連するQ&A
- 互いに素である証明(背理法)の解き方
数学Aの整数の性質について質問です。 ほぼほぼ背理法の質問かもしれないですが、 証明の、a+bとabが互いに素でないと仮定すると、と一行目に書いてあるのに、 これは互いに素であると矛盾する。と仮定したことと反対の互いに素で“ある”と逆のことを言って証明になる意味がわかりません。 背理法って、仮定を立てて、その矛盾を証明するんですよね? それなのになんでこの問題では、仮定と全然違うことを矛盾しているという感じになっているんでしょうか? あと、証明で、kとlは自然数としていますが、互いに素な自然数としないのはなぜでしょうか? 教えてください。
- ベストアンサー
- 数学・算数
- 互いに素の問題です!
2つの整数mとnが互いに素のとき、nとm-nも互いに素であることの証明で、答えはnとm-nの最大公約数をgとおくとn=ag、m-n=bg(a、bは互いに素な整数)とおけて、m=n+(m-n)=(a+b)gとなる n=agとm=n+(m-n)=(a+b)gよりmとnとはgを公約数にもつがm、nは互いに素だからm、nの正の公約数は1しかない よってg=1よりnとm-nは互いに素 としてるのですが、 「n=agとm=n+(m-n)=(a+b)gよりmとnとはgを公約数にもつがm、nは互いに素だからm、nの正の公約数は1しかない」 という部分の意味が分からないので詳しく教えてください!ちなみに互いに素とか公約数とかの意味はわかります!
- ベストアンサー
- 数学・算数
- 互いに素であることの証明問題です
互いに素であることの証明問題です a と b は2つの整数であるとします 今 a と bは互いに素であることが分かっているとして a^n と b が互いに素であることを証明しなさい (nは n>0 の整数) という問題なのですが 互いに素になることは分かるのですが 証明をせよと言われるとどうしていいか分かりません 数学的帰納法を使えばいいのでしょうか?? お手数ですがお分かりになられる方 教えていただけませんか お願いします
- ベストアンサー
- 数学・算数
- 2つのガウス整数が互いに素である確率
2つのガウス整数が互いに素である確率 2つの自然数が互いに素である確率は、 http://www.junko-k.com/cthema/13tagainiso.htm にあるように 6/π^2 ですが、 2つのガウス整数が互いに素である確率はどうなるのでしょうか? ガウス整数とは、(整数)+(整数)√(-1)の形のことで、 ガウス整数が互いに素とは、公約数が単数(1の約数)のみであるときです。
- ベストアンサー
- 数学・算数
- 整数に関する証明
有理数体Qの元で,Qの部分環Z上整なものはZの元であることは知っていましたが、証明できずに困っています。 頭がよければ中学生でも理解できそうなことで躓いてしまい、恥ずかしいけど質問します。 s/t∈Q(s, t は互いに素な整数)がZ[x]に含まれるモニック多項式, f(x) = x^n + (a_1)x^(n-1) + ・・・ + a_n の零点とする。 f(s/t) = (s/t)^n + (a_1)(s/t)^(n-1) + ・・・ + a_n = 0 s, t が互いに素なのを利用して t = ±1を証明すればいいのですが、その証明ができません。 初等整数論以前の初歩的質問ですが、アドバイスをお願いします。
- ベストアンサー
- 数学・算数
- 大学入試レベルの問題です。(多項式)
1(1)整数係数のn次式 f(X)=αnX^n+......+α₁X+α₀ が 有理根X=(q/p) (p、qは互いに素な整数、p>0)をもつなら 「pはαnの約数」(1) であり 「qはα₀の約数」(2) であることを証明せよ。 (2)前問を利用して√2が無理数であることを証明せよ。 ~~~~~~~~~~~~~~~~~~~~~~~ 過程を詳しくお願いします(。。)
- ベストアンサー
- 数学・算数
- 背理法についての質問です
p√2が無理数であることを背理法を用いて証明せよ。 という問題です。 √2が無理数であるという証明は、下のようにわかるのですが p√2が無理数であるという証明は同じように解けるのでしょうか? √2が有理数であると仮定し,これをn/mとおく. (ここに,m,nは整数で互いに素) 両辺を2乗すると 2=(n/m)^2 2m^2=n^2 よって,nは2の倍数・・・(1) n=2kとおく 2m^2=4k^2 m^2=2k^2 よって,mは2の倍数・・・(2) (1)(2)はm,nが互いに素という仮定に反し,矛盾. ゆえに,√2は無理数
- ベストアンサー
- 数学・算数
- 最大公約数 と 互いに素 の関係
自然数aと自然数bの最大公約数=G ⇒ 自然数a=整数x × G かつ 自然数b=整数y × G かつ 整数xと整数yは互いに素 という定理について疑問があります 自然数a=整数x × G かつ 自然数b=整数y × G の部分は最大公約数の定義から明らかなのですが 整数xと整数yは互いに素 がなぜこう言えるのかわかりません 教えてください またこれは⇔はなりたつのでしょうか? また自然数a 自然数b ではなく 整数a 整数b といった場合には成り立つのでしょうか? ※ここでは「倍数」、「約数」とうは負の数まで考える定義を採用しています 例:6の約数=-6,-3,-2,-1,1,2,3,6
- ベストアンサー
- 数学・算数
お礼
言われてみればその通りですね。まぁ、それをきちんと説明できて、あの証明が正しいと言える自信があったならそもそも質問しないわけでして。素因数分解の一意性を基に考えたんだと思います。 ちなみにですが、 「t^nが素数pで割り切れるならばtはpで割り切れる」 を納得してないわけじゃないですよ。そうであるにはずだ、とは思っています。ただ私の理解不足の為に「本当にそうなのか?」と突っ込まれたら誰もが納得するまで説明はできないんです。 その辺のことは理解を示していただきたい