トップページ⇒math
1001コメント300KB

分からない問題はここに書いてね302

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2009/02/09(月) 21:39:46
さあ、今日も1日頑張ろう★☆

前スレ
分からない問題はここに書いてね301
http://science6.2ch.net/test/read.cgi/math/1233156885/
0153132人目の素数さん2009/02/12(木) 22:58:46
>>152 わかりました。ありがとうございます。
0154132人目の素数さん2009/02/13(金) 00:26:45
>108

>>>92
>Zの部分群は、互いに素な2元を含むならばZ自身でなければならない
>(ユークリッドの互除法から分かる)

えっユークリッドの互除法をどのように使うのでしょうか?
是非,ご解説ください。m(_ _)m
01551082009/02/13(金) 00:48:56
>>154
その部分群の互いに素な2元をa,bとする
ユークリッドの互除法により, ma+nb=1を満たすm,n∈Zが存在する
従って, 1もその部分群の元でなければならない
0156132人目の素数さん2009/02/13(金) 11:01:37
二次関数 y=x^2-2ax-a^2-4a+1について
 1 最小値mをaの式で表せ
 2 aの値が変化するとk、1の最小値mの最大値を求めよ

三角比
 1 sin30゜cos45゜
 2 sin^2 120゜+cos^2 120゜
 3 1+tan^2 30゜
 4 (sin20゜-cos20゜)^2+(sin110゜-cos110゜)^2
 5 tan(180゜-θ)tan(90゜-θ)
 6 1/sin^2 10゜-tan^2 100゜

病欠でサッパリできない問題が宿題で出されてしまったので、お願いします。
解説もしてくれると助かります。
0157132人目の素数さん2009/02/13(金) 11:18:43
>>156
教科書読め
読んでからこい
0158132人目の素数さん2009/02/13(金) 12:23:08
独学で数学を勉強する高卒フリーター31歳です。
教えてもらいたいのですが、よろしいでしょうか。

問 次の関係式について、y'をxとyで表せ。
  (y^2)(x+3)=x(x-1)(x-2)

僕は対数微分方を使って、次のように解きました。
2logy=logx+log(x-1)+log(x-2)-log(x+3)
2y'/y=(1/x)+1/(x-1)+1/(x-2)-1/(x+3)
y'/y=(x^3+3x^2-9x+3)/x(x-1)(x-2)(x+3)
y'=y(x^3+3x^2-9x^2+3)/x(x-1)(x-2)(x+3)

ところが、解答は
y'=(3x^2-y^2-6x+2)/2y(x+3)
となっています。
どこが違うのでしょうか。

詳しい方、よろしくお願いします。
0159132人目の素数さん2009/02/13(金) 12:35:47
>>3
モンスター群
0160132人目の素数さん2009/02/13(金) 12:39:03
>>158
少なくともアンタの計算は間違ってはいない。もとの式は
y = √(x(x-1)(x-2)/(x+3)) であって、原理的には x = 「何かのyの式」
と変形できる性質のものだ。この関係を使って y' = 「何かのxの式」の
任意のxの部分を yに置き換えることができる。ということは、答えの
表記法は一通りには定まらないわけだ。出題者はそのことを深く考えず、
正解を設定してしまったのだろう。数学の問題は出題者が馬鹿であること
も多いので、気をつけること。
0161132人目の素数さん2009/02/13(金) 12:41:25
>>158
合ってると思うよ
0162132人目の素数さん2009/02/13(金) 12:44:05
>>158
詳しく見てないがたぶんそれであってる。
元々 (y^2)(x+3)=x(x-1)(x-2) という式があるから、x と y で表す方法は一通りではない。
気になるなら、2 つの答で y を(元の式を使って)消去すれば一致するはず。
01631582009/02/13(金) 12:49:03
>>160
なるほど、よくわかりました。
たしかに、表記法は一通りには定まらないわけで、
その中でなるべくすっきりしたものを選んだほうがいいのでしょうね。
僕の解答も、もう少しすっきり表せそうですね。
もっと精進します。
ありがとうございました。
01641582009/02/13(金) 12:51:40
>>161
>>162

