Olympiad problems

2006 Grigore Moisil Urziceni, 3

Tags: function , rolle , lagrange , real analysis , primitivability , primitive

Let $ f:\mathbb{R}\longrightarrow\mathbb{R} $ be a function that admits a primitive $ F. $ [b]a)[/b] Show that there exists a real number $ c $ such that $ f(c)-F(c)>1 $ if $ \lim_{x\to\infty } \frac{1+F(x)}{e^x} =-\infty . $ [b]b)[/b] Prove that there exists a real number $ c' $ such that $ f(c') -(F(c'))^2<1. $ [i]Cristinel Mortici[/i]

1969 Miklós Schweitzer, 9

Tags: real analysis

In $ n$-dimensional Euclidean space, the union of any set of closed balls (of positive radii) is measurable in the sense of Lebesgue. [i]A. Csaszar[/i]

2022 Germany Team Selection Test, 1

Tags: algebra , real analysis , inequalities

Let $n\geq 2$ be an integer and let $a_1, a_2, \ldots, a_n$ be positive real numbers with sum $1$. Prove that $$\sum_{k=1}^n \frac{a_k}{1-a_k}(a_1+a_2+\cdots+a_{k-1})^2 < \frac{1}{3}.$$

1997 VJIMC, Problem 2

Tags: real analysis , sequence , limit

Let $\alpha\in(0,1]$ be a given real number and let a real sequence $\{a_n\}^\infty_{n=1}$ satisfy the inequality $$a_{n+1}\le\alpha a_n+(1-\alpha)a_{n-1}\qquad\text{for }n=2,3,\ldots$$Prove that if $\{a_n\}$ is bounded, then it must be convergent.

2011 SEEMOUS, Problem 1

Tags: function , inequalities , real analysis , integral inequality

Let $f:[0,1]\rightarrow R$ be a continuous function and n be an integer number,n>0.Prove that $\int_0^1f(x)dx \le (n+1)*\int_0^1 x^n*f(x)dx $

2009 Romania National Olympiad, 4

Tags: function , calculus , derivative , real analysis

Let $f,g,h:\mathbb{R}\rightarrow \mathbb{R}$ such that $f$ is differentiable, $g$ and $h$ are monotonic, and $f'=f+g+h$. Prove that the set of the points of discontinuity of $g$ coincides with the respective set of $h$.

1997 IMC, 1

Tags: function , calculus , derivative , real analysis

Let $f\in C^3(\mathbb{R})$ nonnegative function with $f(0)=f'(0)=0, f''(0)>0$. Define $g(x)$ as follows: \[ \{ \begin{array}{ccc}g(x)= (\frac{\sqrt{f(x)}}{f'(x)})' &\text{for}& x\not=0 \\ g(x)=0 &\text{for}& x=0\end{array} \] (a) Show that $g$ is bounded in some neighbourhood of $0$. (b) Is the above true for $f\in C^2(\mathbb{R})$?

2004 VJIMC, Problem 3

Tags: geometry , real analysis , sequence

Denote by $B(c,r)$ the open disk of center $c$ and radius $r$ in the plane. Decide whether there exists a sequence $\{z_n\}^\infty_{n=1}$ of points in $\mathbb R^2$ such that the open disks $B(z_n,1/n)$ are pairwise disjoint and the sequence $\{z_n\}^\infty_{n=1}$ is convergent.

2022 Miklós Schweitzer, 5

Tags: real analysis , topology

Is it possible to select a non-degenerate segment from each line of the plane such that any two selected segments are disjoint?

1975 Miklós Schweitzer, 1

Tags: set theory , real analysis , advanced fields

Show that there exists a tournament $ (T,\rightarrow)$ of cardinality $ \aleph_1$ containing no transitive subtournament of size $ \aleph_1$. ( A structure $ (T,\rightarrow)$ is a $ \textit{tournament}$ if $ \rightarrow$ is a binary, irreflexive, asymmetric and trichotomic relation. The tournament $ (T,\rightarrow)$ is transitive if $ \rightarrow$ is transitive, that is, if it orders $ T$.) [i]A. Hajnal[/i]

2008 Grigore Moisil Intercounty, 1

Tags: real analysis , limit

Let be a sequence of positive real numbers $ \left( a_n\right)_{n\ge 1} $ defined by the recurrence relation $ a_{n+1}=\ln \left(1+a_n\right) . $ Show that: [b]1)[/b] $ \lim_{n\to\infty } a_n=0 $ [b]2)[/b] $ \lim_{n\to\infty } na_n=2 $ [b]3[/b] $ \lim_{n\to\infty } \frac{n(na_n-2)}{\ln n}=2/3 $ [i]Dorel Duca[/i] and [i]Dorian Popa[/i]

2015 VJIMC, 3

Tags: summation , convergence , infinite sum , real analysis

[b]Problem 3[/b] Determine the set of real values of $x$ for which the following series converges, and find its sum: $$\sum_{n=1}^{\infty} \left(\sum_{\substack{k_1, k_2,\ldots , k_n \geq 0\\ 1\cdot k_1 + 2\cdot k_2+\ldots +n\cdot k_n = n}} \frac{(k_1+\ldots+k_n)!}{k_1!\cdot \ldots \cdot k_n!} x^{k_1+\ldots +k_n} \right) \ . $$

2012 Graduate School Of Mathematical Sciences, The Master Course, Kyoto University, 2

Tags: calculus , integration , limit , logarithm , real analysis

For real numbers $b>a>0$, let $f : [0,\ \infty)\rightarrow \mathbb{R}$ be a continuous function. Prove that : (i) $\lim_{\epsilon\rightarrow +0} \int_{a\epsilon}^{b\epsilon} \frac{f(x)}{x}dx=f(0)\ln \frac{b}{a}.$ (ii) If $\int_1^{\infty} \frac{f(x)}{x}dx$ converges, then $\int_0^{\infty} \frac{f(bx)-f(ax)}{x}dx=f(0)\ln \frac{a}{b}.$

