[B] Symmetric Concavity

masorata 自動ジャッジ 難易度: 数学 > 大学数学
2024年2月16日21:00 正解数: 3 / 解答数: 3 (正答率: 100%) ギブアップ不可
微積分 不等式 MCA
この問題はコンテスト「MCA the 1st」の問題です。

解説

$\displaystyle f\left(\frac{1}{x}\right)=\frac{f(x)}{x} $ の両辺を $x$ で微分すると$\displaystyle -\frac{1}{x^2}f'\left(\frac{1}{x}\right)=\frac{xf'(x)-f(x)}{x^2} $ となる。
これに $x=1$ を代入して$-f'(1)=f'(1)-f(1)$、$f(1)=1$と併せて$\displaystyle f'(1)=\frac{1}{2}$を得る。

(1)$\displaystyle \frac{d^2}{dx^2} f(x)\leq 0$より、$f(x)$は上に凸である。よって凸不等式から
$$
f(x)\leq f(1)+f'(1)(x-1)=\frac{x+1}{2}
$$
であり、両辺を$x\in[1/2,2]$で積分することで
$$
\int_{\frac{1}{2}}^{2}f(x)dx \leq \int_{\frac{1}{2}}^{2} \frac{x+1}{2} dx =\frac{27}{16}
$$
が得られる。$\displaystyle f(x)=\frac{x+1}{2}$ は問題の条件を満たす関数であるから、$\displaystyle I [f]=\int_{\frac{1}{2}}^{2}f(x)dx$ の最大値は$\displaystyle \frac{27}{16}$ であり、$\fbox{アイ}=27,\fbox{ウエ}=16$ である。

(2)$\displaystyle \frac{d^2}{dx^2} \left( \frac{1}{f\left(\frac{1}{x}\right)} \right) \leq 0$より、$\displaystyle g(x):=\frac{1}{f\left(\frac{1}{x}\right)}$は上に凸である。よって凸不等式から
$$
g(x)\leq g(1)+g'(1)(x-1)=\frac{x+1}{2}
$$
であり、$f(x)$の式に戻すと
$$
f(x)\geq \frac{2x}{x+1}
$$
が得られる。この両辺を$x\in[1/2,2]$で積分することで
$$
\int_{\frac{1}{2}}^{2}f(x)dx \geq \int_{\frac{1}{2}}^{2} \frac{2x}{x+1} dx =3-2\log2
$$
が得られる。$\displaystyle f(x)=\frac{2x}{x+1}$ もまた問題の条件を満たす関数であるから、$\displaystyle I [f]=\int_{\frac{1}{2}}^{2}f(x)dx$ の最小値は $3-2\log2$ であり、$\fbox{オ}=3,\fbox{カ}=2,\fbox{キ}=2$ である。

補足

題意を満たす$f$としては、他に $f(x)=\sqrt{x}$ や $\displaystyle f(x)=\frac{x-1}{\log x}$(ただし$f(1)=1$とする)などがある。本問は、関数の作用素単調性が背景にある。
参考: 情報幾何学の基礎 数理情報科学シリーズ29 (藤原彰夫著,牧野書店)


おすすめ問題

この問題を解いた人はこんな問題も解いています


問題文

$N$ を正の整数、$c>0$ を定数とする。実数の組 $(t_1,t_2,\ldots,t_N)$ に対して関数

$$
f_n(t_1,t_2,\ldots,t_N)=t_n(1-t_n)\left(c(1+t_n)-\sum_{i=1}^{N}t_i\right) \ \ \ (n=1,2,\ldots ,N)
$$

を考える。また、$N\times N$ 行列 $J(t_1,t_2,\ldots,t_N)$ を

$$
J(t_1,t_2,\ldots,t_N) =
\left(
\begin{array}{ccc}
\frac{\partial f_1}{\partial t_1} & \cdots & \frac{\partial f_1}{\partial t_N} \\
\vdots & \ddots & \vdots \\
\frac{\partial f_N}{\partial t_1} & \cdots & \frac{\partial f_N}{\partial t_N}
\end{array}\right)
$$

と定義する。

