大学数学の出題スレ

大学数学の出題スレ (213ﾚｽ)
上下前次 1-新

1(1): 03/12(木)22:01 ID:8Uvoewr5(1) AAS
問題を出してみろ！

114: 04/08(水)07:35 ID:zHikLm+A(1/3) AAS
思いつかないのでチートしたら
ベキ乗根と四則演算では解けないみたいね
つまりそのことを証明しろという問題？

115: 04/08(水)07:40 ID:soPEASvw(2/4) AAS
いや、イケるはずですよ。
ヒントを少しずつ言うと、この方程式は5次の中でもかなり特殊なものなんだと思います。
（私も後で質問したいことがあるくらいなので、満足なヒントは出せないかもしれませんが…。）

116: 04/08(水)07:55 ID:zHikLm+A(2/3) AAS
別のチートをしたらw^11-1=0の1以外の解によってz=w+1/wの満たす5次方程式がz^5+z^4−4z^3−3z^2+3z+1=0だと出てきた
w^10+…+w+1=0
w^5+…+1+…1/w^5=0
w^5+1/w^5=z^5-5z^3+5z
w^4+1/w^4=z^4-4z^2+2
w^3+1/w^3=z^3-3z
w^2+1/w^2=z^2-2
w+1/w=z
1=1
------------------------------------sum
省2

117(1): 04/08(水)08:02 ID:zHikLm+A(3/3) AAS
高校数学で係数の対象な4次方程式を解くときにこの方法よく使うけれど
それは変形が真逆で
z^2+z-1=0
を解くときそれを
w^4+w^3+w^2+2+1=0
の解と結びつけようとは思わないよなあ
聞きたいことってこれを一般化したときの係数とか？

118: 04/08(水)08:04 ID:soPEASvw(3/4) AAS
仕事がお速いですねぇw
私は5次方程式のガロア群が5次の巡回群になるものを探したら、これに行き着きました。

係数からガロア群を判定する方法があるのなら、そこから（ζ_11）^i+(ζ_11)^(-i)の形が解になることが推測できるのかと思います。
（デイビッド・コックス著のガロワ理論くらいには、書いていないのかなと思っている次第です。）

119(2): 04/08(水)08:07 ID:soPEASvw(4/4) AAS
>>117
聞きたいことは係数の計算による、5次方程式のガロア群の判定法の存在ですね。
（探している最中なので、その内見つかるかもしれません。）

120: 04/08(水)14:46 ID:ngpnhTO5(1) AAS
>>119
mod pに落とし込んで様子を調べるくらいしかないのでは

121: 04/08(水)16:48 ID:KZ3vm4pr(1/2) AAS
とりあえず、調べたことを書きます。
ブリング-ジェラード標準形x^5+ax+b=0にして、判別式を計算する。
判別式が有理数の平方になる場合はA5・C5・D5となり、可解群ならば判別式は正になるらしいです。
あとリゾルベントという6次式を構成し、その方程式が有理数解をもてば、可解群になるみたいです。
難しい話なので結果だけが書いてあったりして正誤を確認出来なかったり、定義などを省略させてもらいましたが、こんなところです。

122: 04/08(水)16:54 ID:KZ3vm4pr(2/2) AAS
まあまた今度、厚めのガロア理論の本できちんと確かめに行こうと思います。

123(1): 04/08(水)21:54 ID:z2njgwRW(1/2) AAS
>>119
>聞きたいことは係数の計算による、5次方程式のガロア群の判定法の存在ですね。
>（探している最中なので、その内見つかるかもしれません。）

日本語情報なら下記の出典7、8、9な
なお、英文 en.wikipedia も覗いてみて
（だいたいは英文の方が情報が豊富という。いま、時間がないので見てないがよろ）

外部ﾘﾝｸ:ja.wikipedia.org
五次方程式

出典
7 元吉文男「5次方程式の可解性の高速判定法（数式処理における理論と応用の研究）」『数理解析研究所講究録』第848巻、京都大学数理解析研究所、1993年、1–5頁、CRID 1050282677087499264、hdl:2433/83668。
省7

