探検


大学数学の質問スレ Part 4

1132人目の素数さん (ワッチョイ 6b38-OlCz [118.6.115.74])
垢版 |
2026/08/15(土) 13:21:32.72ID:Q+BF/XYQ0
!extend:on:vvvvvv:1000:512

大学数学の質問スレです
大学数学についてわからないところを助け合いましょう

※前スレ
大学数学の質問スレ Part3
https://rio2016.5ch.io/test/read.cgi/math/1778757466/
VIPQ2_EXTDAT: default:vvvvvv:1000:512:: EXT was configured
2026/08/15(土) 13:24:16.14ID:7gi87Vw8r
ワッショイ⤴
2026/08/15(土) 21:25:34.51ID:yVZVNd9g0
( ・∀・) < いちおつ
2026/08/18(火) 13:48:59.36ID:jRC9gZLi0
関数解析は数学の他の分野とどう関係するのでしょうか?
5132人目の素数さん (ササクッテロレ Sp0b-uYh0 [126.245.139.219])
垢版 |
2026/08/18(火) 21:19:09.82ID:IywKPnq1p
y=1/xが連続関数ってホンマなの?
6132人目の素数さん (ワッチョイ 7f32-0KmY [2001:3b0:30d:b7:*])
垢版 |
2026/08/18(火) 22:50:36.09ID:yfOjqgEX0
表現論
7132人目の素数さん (ワッチョイ 3763-MUU/ [240a:61:5226:7b18:*])
垢版 |
2026/08/19(水) 11:25:10.78ID:fq85UUqn0
以下の方程式を満たす関数f(x)が存在するならば、すべて決定せよ。
f(a)=∫[0,∞] e^(-ax)f(x) dx
2026/08/19(水) 11:48:37.19ID:CJfo+zv1x
出題スレへ
9132人目の素数さん (ワッチョイ 37f0-MUU/ [240a:61:5226:7b18:*])
垢版 |
2026/08/19(水) 18:09:35.15ID:fq85UUqn0
>>7
ラプラス変換の本質に迫る質問です
10132人目の素数さん (ワッチョイ 3764-MUU/ [240a:61:5226:7b18:*])
垢版 |
2026/08/21(金) 12:15:34.04ID:L4gOGcLL0
以下の方程式を満たす関数f(x)が存在するならば、すべて決定せよ。
f'(a)=∫[0,∞] e^(-ax)f(x) dx
2026/08/21(金) 15:19:06.77ID:dJYjhsuR0
Google検索に
ラプラス変換が自身に等しい関数
と入力すれば、答えだけは出て来る
証明の方法は知らん
12132人目の素数さん (ワッチョイ 3764-MUU/ [240a:61:5226:7b18:*])
垢版 |
2026/08/21(金) 15:23:11.42ID:L4gOGcLL0
たまには軽めの質問をします
頭をほぐしてください

