shakayami のバックアップ(No.12)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- shakayami へ行く。
- 1 (2020-08-28 (金) 19:25:39)
- 2 (2020-08-28 (金) 20:38:46)
- 3 (2020-09-05 (土) 16:42:39)
- 4 (2020-09-14 (月) 11:04:46)
- 5 (2021-02-06 (土) 16:05:07)
- 6 (2021-02-12 (金) 18:05:46)
- 7 (2021-04-10 (土) 17:42:44)
- 8 (2021-05-13 (木) 17:25:12)
- 9 (2021-06-01 (火) 20:51:10)
- 10 (2021-12-01 (水) 05:33:04)
- 11 (2023-03-09 (木) 16:28:09)
- 12 (2023-03-31 (金) 23:45:34)
- 13 (2023-04-08 (土) 19:54:17)
- 14 (2023-08-21 (月) 21:39:06)
- 15 (2023-12-16 (土) 12:03:14)
自己紹介
数学系
br
twitter:@shakayami_
br
homepage:homepage of shakayami
br
blog1:shakayamiの日記
br
blog2:数学についていろいろ解説するブログ
自作問題
ビラ
- 2019年NFビラ問1
\( f(x)=e^x\sin{x} \)とする.このとき正の実数列\( \{a_n\} \)は\( f(x) \)の\( x=a \)での接線が原点を通るような\( a \)を小さい順に取っている.
(1) \( \lim_{n\to\infty}\tan{a_n} \)を求めよ
(2) (1)で求めた極限の値を\( \alpha \)としたとき、\( \lim_{n\to\infty}n(\tan{a_n}-\alpha) \)を求めよ. - 2020年新歓ビラ問1
\( p,q \)を素数としたとき, \( {}_{pq}C_p\equiv q\pmod{p} \)であることを示せ. - 2020年NFビラ問4
\( f(x),g(x) \)を0でない多項式とする.このとき,以下の条件を満たす多項式\( f_i(x),g_i(x)(i=0,1,2) \)が存在することを示せ.mathjax
\[ \dfrac{f(x)}{g(x)}=\dfrac{f_0(x^3)}{g_0(x^3)}+x\dfrac{f_1(x^3)}{g_1(x^3)}+x^2\dfrac{f_2(x^3)}{g_2(x^3)} \] - 2021新歓ビラ問6
以下の極限を求めよ(gcdは最大公約数)mathjax
\[ \lim_{n\to\infty}\dfrac{1}{n^3}\sum_{a=1}^{n}\sum_{b=1}^{n}\sum_{c=1}^{n}\mathrm{gcd}(a,b,c) \]
作サー模試
問題は載せられないので何年の何問目かだけ書きます
- 2019年NF模試理系第1回の問5
- 2019年NF模試文系第1回の問1
- 2020年NF模試文系第1回の問1(리との共作)
- 2022年NF模試理系第1回の問6
大数に載ったもの
- \( \alpha,\beta \)を正の実数の定数とする.\( \triangle ABC \)は\( \angle A=60^{\circ},BC=\sqrt{3} \)を満たしている.このとき,\( AB=x,AC=y \)と定めたときの\( \alpha x+\beta y \)の最大値を\( \alpha,\beta \)で表せ.
- \( y=\sin{x},y=0 \)で囲まれた領域を\( y=mx \)によって面積比が\( 1:n \)になるように分割する.ここで,\( y\lt mx \)の領域:\( y\gt mx \)の領域\( =n:1 \)となるようにする.
このとき,\( y=mx \)と\( y=\sin{x} \)の交点の\( x \)座標のうち,0でないものを\( \alpha_n\ \)とする.\( \lim_{n\to\infty} n(\alpha_n)^k \)が0以外の有限値に収束するときの\( k \)の値とその極限値を求めよ.ただし極限\( \lim_{x\to\infty}\dfrac{x-\sin{x}}{x^3}=\dfrac{1}{6} \)は証明せずに用いてもよい.
その他
br
問1
\( A \)を\( n \)次の実数係数の正定値な対称行列とする。このとき、
mathjax
は共に\( A \)の固有値であることを示せ
br
問2
\( k \)を正の整数とし、関数\( f[0,1]\to\mathbb{R} \)は\( C^k \)級である。
ここで、\( f(1)=f'(1)=\cdots=f^{(k-1)}(1)=0 \)が成立しているものとする。
このとき、以下の極限値を求めよ。
mathjax
br
問3
\( \mathbb{F}_7 \)を位数7の有限体とする。このとき、
\( \mathbb{F}_7 \)係数の3次の既約モニック多項式はいくつあるかを求めよ。
br
問4
\( \mathbb{F}_p \)を位数\( p \)の有限体とする。\( \mathbb{F}_p \)係数の\( n \)次正方行列を各成分の値を\( p \)面サイコロを振って出した値で決める。このときできた行列が正則である確率を\( a_n \)とおくと、\( \lim_{n\to\infty}a_n \)はある値\( \alpha \)に収束して、かつ\( \alpha \in (0,1) \)を満たすことを示せ。
br
問5
自然数\( n \)について、以下の等式を示せ。
mathjax
解答
問1
\( A \)の固有値を\( \lambda_1,\ldots,\lambda_n \)、対応する固有ベクトルを\( v_1,\ldots,v_n \)とする。ここで、\( A \)が正定値・対称行列より、\( 0<\lambda_1\leq \cdots\leq\lambda_n \)であり、\( \{v_1,\ldots,v_n\} \)は\( \mathbb{R}^n \)の正規直交基底としてもよい。このとき、\( x=x_1v_1+\cdots+x_nv_n \)(ただし\( x_1,\ldots,x_n\in\mathbb{R} \))とすると
mathjax
となっている。よって、
mathjax
となっている。
よって、\( (x_1,\ldots,x_n)=(1,0,\ldots,0) \)と\( (x_1,\ldots,x_n)=(0,\ldots,0,1) \)の場合を考えることでsupとinfが求まる。
問2
後で証明を書く予定です。
答えは確か\( (-1)^kf^{(k)}(1) \)になるはずです。
k回くらい部分積分をすればOKです。
問3
mathjax
は、\( x^7-x \)に\( \mathbb{F}_7[x] \)上の三次既約モニック多項式を全部掛けたものと等しくなる。
よって、両辺の次数を比較することで答えがわかる。
解を\( n \)とおくと、\( 343=7+3n \)より、\( n=112 \)となる。
問4
mathjax
より、
mathjax
となる。expの中身の級数が収束することはダランベールの判定法より保証される。
問5
mathjax
mathjax
mathjax
これを\( 0\leq k\leq n \)で総和を取ったものが\( 4^n \)に等しいことを示せればよい。
ここで、\( \frac{1}{\sqrt{1-4x}} \)のテイラー展開は
mathjax
となっている。ただし、\( |x|<1/4 \)である。これの二乗を畳み込みで計算すると、
mathjax
ここで、
mathjax
であるため、
mathjax
となり、係数を比較することで
mathjax
を得る。