124(1): 04/08(水)22:01 ID:Tpw5aZqI(1) AAS
>>123
下から2番目の資料は結構詳しいと思います。
わざわざありがとうございました。

125: 04/08(水)23:43 ID:z2njgwRW(2/2) AAS
>>124
>下から2番目の資料は結構詳しいと思います。

どうもです
大迎規宏さんね
たしか、その文中で Dummitさんの論文を引用していたが
下記の英文サイトのpdfが使える気がする（未確認だが）
（余談大迎さん兵庫県の教育委員会の次長さんだったかの挨拶文のページがヒットした。さすが兵庫教育大か）

またいま下記en.wikipedia見ると
”ブルース・バートレット：「五次曲線、正二十面体、および楕円曲線」、AMS Notices（2024年4月）”
面白い。やっぱ新しい文献は見とかないと
省16

126: 04/08(水)23:49 ID:bFt6ZpSa(1) AAS
COX著のガロワ理論は確か上下巻あったと思うので、たぶん何かしら載っていると思われます。
前に見たときは、下巻が計算式だらけだったような記憶がありますから。（うろ覚えですが…。）

127(2): 04/13(月)11:50 ID:/5GuKpQO(1) AAS
fは実数を実数に写す関数とする。
実数x_0における、fの左上極限が右上極限よりも大きくなるx_0全体の集合は、高々可算であることを示せ。

128(1): 05/04(月)11:03 ID:vg2FiWzf(1) AAS
>>127
確か非可算個の開区間の直和を考えると可算個以外は空じゃなかったっけ？証明忘れたけど簡単だったはず

129(1): 05/04(月)11:06 ID:AwWig2mO(1) AAS
思い出した
非可算個が空でなければ
それぞれの中に有理数があるから
有理数が可算であることに反する
だった

130(1): 05/08(金)16:38 ID:W+PWT9xn(1/2) AAS
>>128
その問題は結構ムズいと思うよ。
誰も解かないと思ったから、答えがどこかにいったw
知りたければ探すけど、見つからないかも…。

131: 05/08(金)16:58 ID:imjtihKv(1) AAS
>>130
>>129

132: 05/08(金)16:58 ID:W+PWT9xn(2/2) AAS
答えが見つかったわ。

133(2): 05/08(金)17:54 ID:jtB2Fcs8(1) AAS
Gを群とし、A,BをGの巡回部分群とする。 G=ABを満たし、A,Bが共にGの正規部分群とならない例を挙げよ。

134: 05/08(金)20:12 ID:843WxOSn(1) AAS
n∈N,a∈{±1}
(n,a)(m,b)=(n+am,ab)
(n,a)(0,1)=(n,a)
(0,1)(n,a)=(n,a)
((n,a)(m,b))(k,c)=(n+am,ab)(k,c)=(n+am+abk,abc)
(n,a)((m,b)(k,c))=(n,a)(m+bk,bc)=(n+am+abk,abc)
(n,a)(-n/a,1/a)=(n-an/a,a/a)=(0,1)
(-n/a,1/a)(n,a)=(-n/a+n/a,a/a)=(0,1)
(n,1)(0,a)=(n,a)
(0,1/a)(n,1)(0,a)=(0,1/a)(n,a)=(n/a,aa)=(n/a,1)
省7

135: 05/08(金)20:24 ID:/Osir/NX(1/2) AAS
>>133の私が知っている解答例の位数は結構大きい。
位数のヒントを出しても良いくらいですね。

136: 05/08(金)20:37 ID:/Osir/NX(2/2) AAS
あと>>127は、
Set of points where limsup x+ < limsup x- do not agree is countable
と検索すれば分かると思います。
おそらく、合っていると思います。
問題自体は正しいはずです。

137: 05/23(土)23:06 ID:2XEfDJ0c(1) AAS
4項間漸化式の問題
a_(n+3) = a_(n+2) + a_(n+1) + a_n
初期値は
たとえば、a_0=0, a_1=1, a_2=1
で解いてね
5項間、6項間、... , n項間の一般解も
検索しないで自力で頭の体操

138: 05/23(土)23:44 ID:gCiOzVk0(1) AAS
ツマンネす