実数s,tが
s^2+t^2=1
を満たすとき、(s+t)^2-st+s+tの取りうる値の範囲を求めよ。
2026/08/21(金) 15:34:10.84ID:OoQxTSDIr
軽めの質問なら高校スレで
2026/08/21(金) 15:36:31.05ID:+PC8wKOt0
せよって言い方が気に食わないな
質問だと言い張って出題してるところの開き直り感が現れてる
2026/08/21(金) 15:41:24.89ID:5XPKKzNS0
批判する人は自分の意図が理解できない人だから無視して続けよう
とかって思ってるのかな
でも意図が伝わってないなら明確に言うのが建設的な判断だと思うけど
2026/08/21(金) 15:42:47.10ID:OoQxTSDIr
まず自覚はあるからw
17132人目の素数さん (ワッチョイ 3764-MUU/ [240a:61:5226:7b18:*])
垢版 |
2026/08/21(金) 16:53:36.86ID:L4gOGcLL0
【改良質問】
kを実数の定数とする。
実数s,tが
s^2+t^2=1
を満たすとき、(s+t)^2-kst+s+tの取りうる値の範囲を求めてください。
18132人目の素数さん (ワッチョイ 3764-MUU/ [240a:61:5226:7b18:*])
垢版 |
2026/08/21(金) 16:56:17.88ID:L4gOGcLL0
>>17
東京大学(文系)で出題されることを念頭に置いて作問いたしました。
2026/08/21(金) 16:57:58.77ID:OoQxTSDIr
作問w
2026/08/21(金) 19:51:35.65ID:5XPKKzNS0
>>18
出題されることを念頭に、というのはここのスレを東大の人が見て採用すると思っているということ?
2026/08/21(金) 19:54:30.42ID:YavRvZu/p
実数条件でなんとかする問題でしょ、おそらく。
個人的に実数kは無い方が良かったw
2026/08/21(金) 20:03:11.94ID:5XPKKzNS0
>>4
おもに偏微分方程式論に使う。微分を関数空間上の作用素と見なして関数解析の道具を使っていく。
あと量子力学。数学的に見るとヒルベルト空間上の自己共役作用素論といえる。
数値解析でも、近似解を関数空間上の有限次元部分空間から探す理論と考えて関数解析的に見る。
そのあたりを起点にして、数理物理とか幾何学と関係が深い。
23132人目の素数さん (ワッチョイ 1fd8-BU8B [2405:1203:18a:e600:*])
垢版 |
2026/08/21(金) 23:40:36.22ID:5XPKKzNS0
そういった応用のために、普通の関数解析で学ぶよりもっと高級な関数解析も色々必要になる
たとえば補間空間論とか
2026/08/22(土) 15:38:36.52ID:1UzhgKTr0
>>18
誰がお前の作った問題を採用するんだよw
あれは教員が問題作ってんだよ
2026/08/22(土) 15:40:13.18ID:EBBeCFCsr
東大模試のようなナニカ
26132人目の素数さん (ワッチョイ 7f9a-MUU/ [2001:240:24a5:57ff:*])
垢版 |
2026/08/22(土) 19:22:28.10ID:ljw05v780
kを実数の定数とする。
実数s,tが
s^2+t^2=1
を満たすとき、(s+t)^2-kst+s+tの取りうる値の範囲を求めてください。