ありがとうございます。
皆さんに「合ってる」「合ってる」と言ってもらえると、何かうれしい。
頑張ります。
0165132人目の素数さん2009/02/13(金) 15:34:05
77や999や4444のように2桁以上の同じ数字だけで
表記される数をゾロ目数と言うこととする。
n進法とm進法の両方でゾロ目数になる数は、どんな数か。

どこかで見かけた問題なのだが、わからん。
答はついていなかった。
0166132人目の素数さん2009/02/13(金) 17:44:47
>>165
k-進表記に依存しないようにぞろ目数を
x(1+n+n^2+n^3+…+n^r)=y(1+m+m^2+…+m^s)
と書いて遊ぶ。
0167132人目の素数さん2009/02/13(金) 21:38:28
それは遊びなの?
0168132人目の素数さん2009/02/13(金) 21:51:42
a>1、p>2とする。座標空間に5点A(a,0,0) B(0,a,0) C(-a,0,0) D(0,-a,0)
P(0,0,p)と定点R(0,0,1)がある。Rを中心とする半径1の球が
線分AP、BP、CP、DPに接しているとき、pをaで表せ。

どなたかよろしくお願い致します。
0169132人目の素数さん2009/02/13(金) 22:22:43
>>168
相似。
a:p=1:√{(p-1)^2−1}
0170132人目の素数さん2009/02/13(金) 22:50:54
沖田
01711682009/02/13(金) 23:12:02
>>169さん
ありがとうございました! 解けました!
0172132人目の素数さん2009/02/13(金) 23:14:13
integralって単語が
「積分」と「整数の」っていう二つの意味があるのが分からない。
なんか共通点でもあるんですか
0173132人目の素数さん2009/02/13(金) 23:43:01
二つなんてかわいいものだ
別に数学用語ではなくても、うんざりするほどたくさんの意味を持つ言葉なんてザラにある
0174132人目の素数さん2009/02/14(土) 00:27:45
3以上9999以下の奇数aで、a(aー1)が10000で割り切れるものをすべて求めよ。

という問題の解き方を教えていただけないでしょうか?
自分でもよく考えたのですが、解答を弾き出すまでの流れが思い浮かびません・・・。
0175132人目の素数さん2009/02/14(土) 00:40:30
a(aー1)=0 mod 10000
a^2=a mod 10000
a=a^-1a=1 mod 10000
0176132人目の素数さん2009/02/14(土) 01:16:41
>>175
勝手に逆元定義すんな
0177132人目の素数さん2009/02/14(土) 01:28:24
>>174
a(a-1)が2^4の倍数であり, aは2を約数に持たないので, a-1は2^4の倍数
a(a-1)が5^4の倍数なので,
(i) aが5の倍数
(ii) a-1が5の倍数
の少なくとも一方が成り立つ
(i)の時 :
  aが5の倍数なのでa-1は5を約数に持たない
  従って, a(a-1)が5^4の倍数であるからには, aが5^4の倍数である
  a=5^4*b=625*b (bは整数)
  と書ける
  3≦a≦9999より, 1≦b≦15
  この中でa-1が2^4の倍数となる物を探す
(ii)の時 :
  a-1が5の倍数なのでa=(a-1)+1は5を約数に持たない
  従って, a(a-1)が5^4の倍数であるからには, a-1は5^4の倍数である
  ところが, a-1は2^4の倍数でもあるので, 10000の倍数でなければならない
  これは, 3≦a≦9999に反する
