함수 $f:\mathbb R\to\mathbb R$는 두 번 미분가능하고 $f(0)=0$을 만족한다. 다음 부등식을 증명하여라. \[ \int_0^1 \lvert f(x)f'(x) \rvert\,dx\le \frac12 \int_0^1 \lvert f'(x)\rvert^2\,dx.\]
태그 보관물: 미분가능
1997 제16회 전국 대학생 수학경시대회 오후 4번문제
세 번 이상 미분가능한 함수 $f(x,y)$가 좌표평면의 모든 점$(x,y)$에서 다음 조건
(i) $\displaystyle \frac{\partial^2}{\partial x^2}f(x,y)\gt 0$
(ii) $\displaystyle \frac{\partial^2}{\partial x^2}f(x,y)\cdot\frac{\partial^2}{\partial y^2}f(x,y)-\left\{ \frac{\partial^2}{\partial x\partial y}f(x,y)\right\}^2 \gt 0$을 만족할 때, 사상 \[F(x,y)=(x+\frac{\partial}{\partial x}f(x,y),y+\frac{\partial}{\partial y}f(x,y))\]는 두 점 사이의 거리를 작게 하지 않음을 증명하여라. 즉, 두 점 $F(x_1,y_1)$과 $F(x_2,y_2)$와의 거리가 $(x_1,y_1)$과 $(x_2,y_2)$의 거리보다 작지 않음을 보여라.
(1997년 10월 12일, 출처)
2013 국제대학생수학경시대회(IMC) 첫째날 2번문제
두 번 미분가능한 함수 $f:\mathbb R\to\mathbb R$이 있다. $f(0)=0$이라고 할때 \[ f”(\xi)=f(\xi)(1+2\tan^2\xi)\]이 되는 $\xi\in(-\pi/2,\pi/2)$이 존재함을 보여라.
(2013년 8월 8일, 불가리아, 5문제, 출처)