• ベストアンサー

解説でわからないところがあります

a^2=αGについて Gの任意の素因数の1つをkとすると、a^2はkで割り切れる。kは素数より、aもkで割り切れる。 とあったんですがなぜでしょうか? aをkで割る場合√kをkで割るから割り切れない気がするのですが 後なぜ素数が関係あるのでしょうか

質問者が選んだベストアンサー

  • ベストアンサー
  • nattocurry
  • ベストアンサー率31% (587/1853)
回答No.1

a^2がkで割り切れるということは、a^2が素因数としてkを持つということです。 これは解ってるんですよね。 あなたがはまっているのは、「a^2がkで割り切れるということは、a^2が素因数としてkを【1個だけ】持つ」と思い込んでしまっているからです。 もし、2乗してkになる整数があるとしたら、kは素数ではなくなってしまうので、kが素数であるという前提に反します。 なので、2乗してkになる整数が無い(kは素数)のに、a^2がkで割り切れるということは、a^2は素因数としてkを1個だけではなく2個以上(の複数個)持つということになります。 a^2が素因数としてkを2個以上(の複数個)持つということは、aが素因数としてkを1個以上持つということになりますよね?

kirofi
質問者

お礼

回答ありがとうございます

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 解説でわからないところがあります

    aとbが互いに素であるとき、 a^2とb^2が互いに素であることを証明せよ なんですが a^2とb^2の最大公約数をGとおくと、 a^2=αG…(1) b^2=βG…(2) (αとβは互いに素)とおける。 Gの任意の素因数の1つをkとすると。(1)式よりa^2はkで割り切れる。kは素数より、aもkで割り切れる。同様に(2)式からbもkで割り切れる。条件よりaとbは互いに素であるから、k=1である。kはGの任意の素因数であるから、G=1となる。よって、a^2とb^2は互いに素である。 kはGの任意の素因数であるから、G=1となる。 というのがわかりません また a^2とb^2の最大公約数をGとおくと、 a^2=αG…(1) b^2=βG…(2) (αとβは互いに素)とおける。 Gの任意の素因数の1つをkとすると。(1)式よりa^2はkで割り切れる。kは素数より、aもkで割り切れる。同様に(2)式からbもkで割り切れる。条件よりaとbは互いに素であるから矛盾する よって aとbが互いに素であるとき、 a^2とb^2が互いに素であることが成り立つ という証明ではだめでしょうか だめならどうしてか教えてほしいです

  • 自然数の数列

    自然数からなる数列a[1],a[2],a[3],...,a[n],...で、 ・n→∞ のとき ω(a[n])→∞ ・任意のnについて φ(a[n]) | a[n]^2 をどちらもみたすものの例を教えて下さい。 ω(m)は自然数mの素因数の個数、 φ(m)はm以下でmと互いに素な自然数の個数、 k | m は自然数mが自然数kで割り切れる、 を表しています。

  • 因数分解の文章題です。

    何度してもしっくりきません。 (1)252に自然数aをかけて、その結果の数がある数の2乗になるようにしたい。このような自然数aのうちで、もっとも小さいものを求めよ。 (問題の意味さえピンときません・・・・) 252を素因数分解すると 2^2×3^2×7 答えでは2乗でないものを選ぶと7 答え7 (2)300に自然数aをかけて、その結果の数がある数の2乗になるようにしたい。このような自然数aのうちで、もっとも小さいものを求めよ。 300を素因数分解すると 3×2^2×5^2 答え3 (類題)素因数分解の結果が2×3×4^2の場合 (類題)素因数分解の結果が2^2×3^2の場合はこたえはどのようになるのでしょうか?またその理由もお願いします。

  • 証明の解説

    証明 n=pq (pとqは異なる素数) rはgcd(r,Φ(n))=1 を満たす。  f(a)=a^rで定義されたZn自身からの写像は全単射である。 またこの写像の逆関数はg(b)=b^r’であたえられる。 r’はrr’≡1(modΦ(n)を満たす。 この定理の証明をどなたか教えてください! 本には 本には rr' = 1+kΦ(n). g(f(a)) = f(g(a)) = a^rr' = a×a^kΦ(n). Φ(n) = Φ(p)Φ(q) = (p-1)(q-1) ⇒g(f(a)) = a×a^(p-1)k(q-1) 「 If a ≡ 0 (mod p), then g(f(a)) ≡ 0 (mod p). Otherwise, we may apply フェルマー定理 to conclude that a^(p-1)k(q-1) ≡ 1 (mod p) In either case, we have g(f(a)) ≡ a (mod p).同様に g(f(a)) ≡ a (mod q)」 よって中国剰余の定理よりg(f(a)) ≡ a (mod pq) と書いてありました。 「」の部分がよくわかんないです。 その部分が何故そうなるのか、何を言っているのか詳しく教えてください。 違うやり方の証明でもいいです。 RSA algorithmの項目に出てきたんでしつもんしました。 ぜひ回答よろしくお願いします

  • ゼロ知識証明の勉強をしているのですが…

    ゼロ知識証明の勉強をしているのですが… 途中で 1.m が合成数の時、m を素因数分解できれば任意の y の mod m での平方根を簡単に求めることができる。逆に任意の y に対する mod m での平方根が求まるならば、m を簡単に素因数分解できる。 2.m を素因数分解できれば、任意の y に対し mod m での平方剰余性を簡単に判定できる。 とあったのですが、計算方法が解らないので、納得が出来ません。 具体的な計算方法が解る方がいらっしゃいましたら、ご教授願います。

  • 約数の個数(正の数と負の数)

    私立文系で大学を卒業した社会人ですが、数学をやり直しています。 今、約数の数を求めるところを勉強していて疑問がでてきたので1点教えてください。 ある数Aの約数は、Aを素因数分解して 各素因数の指数に1を足したものを掛けた数に等しいとあるので A=a^x*b^y*C^z Aの約数=(x+1)(y+1)(z+1) となるのだろうと理解しました。 でも例えばAが負の数だった場合はどうなるのでしょうか。 (素数は正の数に限られていた気がします。) そもそも学校の試験では正の数の問題しか出ないのでしょうか。 よろしくお願いします。

  • 任意のkに対し、f(m)がk個の素因数を持つ様なm

    f(x)を整数係数のmonic polynomialとしたとき 任意の整数kに対して、f(m)がk個の異なる素因数をもつような整数mは存在するか という問題なのですが、 素数を小さい順にp_1 ,p_2, p_3, ...とし、 f(m)の素因数がp_1, p_2, ... , p_kとなるようなmが存在することを示す。 f(x)は問題文の条件より f(x)=(x-a_1)(x-a_2)....(x-a_n)とおける (a_iは整数) p_iは素数なので互いに素 中国の剰余定理より y≡a_1 (mod p_1) y≡a_2 (mod p_2) y≡a_3 (mod p_3) ... y≡a_k (mod p_k) を満たすyが存在する。 y-a_1≡0 (mod p_1) y-a_2≡0 (mod p_2) y-a_3≡0(mod p_3) ... y-a_k≡0(mod p_k) となるためf(y)はp_1, p_2, ..., p_kのすべてで割り切れる。 間違いがあったら指摘ください。

  • 素因数分解の問題について

    数学Aの整数の性質についての質問です。 ㈡の問題なのですが、この問題では素因数に2と3があると、問題文に書かれているので、片方の文字(2か3)が正の約数1(指数0)となった場合。それは素因数2と3に分解できないから適さないという認識でいいでしょうか? つまり、矢印の先の等式で、1×10=10となると、素因数2と3に分解できないから適さない。この認識で合ってるか教えてください。 うっすら鉛筆で書いてるのがあってるかを教えてください。

  • 素因数分解ができない?

    123、205の最大公約数はいくつでしょう? 素因数分解をして求めたいのですが、 123は3で割って41 3* 205は5で割って41 5* となるのでしょうか? その後の素因数分解が続きません。 すいませんが、教えてください。 よろしくお願いします。

  • 100!を素因数分解すると2^a、3^b、5^c、

    100!を素因数分解すると2^a、3^b、5^c、7^16、11^9、13^7…となる。a,b,cの値を求めよ。 という数A 整数の問題です。 画像は解答なのですが、何をしているのかわかりません。なぜ素因数の数?を調べるのですか?重複しないのですか?