0178132人目の素数さん2009/02/14(土) 01:34:50
3√(3x^2)を微分せよ。
をどなたかよろしくお願いします。
0179132人目の素数さん2009/02/14(土) 01:37:03
>>178
3√(3x^2)=3(√3)x
0180132人目の素数さん2009/02/14(土) 01:38:57
>>179
まあ落ち着け
0181132人目の素数さん2009/02/14(土) 01:41:31
どうしろという。
0182132人目の素数さん2009/02/14(土) 01:42:39
X^3−6X^2+9x−4/x-1=x^2-5x+4になるらしいのですが、
どうしたらx^2-5x+4になるのか解き方を教えてください。
0183132人目の素数さん2009/02/14(土) 01:45:42
>>182にメチャクチャな書き方を一度反省してほしいと思う今日この頃、皆様いかがお過ごしでしょうか
0184132人目の素数さん2009/02/14(土) 01:46:56
>>182
割り算すれば良い
X x
6 -5
記載バラバラなのは何か意味あんの?
0185132人目の素数さん2009/02/14(土) 01:53:21
ちなみに「センター試験必勝マニュアル」によると

整式の筆算をするとき、わざわざ各項に x を書いていては時間の無駄である。
(とかくセンター試験は時間との勝負であることは言うまでもない。)
係数だけをみて計算をすましてしまおう。
0186132人目の素数さん2009/02/14(土) 01:55:54
ここで言う事じゃないと思うんだ
0187132人目の素数さん2009/02/14(土) 01:57:52
総合スレだからいいだろ
0188132人目の素数さん2009/02/14(土) 02:00:58
俺はxを書くときも書かないときも

x^3 - 6x^2 + 9x - 4
= x^3-x^2 - 5x^2+5x + 4x-4
= (x-1)(x^2-5x+4)

みたいにするときもある
0189132人目の素数さん2009/02/14(土) 02:02:20
総合スレなの?
0190132人目の素数さん2009/02/14(土) 02:04:35
俺だったら普通に組立除法だな
0191132人目の素数さん2009/02/14(土) 03:08:10
>>184
バラバラなのはコピペだから
正直コピペ元がなぜバラバラにしたのか俺にもわからない
つか文字が入った割り算のやり方忘れたみたい
かなり阿呆になってる
0192132人目の素数さん2009/02/14(土) 03:49:19
すみませんここ見たら自己解決しました。
http://blog.livedoor.jp/cfv21/math/polydiv.htm

しかし多項式の除算なんて学校で勉強した記憶が全くない・・・
0193132人目の素数さん2009/02/14(土) 04:49:49
組み立て除法の何がいいのか未だにさっぱりわからん
0194132人目の素数さん2009/02/14(土) 04:51:56
多項式に値を代入するとき役に立つ
0195132人目の素数さん2009/02/14(土) 07:20:30
x-1 だから 与式に x=1 を代入すれば 0 になるだろ
組立除法は係数だけで処理が済むので>>185氏のように
(わざわざ各項に x を書く)手間が省ける
ゆえにミスも少なくなる

自己解決したようだが>>192のサイトの最後にある
"各項の係数だけを書いていく簡略された書き方"とは
>>185氏マニュアルそのものだと思う
0196132人目の素数さん2009/02/14(土) 14:45:28
Z-加群Z/6Zは自由Z-加群でないことがよくわかりません。

{1}が基底になっていると思うのですが
0197132人目の素数さん2009/02/14(土) 14:47:51
>>196
{1} 上の自由Z加群はZを含みます。
0198132人目の素数さん2009/02/14(土) 15:06:37
「次の演算をせよ」っていう問題で
X*Y=3X-2Yの*に入るのって何ですか?
お願いします。
0199132人目の素数さん2009/02/14(土) 15:13:31
ひまな方いたら教えてください。
XY座標上にABC三角形があり、a点の座標(24.85,3.28)で、B点の座標(25.40,3.28)
C点の座標(24.85,14.99)があり、この三点は、線で結ばれています。
線BCの線の式は、Y=-9.329X+241.85で、長さは、5.88です。
線BCの中点の座標がしりたいのですが、出し方教えてください。
0200132人目の素数さん2009/02/14(土) 15:21:52
200
0201132人目の素数さん2009/02/14(土) 15:22:45
http://www.asahi.com/national/update/0211/NGY200902110007.html
>ちなみに同社のトイレは現在、95%が洋式という。