2012 Pre-Preparation Course Examination, 4

Tags: topology , real analysis

Suppose that $X$ and $Y$ are metric spaces and $f:X \longrightarrow Y$ is a continious function. Also $f_1: X\times \mathbb R \longrightarrow Y\times \mathbb R$ with equation $f_1(x,t)=(f(x),t)$ for all $x\in X$ and $t\in \mathbb R$ is a closed function. Prove that for every compact set $K\subseteq Y$, its pre-image $f^{pre}(K)$ is a compact set in $X$.

2004 Romania National Olympiad, 4

Tags: function , real analysis

(a) Build a function $f : \mathbb R \to \mathbb R_+$ with the property $\left( \mathcal P \right)$, i.e. all $x \in \mathbb Q$ are local, strict minimum points. (b) Build a function $f : \mathbb Q \to \mathbb R_+$ such that every point is a local, strict minimum point and such that $f$ is unbounded on $I \cap \mathbb Q$, where $I$ is a non-degenerate interval. (c) Let $f: \mathbb R \to \mathbb R_+$ be a function unbounded on every $I \cap \mathbb Q$, where $I$ is a non-degenerate interval. Prove that $f$ doesn't have the property $\left( \mathcal P \right)$.

2012 Gheorghe Vranceanu, 1

Tags: function , real analysis

Prove that the function $ f:\mathbb{R}\longrightarrow\mathbb{R} , f(x)=\text{arcsin} \frac{2x}{1+x^2} $ admits primitives and describe a primitive of it.

2017 Miklós Schweitzer, 7

Tags: measure , measure theory , interval , real analysis

Characterize all increasing sequences $(s_n)$ of positive reals for which there exists a set $A\subset \mathbb{R}$ with positive measure such that $\lambda(A\cap I)<\frac{s_n}{n}$ holds for every interval $I$ with length $1/n$, where $\lambda$ denotes the Lebesgue measure.

1971 Miklós Schweitzer, 5

Tags: real analysis

Let $ \lambda_1 \leq \lambda_2 \leq...$ be a positive sequence and let $ K$ be a constant such that \[ \sum_{k=1}^{n-1} \lambda^2_k < K \lambda^2_n \;(n=1,2,...).\] Prove that there exists a constant $ K'$ such that \[ \sum_{k=1}^{n-1} \lambda_k < K' \lambda_n \;(n=1,2,...).\] [i]L. Leindler[/i]

2014 IMC, 3

Tags: algebra , polynomial , real analysis

Let $n$ be a positive integer. Show that there are positive real numbers $a_0, a_1, \dots, a_n$ such that for each choice of signs the polynomial $$\pm a_nx^n\pm a_{n-1}x^{n-1} \pm \dots \pm a_1x \pm a_0$$ has $n$ distinct real roots. (Proposed by Stephan Neupert, TUM, München)

2004 Putnam, B5

Tags: limit , calculus , integration , real analysis , logarithm

Evaluate $\lim_{x\to 1^-}\prod_{n=0}^{\infty}\left(\frac{1+x^{n+1}}{1+x^n}\right)^{x^n}$.

2016 Korea USCM, 7

Tags: inequalities , holder inequality , integral , real analysis , function

$M$ is a postive real and $f:[0,\infty)\to[0,M]$ is a continuous function such that $$\int_0^\infty (1+x)f(x) dx<\infty$$ Then, prove the following inequality. $$\left(\int_0^\infty f(x) dx \right)^2 \leq 4M \int_0^\infty x f(x) dx$$ (@below, Thank you. I fixed.)

2003 IMC, 5

Tags: function , real analysis

Let $g:[0,1]\rightarrow \mathbb{R}$ be a continuous function and let $f_{n}:[0,1]\rightarrow \mathbb{R}$ be a sequence of functions defined by $f_{0}(x)=g(x)$ and $$f_{n+1}(x)=\frac{1}{x}\int_{0}^{x}f_{n}(t)dt.$$ Determine $\lim_{n\to \infty}f_{n}(x)$ for every $x\in (0,1]$.

1959 Miklós Schweitzer, 7

Tags: complex number , real analysis

[b]7.[/b] Let $(z_n)_{n=1}^{\infty}$ be a sequence of complex numbers tending to zero. Prove that there exists a sequence $(\epsilon_n)_{n=1}^{\infty}$ (where $\epsilon_n = +1$ or $-1$) such that the series $\sum_{n=1}^{\infty} \epsilon_n z_n$ is convergente. [b](F. 9)[/b]

2010 Paenza, 4

Tags: function , limit , search , topology , real analysis

Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function with the following property: for all $\alpha \in \mathbb{R}_{>0}$, the sequence $(a_n)_{n \in \mathbb{N}}$ defined as $a_n = f(n\alpha)$ satisfies $\lim_{n \to \infty} a_n = 0$. Is it necessarily true that $\lim_{x \to +\infty} f(x) = 0$?

2010 Gheorghe Vranceanu, 2

Tags: function , real analysis , integral , calculus , integration , limit

Let be a natural number $ n, $ a nonzero number $ \alpha, \quad n $ numbers $ a_1,a_2,\ldots ,a_n $ and $ n+1 $ functions $ f_0,f_1,f_2,\ldots ,f_n $ such that $ f_0=\alpha $ and the rest are defined recursively as $$ f_k (x)=a_k+\int_0^x f_{k-1} (x)dx . $$ Prove that if all these functions are everywhere nonnegative, then the sum of all these functions is everywhere nonnegative.