139(2): 05/28(木)18:39 ID:MZzR7xAz(1) AAS
>g(x)はf(x)の逆関数とする。
>微分方程式f'(x)=g(x)を解け。
a=(-1+√5)/2
f(x)=(a^a)x^(1/a)

140: 05/28(木)18:43 ID:hKqOmUs8(1) AAS
ルールを律儀に守る住民

141: 05/29(金)10:34 ID:5GGCgIne(1) AAS
>>139
無料版geminiにやらせたら、g(x)=x^nと仮定して解なしとかいいよったわｗ
g(x)=kx^n とおいて解けよ、といったら、出来ました！だとさｗ

142(1): 05/29(金)10:57 ID:XlDWbW9z(1/6) AAS
他に無いかねまたx≦0でもないかね

143: 05/29(金)11:01 ID:XlDWbW9z(2/6) AAS
>>139
これは
f'(x)=g(x)=y⇔x=f(y)
から
f'f(y)=y
を
f(y)=kx^n
と仮定して出したもの
もっと一般化するにはどうすれば良いか

144: 05/29(金)11:11 ID:XlDWbW9z(3/6) AAS
f(y)=ky^n
と仮定

145(1): 05/29(金)19:58 ID:XlDWbW9z(4/6) AAS
>>142
>他に無いかねまたx≦0でもないかね
x≦0では
f(x)=-f(-x)
つまり奇関数拡張すれば
f'(f(x))=-f'(-f(x))=-f'(f(-x))=-(-x)=x
でOK
他に有るかどうかはどうするかな

146: 05/29(金)20:04 ID:XlDWbW9z(5/6) AAS
>>145
>でOK
なわけないか

147: 05/29(金)20:49 ID:XlDWbW9z(6/6) AAS
f(x)=-f(-x)
f'(x)=f'(-x)
f'f(x)=f'(-f(-x))=f'(f(-x))=-x
NG

148: 06/01(月)06:59 ID:vB2Qha1t(1) AAS
>1人目〜3人目に来た人は採点しただけで断る。
>4人目、5人目に来た人は過去最高点だったら結婚する。
>6人目、7人目は過去2位以内に入るなら結婚する。
>8人目は3位以内に入るなら結婚する。
>9人目は5位以内に入るなら結婚する。
>10人目はその人しかいないから諦めてその人と結婚する。
>
>問：この最適停止問題に基づく戦略を取った場合、
>a.10人中一番良い相手と結婚できる確率
>b.10人中3位以内の相手と結婚できる確率
省29

149(2): 06/01(月)22:00 ID:FjgKuoDj(1/2) AAS
>>133
>Gを群とし、A,BをGの巡回部分群とする。 G=ABを満たし、A,Bが共にGの正規部分群とならない例を挙げよ。

某スレから来ました
質問していい？

上記積 G=AB は、半直積以上を考えていますか？
つまり、半直積の場合下記のように ABのどちらかは正規部分群
（余談：直積なら両方とも正規部分群になり不適）

また ”A,Bが共にGの正規部分群とならない”は、二通りに解釈できて
・「A,Bが共にGの正規部分群」とならないと解すれば、半直積の場合が適合する
・「A,Bが共にGの正規部分群とならない」＝A,B両方が非正規部分群と解すれば、半直積の場合は不適
省16

150(1): 06/01(月)22:44 ID:BXjJCVN+(1) AAS
>>149
とりあえずお答えできるのは、A,B両方が非正規部分群ということですね。

151: 06/01(月)23:51 ID:FjgKuoDj(2/2) AAS
>>150
>とりあえずお答えできるのは、A,B両方が非正規部分群ということですね。

ありがと
それだけで十分です
面白い問題考えたね（＾＾

152: 06/02(火)00:33 ID:jrSMLXal(1) AAS
>>149
半直積なら二面体群で仕舞いだから
そんな単純な話では無いのは明白
ここはm:G×G→GのGの積写像で
m(A×B)=Gとなるという意味でしょ

153: 06/13(土)17:21 ID:j5EGukRd(1/2) AAS
A : R^n → R^mを線形写像とする。
VをR^nの開集合とする。
A(V)はA(R^n)の開集合であることを証明せよ。