95%という数字が出てくるためには、
最低、何個以上の便器が必要なのでしょうか?

例えば、便器が2個しかないとしたら、
洋式率は0,50,100%しか有り得ないですよね?
0202132人目の素数さん2009/02/14(土) 15:22:53
201
0203132人目の素数さん2009/02/14(土) 15:30:06
>>197
詳しくお願いします
0204132人目の素数さん2009/02/14(土) 15:33:15
体kについて
k^nとk^m
が同型ならば
n=m
を示せ


お願いします
0205132人目の素数さん2009/02/14(土) 15:39:00
>>204 同型⇔一字独立な元は一時独立なものへ移る
⇔次元は同じ⇔n=m
0206132人目の素数さん2009/02/14(土) 15:59:03
>>204
体はベクトル空間とみなせるから、線形代数の定理を適用すればおK
0207132人目の素数さん2009/02/14(土) 16:29:26
単位区間の部分集合、first categolyでルベーグ測度1
の例を教えてください^^;
想像できん^^
0208132人目の素数さん2009/02/14(土) 16:32:59
first categolyって何?
0209132人目の素数さん2009/02/14(土) 16:43:01
第1章
0210132人目の素数さん2009/02/14(土) 16:45:20
辞書も調べてみたけれど
英語ではないようだ。
0211132人目の素数さん2009/02/14(土) 17:09:48
>>207
自分自身が理解できない言葉を使って質問すんなよ禿
0212132人目の素数さん2009/02/14(土) 17:10:26
>>201
20個中19語が洋式なら95% 

しかし19個中17個が洋式でも94.73…%が洋式
これだって95%と記事に書くかもしれない。

精度が5%刻みだとしたら92.5%を超えていれば95%と書くかもしれない。
だとしたら14個中13個で92.85…%だ。

もしさらに切り上げを採用しているとしたら11個中10個で90.90…%


0213132人目の素数さん2009/02/14(土) 17:13:18
「ほぼ全てが洋式」で済むところを
「95%」とわざわざ数字を使ってインパクトを強めているだけの話だろうな
0214132人目の素数さん2009/02/14(土) 17:36:46
>>201
零細企業ならともかく普通の会社の便器が2個という発想は、あり得んでしょう。
女性用のトイレに個室がいくつくらい並んでいるのかを考えてないっつーか。
0215132人目の素数さん2009/02/14(土) 17:38:27
>>198
* に意味があるわけではない。その左辺はその右辺によって定義される演算だという意味でしかない。

>>207
ベールの領域定理なんぞ知らんよ……
0216132人目の素数さん2009/02/14(土) 17:40:06
>>203
自由加群の定義をここに述べてみなさい、それで十分でしょう。
0217132人目の素数さん2009/02/14(土) 17:49:48
>>216
コピペでいいですか?
0218132人目の素数さん2009/02/14(土) 18:14:44
>>208-211 知らない言葉出てきたからってなに荒してんだよ。
 まるで白痴だな^^;
0219132人目の素数さん2009/02/14(土) 18:16:17
>>218
>>207が悪い。
0220132人目の素数さん2009/02/14(土) 18:21:49
なんだただの脳障害か。
0221132人目の素数さん2009/02/14(土) 18:24:09
ここまで全て俺の自演
0222132人目の素数さん2009/02/14(土) 18:28:51
>>207が辞書にも載っていないような言葉を使うのが悪い。
0223132人目の素数さん2009/02/14(土) 18:32:03
>>218
自分自身が理解できない言葉を使って質問すんなよ禿
0224132人目の素数さん2009/02/14(土) 18:38:27
>>218
first categoryってなんだ?ちゃんと説明してみろやデブ
できねーなら二度とここにくんな。馬鹿のくせに調子こいて
書き込みするな。馬鹿なんだからてめえにはルベーグ積分
なんぞ理解できん。大学やめてさっさと働けや白痴。
0225132人目の素数さん2009/02/14(土) 18:44:21
>>224は右翼
0226132人目の素数さん2009/02/14(土) 18:47:48
>>224
違うよ。
その言葉じゃないよ。
>>208はfirst categolyについて聞いてるんだよ。