kがあることで東京大学(文系)入試数学として適度な難易度になっております
模擬試験として活用可能です
2026/08/23(日) 00:05:08.81ID:Cce4idSe0
オペレーションズリサーチ、最適化理論、数理計画
これらはどう違うの?
重複しているような、それでいて独立部分もあるような感じだけど
あと機械学習と多変量解析の関係も。
2026/08/23(日) 02:35:27.24ID:Cce4idSe0
>>26
なんで活用可能なの?
何か問題集とかから引っ張ってきてる?
2026/08/23(日) 02:38:13.95ID:Cce4idSe0
そういえば、ラプラス変換よりフーリエ変換の方が数学とか自然界によく出てくるのはなぜなんだろう
2026/08/23(日) 02:40:29.52ID:Cce4idSe0
対称性が低いからかな
31132人目の素数さん (ワッチョイ d554-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/23(日) 11:57:48.18ID:bU+El4O30
nは正整数の定数とする。
0<c<2なる実数cに対して、xの方程式
x^n+x=c
を考える。

(1)この方程式は0<x<1を満たす解がただ1つ存在することを示せ。

(2)この方程式の各実数解α_k(k=1,2,...)に対して、
lim[n→∞] α_k を求めよ。
32132人目の素数さん (ワッチョイ d554-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/23(日) 12:04:56.39ID:bU+El4O30
AB=1,AC=1,BC=aである△ABCの内部に点Pをとり、直線BCに関してPと対称な点をQとする。このとき、
AP+BP+CP+1=AQ+BQ+CQ
となった。
aの値を求めよ。
33132人目の素数さん (ワッチョイ d554-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/23(日) 15:00:22.05ID:bU+El4O30
4つの相異なる素数が等差数列をなすならば、その公差は6の倍数であることを示せ。
34132人目の素数さん (ワッチョイ d554-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/23(日) 17:35:34.33ID:bU+El4O30
AB=1,AC=1,BC=aである△ABCの垂心をP、直線BCに関してPと対称な点をQとする。このとき、
AP+BP+CP+1=AQ+BQ+CQ
となった。
aの値を求めよ。
35132人目の素数さん (ワッチョイ d58c-BxWq [240d:1a:7fe:ef00:*])
垢版 |
2026/08/23(日) 17:42:03.60ID:PUErfRRC0
ベクトル解析の rot(curl) の解釈をストークスの定理を使って説明している本がありましたが、しっくりきませんでした。
しっくりくる説明をしてください。
36132人目の素数さん (ワッチョイ d554-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/23(日) 18:01:11.22ID:bU+El4O30
>>35
AIに聞けよバカ低脳
2026/08/23(日) 18:13:00.31ID:MXiIX02ur
このスレの意味
2026/08/23(日) 18:16:13.23ID:Cce4idSe0
>>35
一般的に、そういうときは具体例を作ってみるといいよ
たとえば今回だと、渦巻き状のベクトル場を適当に作ってrotを具体計算してみるとか
2026/08/23(日) 18:18:39.71ID:Cce4idSe0
>>35
一応、無限小についてもっと納得いく説明はあとあとリー群使ってできる
2026/08/23(日) 18:19:39.09ID:Cce4idSe0
>>36
何がきっかけでそんな必死になっちゃったの
2026/08/23(日) 18:20:17.68ID:MXiIX02ur
何と戦っているのやらw
2026/08/23(日) 18:32:14.75ID:Cce4idSe0
補足しておくと、具体例だからって完全に具体的である必要はなくて
むしろ必要なら抽象度を多少持たせた方が見通しが良くなる
高校の範囲でも、解と係数の関係はx^2+bx+c、(x-A)(x-B)とかって係数を変数のまま考えた方が簡単だ
今回のことにしても、渦状のベクトル場を完全に一つに絞ることはなく、回転の強さを表すパラメータを残しておくと見通しがいいかもしれない
そういうことを考えながら抽象度の梯子を登ったり降りたりして納得していくのは、数学科でよく推奨される戦略
2026/08/23(日) 18:35:44.33ID:MXiIX02ur
ローテーション
44132人目の素数さん (ワッチョイ c350-tN2B [2405:1203:18a:e600:*])
垢版 |
2026/08/23(日) 18:47:20.07ID:Cce4idSe0
元も子もないことを言うと、rotが回転を表すって話は数学的にはあまり大きいものではない
重要でないわけではないけど、別にそこまで存在感の濃い話ではない
どちらかというと物理、とくに流体力学に必要な話だと思う
45132人目の素数さん (ワッチョイ d554-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/23(日) 20:52:25.24ID:bU+El4O30
4つの相異なる素数が等差数列をなすならば、その公差は6の倍数であることを示せ。
46132人目の素数さん (ワッチョイ 15a8-BxWq [218.46.76.184])
垢版 |
2026/08/23(日) 22:14:01.68ID:fPDCKXrt0
E/Fが代数拡大のとき、Eの代数閉包はFの代数閉包でもあるというのはあrきらかですか。
47132人目の素数さん (ワッチョイ d505-CtXa [240a:61:42f3:2270:*])
垢版 |
2026/08/24(月) 00:55:21.22ID:rfJIYy1t0
明らかかどうかを聞く時点で(あなたにとっては)明らかではないです

Eの代数閉包をΩとするとΩ/E,E/Fは代数拡大なのでΩ/Fも代数拡大
Ωは代数閉体なのでΩはFの代数閉包
48132人目の素数さん (ワッチョイ d539-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/24(月) 13:48:44.58ID:V7PHUysd0
AB=1,AC=1,BC=aである△ABCの垂心をP、直線BCに関してPと対称な点をQとする。このとき、
AP+BP+CP+1=AQ+BQ+CQ
となった。
aの値を求めよ。
49132人目の素数さん (ワッチョイ d539-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/24(月) 19:48:02.28ID:V7PHUysd0
>>48
この問題が名作である理由を説明します
本来なら解けない四次方程式を解かねばならぬところ、設定の妙で解ける方程式が出てくるのです
50132人目の素数さん (ワッチョイ d539-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/24(月) 21:16:09.50ID:V7PHUysd0
m,nは正の整数の定数とする。
xが正の実数を変化するとき、
x^m+(1/x^n)
の最小値を相加平均・相乗平均の不等式を用いて求めよ。
2026/08/24(月) 21:29:13.29ID:EX82uwjJa
ネクラソフ分配関数を固定点局所化でぶん回して
特殊関数の一般論を学部の物理数学でのイントロダクションする。
52132人目の素数さん (ワッチョイ d539-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/25(火) 13:28:09.20ID:N1CjuNqO0
>>50
微分しなければ解けないと思ってしまう人は、不等式の妙味を解っておりません
53132人目の素数さん (ワッチョイ c3c2-+sdm [2405:1203:18a:e600:*])
垢版 |
2026/08/25(火) 16:12:34.95ID:3N/Pc4C90
尊厳だけはどんな支援制度も保証できない
惨めさに気づかないよう洗脳してあげることはできるが
54132人目の素数さん (ワッチョイ 0b73-Yt3F [2001:240:247f:da3f:*])
垢版 |
2026/08/25(火) 17:57:54.00ID:pbJ1d9KU0
f(a)=∫[0,∞] e^(-(a^2)x)*sin(x) dx
とする。
f(a)を求めよ。
55132人目の素数さん (ワッチョイ 15a8-BxWq [218.46.76.184])
垢版 |
2026/08/25(火) 18:29:33.06ID:EH6jJXMu0
数学の一分野を表す「代数」と、
「k代数」とか1つのオブジェの名称にも同じ「代数」という言葉使うのって
なんかセンス悪くないですか。みなしゃん違和感ないんでしょうか。
2026/08/25(火) 21:01:49.83ID:3N/Pc4C90
>>55
名前から推測しないといけないほど難しい概念じゃないから何とも感じない
2026/08/25(火) 21:36:32.86ID:QyWMPd2x0
全く別の分野でも
邦訳で似た言葉になったりする

N進法(base N)と
p進数(p-adic)とか
2026/08/25(火) 22:36:17.50ID:3N/Pc4C90
そういうのに出会うたびに不安になるけど、使ってるうちに覚えるから大丈夫
59132人目の素数さん (ワッチョイ d5bc-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/26(水) 10:05:14.90ID:hA/+uwDu0
y=x^4-x
の最小値を相加平均・相乗平均の不等式を用いて求めることはできるか。
できるならばそのようにして求め、できないならばそのことを証明せよ。
60132人目の素数さん (ワッチョイ d5bc-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/26(水) 12:21:43.03ID:hA/+uwDu0
>>59
相加平均・相乗平均の限界を示唆する質問です
これに答えられる方は案外少ないだろうとよそうします
2026/08/26(水) 12:29:21.10ID:FlQk8ksUr
誰も答えないだろうと予想します。
62132人目の素数さん (ワッチョイ c37e-tN2B [2405:1203:18a:e600:*])
垢版 |
2026/08/26(水) 18:50:13.19ID:fU8p9+0T0
スキームの定義のうち層の部分は何を表しているのか教えて
63132人目の素数さん (ワッチョイ d5bc-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/26(水) 18:55:46.00ID:hA/+uwDu0
y=x^4-x
の最小値を、相加平均・相乗平均の不等式を用いて求めたい。

(1)yはx>0で最小値をとることを示せ。

(2)相加平均・相乗平均の不等式を用いて、yの最小値を求めよ。
64132人目の素数さん (ワッチョイ a3a8-BxWq [211.3.148.204])
垢版 |
2026/08/26(水) 22:43:16.84ID:VOcP2rbe0
数列{a_n},{b_n}に対し a_n-b_n→0(n→∞)のとき{a_n}〜{b_n}と定めることにしたら
〜は同値関係ですか?
65132人目の素数さん (ワッチョイ d5bc-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/27(木) 11:49:46.38ID:ufM7PCq50
>>63
相加平均・相乗平均の不等式が微分の代わりになるか?という問いです
66132人目の素数さん (ワッチョイ d5bc-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/27(木) 13:28:09.48ID:ufM7PCq50
本質的には
微分
と
相加平均・相乗平均の不等式
は
同じであるという認識に立っております
2026/08/27(木) 13:30:33.36ID:Pegvtsqj0
さすがにそんな訳はないと思う。
68132人目の素数さん (ワッチョイ d5bc-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/27(木) 14:24:53.00ID:ufM7PCq50
f(x)=x+(1/x)+(1/(x+1))
の最小値を求める問題は、相加平均・相乗平均の不等式では解けないと、chatgptは言っています。
皆様方エキスパートのご意見はいかがですか?
69132人目の素数さん (ワッチョイ d55c-Yt3F [240a:61:5226:7b18:*])
垢版 |
2026/08/27(木) 18:15:42.72ID:ufM7PCq50
世の中の「最大・最小問題」を「相加平均・相乗平均の不等式で解決できる問題」と「解決できない問題」に分類します

これは数学の大仕事です
2026/08/27(木) 19:09:20.35ID:/0tdlGdt0
ルジャンドル型の狭義凸関数の勾配を用いて平均操作E[]の共役(のようなもの)をとると、相加平均、相乗平均、調和平均をすべて包括したものになる
2026/08/27(木) 19:10:42.34ID:/0tdlGdt0
それらの平均の重み付きのものとかも含めた一般論
2026/08/27(木) 19:11:42.67ID:/0tdlGdt0
情報幾何学などで使える
73132人目の素数さん (ワッチョイ c30d-tN2B [2405:1203:18a:e600:*])
垢版 |
2026/08/27(木) 19:13:53.79ID:/0tdlGdt0
名前は一応weighted multivariate quasi-arithmetic meanとかとなっている
74132人目の素数さん (ワッチョイ c3aa-+sdm [2405:1203:18a:e600:*])
垢版 |
2026/08/27(木) 19:26:12.67ID:/0tdlGdt0
もう少しだけ簡単な概念としては一般化f平均とかヘルダー平均というものがある
一般性は下がるが簡単
75132人目の素数さん (ワッチョイ c3aa-+sdm [2405:1203:18a:e600:*])
垢版 |
2026/08/27(木) 19:27:18.84ID:/0tdlGdt0
チェザロ平均の極限とか不等式とかの話がどのレベルで成り立つか考えてみると面白いかもしれない
2026/08/27(木) 22:20:10.53ID:Dvta3H3Ha
>>66
中間値の定理の系になりそうな発想だとは思う。
2026/08/28(金) 17:07:30.68ID:hmxAyXai0
>>61
wwww
2026/08/28(金) 17:15:24.23ID:UC8/ARbR0
大予言w
79132人目の素数さん (ワッチョイ 0d8c-BxWq [124.35.165.225])
垢版 |
2026/08/29(土) 09:23:14.85ID:5KjULP9E0
なんなりと質問せよ
2026/08/30(日) 11:31:57.73ID:KzSE/W2Gr
>>79
なんで変な質問が減らないの?
81132人目の素数さん (ワッチョイ 8398-4yop [240a:61:5226:7b18:*])
垢版 |
2026/08/31(月) 16:33:52.54ID:E3r8czQE0
私の質問がなければこのスレはこの程度の勢いなのですね
情けないです
2026/08/31(月) 16:41:59.48ID:3dRQwzyWr
別に高校数学のスレを伸ばせば良いじゃないw
83132人目の素数さん (ワッチョイ 8305-4yop [240a:61:5226:7b18:*])
垢版 |
2026/09/01(火) 01:34:34.48ID:Cj6nKS8i0
x>0とする。
x^xの最小値を、相加平均・相乗平均の不等式を用い、微分法を用いず、求めることは可能か。
レスを投稿する


ニューススポーツなんでも実況