154: 06/13(土)17:34 ID:j5EGukRd(2/2) AAS
位相は普通の位相なんだろうから
Vの各点のまわりにn次元の開球が取れて
Im(A)は開球の基底で生成できるから
R^m=R^k¥oplusIm(A)
とでも置けば各点の像のまわりは
R^k¥oplusA(V)もm次元の部分集合を形成して
A(V)の各点のまわりはIm(A)の次元と同じ部分集合なので
Im(A)の開集合
ってな感じで

155(2): 06/13(土)20:32 ID:0LuvY6cv(1) AAS
{f_n}はfに各点収束する、一様連続な関数列とする。
x_n→x(n→∞)のとき、f_n(x_n)→f(x)(n→∞)は成立するか。

156(1): 06/13(土)21:09 ID:nlNUCyJQ(1) AAS
>>155は[0,1]に限定しておきます。

157: 06/13(土)21:45 ID:2JsZZZYS(1/9) AAS
一様連続なら行けるんじゃないの

158: 06/13(土)21:55 ID:g2iesc2Y(1/5) AAS
行けるのなら証明を、そうでなければ反例を求む。

160: 06/13(土)22:13 ID:g2iesc2Y(2/5) AAS
とりあえずヒントを…。
実は成り立たないみたいなので、反例を下さい。

162: 06/13(土)22:16 ID:g2iesc2Y(3/5) AAS
反例をくだちぃw

163: 06/13(土)22:22 ID:2JsZZZYS(4/9) AAS
>>161
>∀ε>0∃n∈N,n<∀m∈N: |fm(xm)-fm(x)|<ε
ここんところか
うーんどうするかな

164(1): 06/13(土)22:25 ID:g2iesc2Y(4/5) AAS
しかし、証明をされたら何故違うのかも言わないといけないかな。
何故成り立たないのかは、別で考えておきます。（各点でなく、一様収束なら成り立つみたいです。）

165: 06/13(土)22:29 ID:2JsZZZYS(5/9) AAS
fn→f:uniform
なら行けるんだろうな

166: 06/13(土)22:30 ID:2JsZZZYS(6/9) AAS
>>164
一様ならxに丸で依らないから行けるのはホボホボ自明

167: 06/13(土)22:39 ID:g2iesc2Y(5/5) AAS
各点収束では、一様収束する連続関数列の極限関数が連続の証明の方法は使えないのでしょう。

168: 06/13(土)23:05 ID:2JsZZZYS(7/9) AAS
そりゃ無理だわね

169: 06/13(土)23:06 ID:HqogtU0z(1) AAS
これが反例づくりのヒントになったりね。

170(2): 06/13(土)23:14 ID:2JsZZZYS(8/9) AAS
fn(x)=cos^2n(x):uniform
fn→f(x)=1(x=nπ),0(otherwise)
xn=1/n→0
で

171: 06/13(土)23:17 ID:2JsZZZYS(9/9) AAS
ヒント出し過ぎ
しおもな

172: 06/13(土)23:44 ID:FG1/Fz2N(1/3) AAS
f(0)=1だと思いますが、lim[n→∞]f_n(x_n)の値は1ではないとしたらどうなりますか？

173: 06/13(土)23:45 ID:FG1/Fz2N(2/3) AAS
>>170

174: 06/13(土)23:56 ID:FG1/Fz2N(3/3) AAS
ちなみに一様連続の条件は、[0,1]で考えたらただの連続関数だと思えば良いと思います。
（元ネタを忠実に再現しているだけです。）

175: 06/14(日)04:51 ID:UoBLqnU1(1/2) AAS
元ネタが微妙だったので、色々ヒントを出してバランスを取ったということで許して下さいね。（頑張ればRで一様連続な関数列でも反例は作れるのかもしれないですが…。）

176: 06/14(日)05:14 ID:UoBLqnU1(2/2) AAS
なんか作問がイマイチなので、早々と正解は出しますね。
11時くらいには書きますね。