207 名前:132人目の素数さん[sage] 投稿日:2009/02/14(土) 16:29:26
>単位区間の部分集合、first categolyでルベーグ測度1
0227132人目の素数さん2009/02/14(土) 18:48:33
>>226
どうやらお前はふざけているらしい。
02282152009/02/14(土) 18:52:08
>>218
lとr間違えてりゃそりゃ何も判るわけネーヨ。
0229132人目の素数さん2009/02/14(土) 18:58:59
悪化したスレの雰囲気を和ませる意味で、「ここまで全て俺の自演」という言葉を多用する
もちろん、IPなどで自演がデタラメだと明らかになっている場合にさえも行う

逆に、本来の意味で自演したことはあまりない
しかもその自演は一般的に使われるような、自分を擁護するようなものではない
元の主張の一部にこそ理解を示すものの、結局は「独り善がり」、「スレの雰囲気が悪くなる」などと攻撃するというものだ

なおwikipediaの「自作自演 (インターネット)」という項目内に次のような記述がある
>自分と敵対する人間があたかも孤立しているかのように見せるために使われる場合もある。

俺の場合はコレとは逆に、「元の意見を主張している俺(以下、元の俺)」が孤立しているような状況を作り出すのが目的
つまり他の皆と一緒になって、自分で自分を攻撃するのだ
よもや、自分を守るためでなく逆に攻撃するために自演しているとは誰も思わないだろう
なぜこんないっけん無意味に見えることをするのか、理解できる人にはできるだろうが別に理解する必要はない
おそらく2chの風潮に染まっている人ほど理解しにくいだろう、とだけは言っておこう
0230132人目の素数さん2009/02/14(土) 19:45:23
>>229
君は2ちゃん中毒に陥っている。きみには理解しにくいだろうけどね。
0231132人目の素数さん2009/02/14(土) 19:49:35
うーん、その解答ではせいぜい70点だ
0232132人目の素数さん2009/02/14(土) 19:51:14
>>229
その程度のことならkingがよくやっている。
0233132人目の素数さん2009/02/14(土) 19:53:55
それなら80点だ
0234132人目の素数さん2009/02/14(土) 19:57:41
ああ、もうそれで正解でいいや
0235KingGold ◆3waIkAJWrg 2009/02/14(土) 20:26:28
Reply:>>232 お前は何をしようとしている。
0236132人目の素数さん2009/02/14(土) 20:27:23
kingは生ゴミ
0237132人目の素数さん2009/02/14(土) 23:04:41
Construct an open set E⊂[0,1] such that m(∂E)>0.
(尚,mはルベーグ測度,∂EはEの境界を表しています)
という問題ですがどのようにして解けばいいのでしょうか?
0238132人目の素数さん2009/02/14(土) 23:20:52
ボレルセット^c
0239132人目の素数さん2009/02/14(土) 23:30:55
∂E は高々可算だから、そんな E はない気がする。
0240132人目の素数さん2009/02/14(土) 23:32:39
∂E は高々可算?なんで?
0241KingGold ◆3waIkAJWrg 2009/02/14(土) 23:39:48
Reply:>>236 そう思うならここに来るな。
0242132人目の素数さん2009/02/15(日) 00:02:53
>>240
E は ∪_[n=1,∞](a_n,b_n) (a_i≦b_i≦a_(i+1)≦b_(i+1), 0≦a_1, b_∞≦1) とかけて、
∂E=∪[n=1,∞]{a_i, b_i} だ……よね……?
0243132人目の素数さん2009/02/15(日) 00:04:48
はぁ?何言ってんだこの馬鹿
0244132人目の素数さん2009/02/15(日) 02:16:29
ごめん。
[0,1] の稠密な可算集合 {a_n} と 0<ε<1 を取って、
E=[0,1]∩(∪_[n=1,∞](a_n, a_n+ε/2^n)) とすればいい。
0245132人目の素数さん2009/02/15(日) 07:59:19
>>241
なにあsまのつもりだ!
0246132人目の素数さん2009/02/15(日) 10:27:04
どうも有り難うございます。

