大学数学の出題スレ

問題を出してみろ！

設定

こっちで引き取って


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

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

>>211
高校数学スレで

たらい回しw

＞y=(√3)*tan(πx)　(0<x<1/2) のグラフ上の有理点は
＞(1/6,1) と (1/3, 3) だけでしょうか。
ギリ大学数学だろうが
あんま面白くなさげ

>y'+exp(-x)y=0
>y(0)=1
y=0 OK
dy/y=-exp(-x)dx
log|y|=-exp(-x)+C
y=Aexp(-exp(-x))

y(0)=1 ⇒ C=1 or A=e

>＞y=(√3)*tan(πx)　(0<x<1/2) のグラフ上の有理点は
>＞(1/6,1) と (1/3, 3) だけでしょうか。
>ギリ大学数学だろうが
>あんま面白くなさげ

面白くなさげとは、簡単に解けてしまうということでしょうか。

785 １３２人目の素数さん 2026/07/26(日) 11:48:01.23 ID:aJpHQceM
xy平面上の曲線
y^3=x^3+1
上に有理点は無数に存在するか。

フェルマー予想（未解決問題）を使う問題

(p/q)^3=(r/s)^3+1
(ps)^3=(rq)^3+(qs)^3

i^3=j^3+k^3
(i/k)^3=(j/k)^3+1

ふぅ

x^3+y^3=z^3
が整数解を持たないとか
300年くらい前には示されてるだろ

803 １３２人目の素数さん 2026/07/29(水) 17:39:35.86 ID:VjItaz9y
f(x)=x^4-x^3+x+1
とする。
方程式f(x)=nが有理数解のみを持つような整数nは存在するか。
存在するならすべて求め、存在しないならばそのことを証明せよ。


1組の解はすぐ見つかる
それ以外に存在しないことは
整係数n次方程式の有理数解に関する定理
https://www.todai-counseling.com/blog/post-729
を使えば高校数学の範囲で示せる

結論：
高校数学スレで

862 １３２人目の素数さん 2026/08/04(火) 12:47:27.93 ID:7J6q2Vpj
f_k(x)=sinx+sin2x+...+sinkx
とする。f_k(x)の最大値と最小値をkで表せ。

k=2の時点で二重根号が必要
一般項は普通の形では書けなさそう

>>223
フーリエ解析でよく出るヤツだよ

すまん
違うか

>>223
sinkθの級数公式はあると思われる。
ただ、出題爺さんの問題は私はノータッチでw

あいや
やはり
そうか

級数公式をググったら
sin(x)+...+sin(kx)
=sin((k/2)x)sin(((k+1)/2)x)/sin((1/2)x)
というのが見つかったけど
半角のsinを使う代わりに、次数が倍になるので
微分したり方程式を解いたりするのには向かなそう

大学入試レベルの演習問題だと
f(x)=7sin(x)+sin(2x)
のように、係数をいじって
解が単純になるようにしたものが多い

kが十分大きい時、比例定数rがあって
最大値≒rk, 最小値≒－rk
に近づく、みたいなことは言えそう

ここまでにしておきます

>>228
>sin(x)+...+sin(kx)
sin(x/2)かcos(x/2)を掛けて積和使うのかな

高校数学範囲だね

等比級数

920 １３２人目の素数さん 2026/08/13(木) 12:06:29.04 ID:RM/JJtYA
a、bをa<bなる実数とする。
以下の条件（ア）（イ）をともに満たすn次多項式f(x)が存在することを示せ。

（ア）f(x)は0でない整数p,qを用いてf(x)=x^n+px+qと表せる。
（イ）方程式f(x)=0は実数解を持ち、そのうちの1つをcとするとa<c<bを満たす。
----

実数や有理数の稠密性の証明と
同じ方法で証明可能

0<a<b とおくと、aとbがどんなに近くても
正の整数mを用いて 1/m<b-a とおける

f(x)=x^n+px+qを、aの整数部分を [a] として
f([a])>0, f([a-1])<0, f'([a])>m
となるように p, q を与え、qを1ずつ減らすと
方程式 f(x)=0 の実数解は 1/m より小さい刻みで
増加していき、a<c<b の区間に少なくとも1つ入る
（後略）

位数96の群は単純でないことを証明せよ。