$N=1000,\ \displaystyle{c=\frac{1000}{1.23}}$ として、以下の問いに答えよ。

(1)$1000$個の実数の組 $(x_1,x_2,\ldots,x_{1000})$ であって、$x_1\leq x_2 \leq \ldots \leq x_{1000} $ かつ

$$
f_n(x_1,x_2,\ldots,x_{1000})=0\ \ \ (n=1,2,\ldots ,1000)
$$

を満たすものはいくつあるか。

(2)(1)で考えた組のうち、$J(x_1,x_2,\ldots,x_{1000})$ の固有値の実部がすべて負であるようなものはいくつあるか。

解答形式

(1)の答えを半角数字で1行目に入力せよ。
(2)の答えを半角数字で2行目に入力せよ。

[C] Soft Spring

masorata 自動ジャッジ 難易度:
15月前

3

問題文

$a>0$ を定数とする。$t\geq0$ で定義された実数値関数 $x(t)$ について、以下の微分方程式の初期値問題を考える:

$$
\begin{cases}
\displaystyle x''(t)=-\frac{x(t)}{(1+\lbrace x(t) \rbrace^2)^2} \ \ \ (t\geq0)\\
\displaystyle x(0)=\frac{\sqrt2}{4}, \ x'(0)=a
\end{cases}
$$

(1)$\displaystyle \lim_{t \to +\infty}x(t)=+\infty$ となる $a$ の範囲は、$\displaystyle a \geq \frac {\fbox{ア}\sqrt{\fbox{イ}}}{\fbox{ウ}}$ である。
(2)$\displaystyle a = \frac {\fbox{ア}\sqrt{\fbox{イ}}}{\fbox{ウ}}$ のとき、$\displaystyle x(t)=\frac{3}{4}$ となる $t$ の値は $\displaystyle t = \frac {\fbox{エ}}{\fbox{オカ}}+\frac{\fbox{キ}}{\fbox{ク}}\log2$ である。ただし $\log$ は自然対数とする。

解答形式

ア〜クには、0から9までの数字が入る。同じ文字の空欄には同じ数字が入る。
(1)の答えとして、文字列「アイウ」を半角で1行目に入力せよ。
(2)の答えとして、文字列「エオカキク」を半角で2行目に入力せよ。
ただし、分数はそれ以上約分できない形で、根号の中身が最小になるように答えよ。

求値問題5

Kinmokusei 自動ジャッジ 難易度:
4年前

6

問題文

次の文章の空欄を埋めてください。

$n$個の実数$x_1,x_2,\cdots,x_n$が、$x_1+2x_2+3x_3+\cdots+nx_n=n$を満たすとき、$x_1^2+x_2^2+\cdots+x_n^2$の最小値を$m_n$とすると、
$$
m_n=\frac{\fbox アn}{(n+\fbox イ)(\fbox ウn+1)}
$$
であり、
$$
\lim_{n\rightarrow\infty}\left(m_1+\frac{m_2}{2}+\cdots+\frac{m_n}{n}\right)=\fbox{エオ}\left(-\frac{1}{\fbox カ}+\ln{\fbox キ}\right)
$$
である。

解答形式

$\fbox ア~\fbox キ$には$1$以上$9$以下の整数が入ります。文字列アイウエオカキを半角数字で解答してください。
例: $\fbox ア=1,\fbox イ=2,\fbox ウ=3,\fbox {エオ}=45,\fbox カ=6,\fbox キ=7$ $\rightarrow$ $1234567$ と解答

[A] Triple Matrix

masorata 自動ジャッジ 難易度:
15月前

16

問題文

正の整数 $a,b,c$ が

$$
\begin{pmatrix} 1 & 1 & 0\\ 0 & 1 & 0 \\ 0 & 0 & 1\end{pmatrix}^a
\begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 1 \\ 0 & 0 & 1\end{pmatrix}^b
\begin{pmatrix} 1 & 0 & 1\\ 0 & 1 & 0 \\ 0 & 0 & 1\end{pmatrix}^c
=\begin{pmatrix} 1 & 20 & 2024\\ 0 & 1 & 24 \\ 0 & 0 & 1\end{pmatrix}
$$