> 244
> ごめん。
> [0,1] の稠密な可算集合 {a_n} と 0<ε<1 を取って、
> E=[0,1]∩(∪_[n=1,∞](a_n, a_n+ε/2^n)) とすればいい。

[0,1]∩Qは稠密な可算集合ですよね。
a_1=0とかすると
∪_[n=1,∞](a_n, a_n+ε/2^n)=(0,ε/2)なので
E=[0,1]∩(∪_[n=1,∞](a_n, a_n+ε/2^n))=(0,ε/2)
で
∂(0,ε/2)={0,ε/2}ですよね。
すると m(∂(0,ε/2))=m({0,ε/2})=m({0})+m({ε/2})=0+0=0となって
>0にはなりませんが…。

どこを勘違いしてますでしょうか?
0247132人目の素数さん2009/02/15(日) 10:44:28
E=有理数
m([0,1])=m(∂E)+m(E)=m([0,1]-E)+m(E)=1-0
0248132人目の素数さん2009/02/15(日) 11:54:32
> 155

> >>154
> その部分群の互いに素な2元をa,bとする
> ユークリッドの互除法により, ma+nb=1を満たすm,n∈Zが存在する
> 従って, 1もその部分群の元でなければならない

そうしますと互いに素な元を3つ中2つ含めばH=Zとなるのでp,p+q,pq,p^q,q^pとも含んでしまい題意を満たさないので,
3元をきっかり含む候補としては{p,pq,p^q}となるのですね。
0249132人目の素数さん2009/02/15(日) 13:03:55
[問] 群Z_8000000で位数が8であるような元を全て求めよ。
という問題に下記例題を参考に取り組んでいます。