位数の素因子が高々二つの有限群は可解?

位数の素因子が高々二つ（つまり、群の位数 \(\vert{}G\vert{}\) が \(p^{a}q^{b}\) の形、ここで \(p, q\) は異なる素数、\(a, b \ge 0\)）の有限群が可解群であるという定理は、数学においてバーンサイドの定理（Burnside's \(p^{a}q^{b}\)-theorem）として広く知られています。この定理の概要と背景、および証明の核心となる概念について解説します。

バーンサイドは出来れば使わない方向でお願いします。

>>234
>位数96の群は単純でないことを証明せよ。
96=2^5×3
だから2-群と3-群考えるのかな？
2-群が正規じゃなければ
正規化部分群は全体じゃないから自分自身なので
共役が3つあるのでその入れ替えでS3への準同形がある
よってその核が正規

7 １３２人目の素数さん (ﾜｯﾁｮｲ 3763-MUU/ [240a:61:5226:7b18:*]) 2026/08/19(水) 11:25:10.78 ID:fq85UUqn0
以下の方程式を満たす関数f(x)が存在するならば、すべて決定せよ。
f(a)=∫[0,∞] e^(-ax)f(x) dx
----

f(x)=0 は自明
f(x)=0でないとき
多項式展開して係数を比較すると
a=Γ(1)=Γ(2)=...
となり不適
（後略）

>>236
横から出てきてなんだ?

>>239
出題者です。

バーンサイドの定理は使っていいよ

>>240
>>237でよくない？

>>242
作用？での解答を予期していなかったですね。
貴方が見て良さそうなら結構です。
逆にちょっと勉強させてもらいますね。

>>241
>>235が言ってないよね？
バーンサイドってかなり大道具な気がするからなぁ…。
バーンサイドが証明できるんならどうぞって感じだけどw

>>243
つうかあれ以外に簡単な解答ってあんの？

>>245
ちょっと待って下さいね、所用で忙しいので(汗)
ちなみに、明日は時間が絶対にあるのでご安心を。

>>246
ちょっと待って？？
解答用意できてないのか

>>247
大丈夫、とにかくちょい待ってw

仕事第一、数学第二なのでね…。
アマチュアはw

とかレスする暇があるなら解答を書けるんじゃないの
自分で解いているなら

ちょい長解答になる。
ちなみに、作用のはきちんと解けてる？
説明に不足があったら、誰か指摘してあげて下さいね。
私は作用以外の解答を用意します。

>>251
・・・・どこまでも自分に甘い奴
で>>237わからんか？

2-群が正規で無い場合S3への写像が0じゃないのは自明
とかいうのを書かんとイカンか
シオモナ

んじゃ、作用以外の答え書かねぇw

自分で考えてなw

バーンサイドの定理を使うなとか言い出したあたり、大学ででた課題をここに丸投げしてたんだろうね

いや、趣味ですw

>>253
あなたは結構適当な書き方をするよね。
2-群とか結論をきっちり書かないとか。
（シロー部分群は長いから省略する気持ちは分からないでもないが、慣れていない人が見たら戸惑うだろう。）
最近、コルモゴロフの話があやふやでも出来たみたいに装っているような人がいたが、アレが貴方なら不誠実な態度であると思うよ。

>>258
どうでもいい感じw
コルモゴロフの01定理はちゃんと理解できたので嬉しい
それによって非可測集合を作れることも理解できた

>>258
気になるなら俺が書いたものを全部読み直してみたら？
何がどうなってああなるかの詳細書いてるし

ミジンコが口癖の人からの批判を意に返さないスタンスなら、私は別に構わないけど。

>>261
>ミジンコが口癖の人
て誰？

>>262
この板の住人は他人の書き込みをまともに見ていないんだね。
もう少し他人に興味を持った方が良いよ。
この板では、今日の友が明日の敵やからw

ちなみにミジンコの人とは、他人の批判をして自らはあまり数学の内容を語ろうとしない人のことだよ。

>>263
全然？どうでもよくね？

その人はミジンコが口癖で、ミジンコとは俺のこと。
どうも、ミジンコ院卒ですw

>>264
ははぁ
俺がレス乞食と読んだ人のことかな

>>265
正直、説明するのも面倒なので。
ただね、普通に見ていたら誰が誰なのかくらいなんとなく分かる。