を満たすとき、$a+b+c$ の値を求めよ。

解答形式

半角数字で1行目に入力せよ。

求値問題7

Kinmokusei 自動ジャッジ 難易度:
4年前

6

問題文

(2021.3.13 15:56 追記) 解答に誤りがあったため修正しました。

次の不等式を満たす最大の自然数$n$を求めてください。
$$
2^{n+1}-10\sum_{k=1}^n \lfloor \frac{2^{k-1}}{5} \rfloor \le 20210220
$$ただし、$\lfloor x\rfloor$は$x$を超えない最大の整数を表します。

解答形式

半角数字で解答してください。

いつものking property(に似た)問題

nps 自動ジャッジ 難易度:
3月前

1

問題文

∮(-π/6→π/3) ((sinx)^3)/(sinx+cosx)dxの値を求めよ。

解答形式

解答は π/a-(√ b+c)/d-(1/e)log(√f+g)の形になります。
a,b,c,d,e,f,gに当てはまる自然数を順に半角で答えてください。
また、1つの値の間は1つずつ空白を開けるようにしてください。
(例)a=2, b=3, c=11,d=5,e=6,f=7,g=8の場合、
2 3 11 5 6 7 8

hinu積分02

hinu 採点者ジャッジ 難易度:
5年前

1

問題

(1) 定積分

$$
\int_0^1 \frac{x\log x}{(x+1)^2}dx
$$

の値を求めよ。

(2) 関数列 ${f_n(x)}$ を

$$
f_{n+1}(x)=(x^x)^{f_n(x)},\quad f_1(x)=x^x
$$

で定める。定積分

$$
\int_0^1(x^x)^{{(x^x)}^{(x^x)\cdots}}dx:=\int_0^1\lim_{n\to \infty} f_n(x)\ dx
$$

の値を求めよ。ただしテトレーション $x^{{x^{x\cdots}}}$ は底 $x$ が $e^{-e}<x<e^{1/e}$ のとき収束することは証明せずに用いて良い。

備考

この問題の正解判定は出題者により手動で行われるため、判定までに時間がかかることがある。

不等式

skimer 採点者ジャッジ 難易度:
22日前

1

問題文

$a>0,b>0$ のとき、
$a^{4}+4a^{3}b+2a^{2}b^{2}+4ab^{3}+b^{4}\geq0$ を示せ

解答形式

記述形式でお願いします
入力がめんどくさい方は、紙に書いて、twitterのDMに送ってください

No.07 三角形と必要条件

Prime-Quest 自動ジャッジ 難易度:
15月前

1

問題

整数 $x,y$ と数列 $z_k=|x-k|+|y-k|$ に対し,次の命題は $xy\leqq 7!$ の反例を何組もつか.

  • ある非負偶数 $k$ で $z_k\lt 2$ は,辺長 $x^3+8,\ y^3+8,\ 6xy+8$ の三角形が存在する必要条件である.

解答形式

半角数字で入力してください.

8月前

3

問題文

$f(x)=\frac{3-x}{ \sqrt{3(x+2)(-2x+1)}}$ $ (-2<x<0)$ とする
$f(x)$ が最小値を取るときの $x$ の値を求めよ

解答形式

解答は$-\frac{㋐}{㋑}$の形で表されるので、1行目に㋐を、2行目に㋑を半角数字で入力してください

第1問

sulippa 採点者ジャッジ 難易度:
20日前

1

設問1

数列 ${a_n}$ が $a_1 = 1, a_2 = 4$ および漸化式 $a_{n+2} - 4a_{n+1} + 4a_n = n \cdot 2^n$ ($n \ge 1$) を満たすとき、一般項 $a_n$ を求めよ。

解答形式

半角1スペースで答えのみ

第4問

sulippa 採点者ジャッジ 難易度:
20日前

1

設問4

数列 ${a_n}$ が $a_0=1, a_1=0, a_2=-1$ および漸化式
$$ a_{n+3} - 3a_{n+2} + 3a_{n+1} - a_n = 2^n \quad (n \ge 0) $$
を満たす。一般項 $a_n$ を求めよ。

解答形式

例)ひらがなで入力してください。