177(1): 06/14(日)05:37 ID:iVhZ8xXP(1/6) AAS
>>170
これじゃダメか
xnは
os^2n(x)=1/n
の解xn=arccos((1/n)^(1/2n))でどうかな
limcos^2n(xn)=lim1/n=0
limxn=limarccos((1/n)^(1/2n))=arccos1=0

178(1): 06/14(日)10:33 ID:lllE6ioS(1/6) AAS
>>177
とりあえず、f_n(x_n)→f(x)(n→∞)にならなかったら何でも正解です。
あと、連続関数列なら自由です。
私の添削に限界があり、用事を済ませたら解答例を書くので、それで出題の意図を汲み取って頂けると有難い。

179: 06/14(日)10:36 ID:iVhZ8xXP(2/6) AAS
>>178
下らん

180: 06/14(日)10:37 ID:lllE6ioS(2/6) AAS
それなら解答を闇に葬るのみw

181: 06/14(日)10:39 ID:lllE6ioS(3/6) AAS
一様連続とか言い出したから、ややこしくなってしまった。
そろそろ必修数学の作問も限界に達してきたから、専門数学の作問をするわ。

182: 06/14(日)10:41 ID:lllE6ioS(4/6) AAS
とりあえず後で解答を書くから、それでこの話は終了。

183: 06/14(日)11:20 ID:lllE6ioS(5/6) AAS
>>155
これの解答は、f_n(x)=x^n
x_n=1−1/n とすると、
f(x)=0(0≤x<1),1(x=1) となり、
x_n→1(n→∞) であるから、
lim[n→∞]f_n(x_n)=1/e ≠ f(1)=1
よって、不成立。

不出来な作問なので、こんなところで許してね。

184: 06/14(日)11:24 ID:lllE6ioS(6/6) AAS
>>156
この条件での解答

185(3): 06/14(日)15:08 ID:iVhZ8xXP(3/6) AAS
A:N→P(X)
∪∩A=∪{∩{An|m<n}|m∈N}⊂∩{∪{An|m<n}|m∈N}=∩∪A
を示し
∩∪A＼∪∩A≠φ
である例を挙げよ

186(1): 06/14(日)15:37 ID:nSGniEjx(1/3) AAS
>185
とりあえず思考過程ゼロでAIにかけたら、A_nのnが奇数のときに{0}、nが偶数のときに{1}とおけば例の条件を満たすって出たけど、いかが？

187: 06/14(日)15:43 ID:nSGniEjx(2/3) AAS
再度AIにかけたら早速違った答えを出してきたので、やっぱり無しでお願いします。

188: 06/14(日)15:53 ID:iVhZ8xXP(4/6) AAS
>>185
補遺
∩∪A=∪∩A
である同値な条件を挙げよ
（適当な答えを知らないので出題では無いから別に）

189: 06/14(日)15:56 ID:iVhZ8xXP(5/6) AAS
>>186
例としてOK

190: 06/14(日)15:57 ID:nSGniEjx(3/3) AAS
やりぃ

191: 06/14(日)16:33 ID:iVhZ8xXP(6/6) AAS
>>185
>∩∪A＼∪∩A≠φ
>である例を挙げよ
簡単すぎたので
単調減少
An⊃An+1
の場合
∩∪A=∪∩A
であることを示せでどうかな

192(3): 06/17(水)20:24 ID:S1jlQUAm(1) AAS
z^5+z^4-12z^3-21z^2+z+5=0を解け。

193: 06/18(木)10:54 ID:fubGILeS(1) AAS
>>192
これはちなみに、ガロア群はC5になるらしいです。
これでかなり解きやすくなるはずです。

194: 06/18(木)13:04 ID:oOgZv1Lr(1) AAS
>>192
やはりこれは、pcで計算しないと苦しいかもしれません。
まあ、こんなC5の方程式があるんだくらいに思ってください。

195(1): 06/19(金)12:18 AAS
>>192
与えられた5次方程式
z^5 + z^4 - 12z^3 - 21z^2 + z + 5 = 0
は有理数体上で既約であり、一般的な代数解の公式（冪根による解法）の形では簡潔に表現できません。しかし、この方程式は素数 p = 31 に関連するガウス周期（Gaussian periods）を根に持つ特殊な方程式（巡回拡大の極小多項式）であるため、三角関数を用いて厳密な解を書き下すことができます。