レスコ〇キ＝ミジンコが口癖の人

>>268
>ただね、普通に見ていたら誰が誰なのかくらいなんとなく分かる。
全然？自分が分かってることが他人にも分かると思い込むのは気味の悪い癖

理解力が悪いんじゃないの？
と、強く言ってみるw

興味ある数学以外はどうでもよさげ

>>264
つまりゲス爺のことか

>>238
累乗関数の指数を複素数まで拡張すれば
ラプラス変換の不動点が存在する

以下の知恵袋サイトより
https://math.stackexchange.com/questions/3130893/function-equal-to-his-laplace-or-mellin-transform

f(t)=t^(-z) を変換すると F(s)=Γ(1-z)t^(-(1-z))
となり、係数を除いて互いに移り合うことから
両者の和として、変換後の係数が合うように
f(t)=j・t^(-z)+k・t^(-(1-z))
j=(Γ(z))^(1/2), k=(Γ(1-z))^(1/2), jk=1
と構成することができる

(j^2)(k^2)=Γ(z)Γ(1-z)=π/sin(πz)=1
からzが求まり
z=arcsin(π)/π=(1/2)±i(arccosh(π)/π)

x=e^(log(x)), e^(iθ)+e^(-iθ)=2cosθ
等を用いてf(t)を変形すると
f(t)=C・(cos(α・log(t)-β)/√(t))
α=arccosh(π)/π=0.5766...
β=arg(j')=arg(k)=0.4503...
と表せて
定数Cを実数にとれば実関数となる

0.4503... → 0.4053...
だった

t→+0 で正負の無限大に振動しながら発散したり
0からの定積分が求まらなかったりして
実際に役に立つ事は無さそう

242 １３２人目の素数さん (ﾜｯﾁｮｲ fefb-cp+l [2001:240:2466:1a86:*]) 2026/09/20(日) 11:38:42.22 ID:oiDe1Q0o0
一辺の長さがaである正三角形ABCを、辺ABの周りに一回転させてできる立体をV1、辺BCの周りに一回転させてできる立体をV2、辺CAの周りに一回転させてできる立体をV3とする。
V1とV2とV3の共通部分の体積をaで表せ。
--

三角形の内部の点Pの位置によって
3つの回転体のどれがもっとも高さが低いかを調べる
それぞれについて、回転体を底面に垂直な曲面で
切断したものの体積を求め足し合わせればよい

円錐を任意の平面で切断した立体の体積は
切り口が楕円、放物線、双曲線に場合分けできて
ひとつの統一された公式で表せる

2020年には和算の算額が作られ奉納されている
http://www.wasan.jp/aichi/atuta4.png

>>276
積分記号入ってるぞ和算じゃ無いだろ？

オーノー

>>276
解は
((√2)/48)(20-9ln3)a^3
=0.2979...・a^3

たしかに算額だけど和算ではないですね

305 １３２人目の素数さん (ﾜｯﾁｮｲ 8bd4-khsn [2001:240:247a:474e:*]) 2026/09/28(月) 18:17:06.03 ID:CXEvUH0s0
実数rと実数でない数αを用いて
r^α+α^r
の形で表される実数は存在するか。
存在するならばそのような(r,α)の組を1組求めよ。
--

存在するし、どんな実数に対しても
(r, α) を構成できる

例えば r が正の整数、式の値が 0 のとき
r^α+α^r=0
の解は
ランベルトのW関数（乗積対数関数）
y=W(x) ⇔ x=y・e^y
に複素数の主値以外を含めた多価関数
y=W_n(z)
を用い、k=ln((1/r)^(1/r)) として
α=(1/k)W_n(k・e^((-1+(2m+1)/r)πi))
となり、m, n を動かせば α は無数に存在する

右辺が0以外でも、数値計算で
任意の実数 r に対してα を導出できる

f(z) = (1/z)^2 + 2^(1/z) は z=0 を真性特異点にもつ。
よってピカールの定理により高々二つの例外の a を除いて方程式 f(z) = a は |z| < 1 に無限に解をもつ。しかし a が実数のとき f(z) の概形より f(z) = a は高々２つの実数解しかもてない。

なるほど
そういう流れがあるんですね
早とちりしました、ごめんなさい

え？べつに >>280とは関係ないけど？