[例題] 群Z_40で位数が10であるような元を全て求めよ。
[解]10x≡0(mod40)で10より小さいものでは0にならないのだから
4aという形aが40と互いに素.
aは40と互いに素で10(4a)≡0(mod40)を満たし,且つ
9(4a)≡0(mod40),…,(4a)≡0(mod40)を満たさない。
という事は
a=1の時,10・4≡0(mod40)つまり,40≡0(mod 40)を満たし,且つ
36≡0(mod40),…,4≡0(mod40)を満たさない。
はOK.よって類はC(4).
a=2の時,10・8≡0(mod40)つまり,80≡0(mod 40)を満たし,且つ
72≡0(mod40),…,8≡0(mod40)を満たさない。
は"40≡0(mod 40)を満たさない"が途中に現れてしまいのでNG.(実際,gcd(2,40)=2≠1)
a=3の時,10・12≡0(mod40)つまり,120≡0(mod 40)を満たし,且つ
108≡0(mod40),…,12≡0(mod40)を満たさない。はOK.よって類はC(12).
a=4の時,10・16≡0(mod40)つまり,160≡0(mod 40)を満たし,且つ
144≡0(mod40),…,16≡0(mod40)を満たさない。
は"80≡0(mod 40)を満たさない"が途中に現れてしまいのでNG.(実際,gcd(4,40)=4≠1)
a=5の時,10・20≡0(mod40)つまり,200≡0(mod 40)を満たし,且つ
180≡0(mod40),…,20≡0(mod40)を満たさない。
0250132人目の素数さん2009/02/15(日) 13:05:30
は"40≡0(mod 40)を満たさない"が途中に現れてしまいのでNG.(実際,gcd(5,40)=5≠1)
a=6の時,10・24≡0(mod40)つまり,240≡0(mod 40)を満たし,且つ
216≡0(mod40),…,24≡0(mod40)を満たさない。
は"120≡0(mod 40)を満たさない"が途中に現れてしまいのでNG.(実際,gcd(6,40)=2≠1)
a=7の時,10・28≡0(mod40)つまり,280≡0(mod 40)を満たし,且つ
252≡0(mod40),…,28≡0(mod40)を満たさない。はOK.よって類はC(28).
a=8の時,10・32≡0(mod40)つまり,320≡0(mod 40)を満たし,且つ
288≡0(mod40),…,32≡0(mod40)を満たさない。
は"160≡0(mod 40)を満たさない"が途中に現れてしまいのでNG.(実際,gcd(8,40)=4≠1)
a=9の時,10・36≡0(mod40)つまり,360≡0(mod 40)を満たし,且つ
324≡0(mod40),…,36≡0(mod40)を満たさない。はOK.よって類はC(36).
a=10の時,10・40≡0(mod40)つまり,400≡0(mod 40)を満たし,且つ
360≡0(mod40),…,40≡0(mod40)を満たさない。
は"40≡0(mod 40)を満たさない"が途中に現れてしまいのでNG.(実際,gcd(10,40)=10≠1)
a=11の時,10・44≡0(mod40)つまり,440≡0(mod 40)を満たし,且つ
396≡0(mod40),…,44≡0(mod40)を満たさない。
はOK.よって類はC(44).しかし,C(44)=C(4).
即ち,ここでは既に一周しているのでこれ以上は調べる必要はない。
0251132人目の素数さん2009/02/15(日) 13:06:06
以下現れる類は上記のC(4),C(12),C(28),C(36)に等しい。


となっています。所でこの「4a」とは何処から来たのでしょうか?


[問] 群Z_8000000で位数が8であるような元を全て求めよ。
そして,求めた元が本当に正しいか説明してみせよ。
[解]
8x≡0 (mod 8000000) and 7x≠0 (mod 8000000), 6x≠0 (mod8000000),…, x≠0 (mod 8000000)を満たせばいいのでgcd(a,8000000)=1で
0≦1000000a<8000000なるaを吟味してみればよい。.何故なら d=gcd(a,8000000)≠1
なら m(1000000a)=8000000なるm=1,2,…,7がどうしても現れてしまうからである。.
従ってa=1,3,7.即ち C(1),C(3),C(7).
実際,
a=1なら,8・1000000≡0(mod8000000) つまり 8000000≡0(mod8000000)が成立ち.
7000000≡0(mod8000000),…,1000000≡0(mod8000000)らが成立たない。
従って,a=1はOK. ∴その類はC(1000000).
a=2なら,8・2000000≡0(mod8000000)即ち16000000≡0(mod8000000)が成立ち.
14000000≡0(mod8000000),…,2000000≡0(mod8000000)が成立たない.
然し"8000000≡0(mod8000000)は成立たない"が
14000000≡0(mod8000000),…,2000000≡0(mod8000000)の中に現れる。.従って,a=2はNG,しかもgcd(2,8000000)=2≠1.
:
a=5なら,8・5000000≡0(mod8000000) つまり 40000000≡0(mod8000000)が成立ち.
35000000≡0(mod8000000),…,5000000≡0(mod8000000)らが成立たない。
従って,a=5はOK. ∴その類はC(5000000). しかし,gcd(5,8000000)=5≠1

という風に,a=5の場合は5は8000000に互いに素ではないにもかかわらず,C(5000000)
は位数8になり,題意を満たしてしまいます。
この矛盾はどうしてなのでしょうか?
0252132人目の素数さん2009/02/15(日) 13:16:16
目が潰れそう。
■ このスレッドは過去ログ倉庫に格納されています