厳密解
方程式の5つの根は以下の通りです。

z_1 = 2cos((2π)/31) + 2cos((10π)/31) + 2cos((12π)/31)
z_2 = 2cos((4π)/31) + 2cos((20π)/31) + 2cos((24π)/31)
z_3 = 2cos((8π)/31) + 2cos((14π)/31) + 2cos((22π)/31)
z_4 = 2cos((16π)/31) + 2cos((18π)/31) + 2cos((28π)/31)
省23

196: 06/19(金)12:25 ID:WCuFKOXa(1) AAS
>>195
おぉ、解けましたか。
計算量が多くてきついかと思いましたが、大丈夫でしたね(^^)

197: 06/19(金)14:58 ID:+9zKAHwg(1) AAS
そんなad hocな解き方なの？

198: 06/19(金)15:04 ID:O2UzSBH5(1) AAS
ガロア群がC5というヒントは出していました。

199: 06/19(金)15:58 ID:HiDyNKlc(1) AAS
なんでみんなここに直接数式を書きこむの？

200: 06/20(土)07:44 ID:RetPzLJg(1) AAS
直接じゃなきゃどうするの？

201: 06/20(土)10:30 ID:O7+JDHXn(1) AAS
latex

202(1): 06/23(火)20:48 ID:YQRKtpvr(1/2) AAS
単位元をもつ4元からなる環の例を4つ挙げよ。

203: 06/23(火)20:55 ID:YQRKtpvr(2/2) AAS
>>202
AIにバレてるからやっぱ無しかな。
まあ、解答したい人はご自由にw

204: [age] 07/06(月)21:05 ID:6lU5Xi7u(1) AAS
問題　『博士が百人いる村』

ある日
ある村に無能な博士が百人あつまった
この村には掟がある
　村のオキテ【自分が無能とわかった博士はその日の夜に村を出ていかなければいけない】
博士たちは自分自身が無能かどうかは自分ではわからないが
他の博士が無能かどうかは完璧にわかる
広場に百人の博士が集まった
おのおのの博士は他の博士が無能かどうかを判定したが
誰も一言も発言しなかった
省6

205: 07/06(月)21:10 ID:NOe76QeN(1) AAS
箱入り博士

206: 07/09(木)19:44 ID:V/U2mM4j(1) AAS
次の問題

559 １３２人目の素数さん 2026/07/08(水) 05:55:21.26 ID:XT0OsVw3
複素平面上の相異なる2点A(α)、B(β)を通る直線をl、lに原点から下ろした垂線の足をHとする。
H(β/α)となるとき、α、βは複素平面上のどの領域を動きうるか。

本人は
作問中に垂線を後から引いた
と言っており、思いつきだけで作った問題のもよう

207: 07/09(木)19:47 ID:BlTctbjs(1/3) AAS
コピペ乙

208: 07/09(木)19:49 ID:BlTctbjs(2/3) AAS
インディアンポーカー

209: 07/09(木)21:34 ID:59a6wbVm(1) AAS
無能だったら自分が無能と推論できる状況でもそれに気づけないのでは？

210: 07/09(木)21:45 ID:BlTctbjs(3/3) AAS
設定

211(1): 07/16(木)18:01 ID:MqwE5Fk9(1) AAS
こっちで引き取って

645 １３２人目の素数さん 2026/07/16(木) 07:18:52.78 ID:0HG/0SQG
朝の光を浴びて新鮮な気持ちで質問します

平面上に△ABCがある。
直線ABに関して点Cとは反対側に点Pをとり、△PABが正三角形となるようにする。
同様に直線BCに関して点Aとは反対側に点Qをとり、△QBCが正三角形となるようにする。
直線PQ上に点Xをとったところ、△XCAが正三角形となった。△ABCはどのような形状かを述べよ。

212: 07/16(木)18:13 ID:/sj71wSu(1) AAS
>>211
高校数学スレで

213: 07/16(木)18:22 ID:fSy82+BK(1) AAS
たらい回しw

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.527s*