DVI exam

DVI is an exam in mathematics at the Moscow State University named after M.V. Lomonosov. The first four problems have a standard level. Problem 5 is advanced level of geometry. Problem 6 is an advanced level equation or inequality. Problem 7 is advanced level of stereometry.

Below are the most difficult problems of this exam in recent years. The headings indicate the year when the problem was used, the variant option of the exam, and the number of the problem.

2014 1 Problem 6

Find all pares of real numbers $(x,y)$ satisfying the system of equations \[\left\{\begin{array}{l} x^{\frac{3}{2}} + y = 16 ,\\x + y^{\frac{2}{3}} = 8.\end{array}\right.\] Solution

Denote $t=  y^{\frac{2}{3}} \implies y = t^{\frac{3}{2}}.$ \[\left\{\begin{array}{l} x^{\frac{3}{2}} + t^{\frac{3}{2}} = 16 ,\\x + t = 8.\end{array}\right.\] Denote $u = \frac {x}{4}, v = \frac {t}{4}.$ \[\left\{\begin{array}{l} u^{\frac{3}{2}} + v^{\frac{3}{2}} = 2 ,\\u + v = 2.\end{array}\right.\] $u = v = 1, x = 4, y = 8$ is the solution. Let \[F(u) = u^{\frac{3}{2}} + (2 - u)^{\frac{3}{2}} \implies F'(u) = 1.5(\sqrt{u} - \sqrt{2 - u}).\] If $u > 1$ then $F'(u) > 0,$ if $u < 1$ then $F'(u) < 0,$ therefore $u = 1$ is the single root.

2014 1 Problem 8

Let $f(x,y) = y + \sqrt{6 - 6x^2 - 14 y^2 - 18 xy}, g(x,y) = y - \sqrt{6 - 6x^2 - 14 y^2 - 18 xy}.$

Find $max_x max_y (f(x,y), g(x,y))$ and $min_x min_y (f(x,y), g(x,y)).$

Solution \[6 - 6x^2 - 14 y^2 - 18 xy = 6 - 6 \left(x^2 + 3xy + \frac {9}{4} y^2\right) + \frac {6 \cdot 9}{4} y^2 - 14 y^2  = 6 - 6 \cdot \left(x + \frac {3y}{2} \right)^2 - \frac {1}{2} y^2,\] \[6 - 6 \cdot (x + \frac {3y}{2})^2 - \frac {1}{2} y^2 \le 6 - \frac {1}{2} y^2.\] $f(x,y) \ge g(x,y) \implies max_x max_y (f(x,y), g(x,y)) = max_x max_y f(x,y) = max_y (y + \sqrt{6 - \frac {1}{2} y^2}),$ where $y > 0.$ \[\frac {u+v+w}{3} \le \sqrt{\frac {u^2 + u^2 + w^2}{3}} \implies\] \[y + \sqrt{6 - \frac {1}{2} y^2} = \frac {y}{2}+\frac {y}{2}+\sqrt{6 - \frac {1}{2} y^2} \le \sqrt {3} \cdot \sqrt{6 - \frac {1}{2} y^2 + \frac {1}{4} y^2 + \frac {1}{4} y^2} = \sqrt {3 \cdot 6} = 3 \sqrt{2}.\] \[f(-x,-y) = -g(x,y) \implies min_x min_y (f(x,y), g(x,y)) = min_x min_y (g(x,y)) = - max_x max_y f(x,y) =  - 3 \sqrt{2}.\]

Answer:$3 \sqrt{2}, - 3 \sqrt {2}.$

2016 1 Problem 8

Find the smallest value of the expression \[f=\sqrt{13 + \log^2_a \cos \frac {x}{a} + \log_a \cos^4 \frac {x}{a}}+\sqrt{97 + \log^2_a \sin \frac {x}{a} - \log_a \sin^8 \frac {x}{a}} + \sqrt{20 + \log^2_a \tan \frac {x}{a} + \log_a \tan^4 \frac {x}{a}}.\] Solution \[13 + \log^2_a \cos \frac {x}{a} + \log_a \cos^4 \frac {x}{a} = 9 + \log^2_a \cos \frac {x}{a} + 4\log_a \cos \frac {x}{a} + 4 = 3^2 + (\log_a \cos \frac {x}{a} + 2)^2,\] \[97 + \log^2_a \sin \frac {x}{a} - \log_a \sin^8 \frac {x}{a} = 9^2 + (4 - \log_a \sin \frac {x}{a} )^2,\] \[20 + \log^2_a \tan \frac {x}{a} + \log_a \tan^4 \frac {x}{a} = 16 + (\log_a \tan \frac {x}{a} + 2)^2 = 4^2 + (\log_a \sin \frac {x}{a} - \log_a \cos \frac {x}{a}+ 2)^2.\] Denote $\vec {AB} = (3, \log_a \cos \frac {x}{a} + 2), \vec {BC} = (9, 4 - \log_a \sin \frac {x}{a}), \vec {CD} = (4, \log_a \sin \frac {x}{a} - \log_a \cos \frac {x}{a}+ 2).$ \[f = |\vec {AB}| +  |\vec {BC}| +  |\vec {CD}|.\] \[\vec {AB} +  \vec {BC}  + \vec {CD} = (3 +9 + 4, \log_a \cos \frac {x}{a} + 2 +4 - \log_a \sin \frac {x}{a} + \log_a \sin \frac {x}{a} - \log_a \cos \frac {x}{a}+ 2) = (16,8).\] The shortest length of a broken line $ABCD$ with fixed ends is equal to the distance between points $A$ and $D,$ which is $|AD|$ and is achieved if points $A,B,C,$ and $D$ are collinear. \[|\vec AD| = \sqrt {16^2 + 8^2} = 8 \sqrt{5}, \vec {AB} = (3, 1.5),\vec {BC} = (9, 4.5), \vec {CD} (4,2).\] \[\log_a \tan \frac {x}{a} + 2 = 2 \implies \log_a \tan \frac {x}{a} = 0  \implies \tan \frac {x}{a} = 1.\] \[\sin \frac {x}{a} >0 \implies \sin \frac {x}{a} = \frac {1}{\sqrt{2}}, \cos \frac {x}{a} = \frac {1}{\sqrt{2}}.\] \[4 - \log_a \sin \frac {x}{a} = 4.5 \implies \log_a  \frac {1}{\sqrt{2}} = - \frac{1}{2} \implies a = 2.\] \[\sin \frac {x}{2} =  \cos \frac {x}{2} = \frac {1}{\sqrt{2}} \implies \frac {x}{2} = \frac {\pi}{4} + 2 k \pi \implies x = \frac {\pi}{2} + 4k \pi.\] Answer:$min(f) =  8 \sqrt{5}, a = 2, x = \frac {\pi}{2} + 4k \pi.$

2020 201 problem 6

2020 201 6.png

Let a triangular prism $ABCA'B'C'$ with a base $ABC$ be given, $D \in AB', E \in BC', F \in CA'.$ Find the ratio in which the plane $DEF$ divides the segment $AA',$ if $AD : DB' = 1 : 1,$ \[BE : EC' = 1 : 2, CF : FA' = 1 : 3.\]

Solution

Let $E',D',F'$ be the parallel projections of $D,E,F (DD' || AA' || EE' || FF')$ on the plane $ABC, H' = AE' \cap D'F', HH' || AA'.$ $\frac {BD'}{AD'} = \frac {BD}{AD} = 1, \frac {BE'}{CE'} = \frac {BE}{C'E} = \frac {1}{2} = k, \frac {CF'}{AF'} = \frac {CF}{A'F} = \frac {1}{3} = m.$

We use and get \[\frac {F'H'}{H'D'} = \frac {2}{k(m+1)} = 3 = \frac {FH}{HD}.\] \[\frac {E'H'}{AH'} = \frac {mk + 1}{k+1} = \frac {7}{9} = \frac {EH}{GH}.\] Let $DD' = x, FF'= y, DH = u, FH = v \implies HH' = \frac{yu + vx}{u+v }= \frac {7}{16}.$

Similarly $HH' = \frac{AG \cdot EH + EE' \cdot HG}{EH+HG} \implies AG = \frac {4}{7} \implies \frac {AG}{GA'} = \frac {4}{3}.$

Answer: $AG : GA' = 4 : 3.$

2020 202 problem 6

2020 202 6.png

Let a tetrahedron $ABCD$ be given, $AB = BC = CD = 5, CA = AD = DB = 6.$ Find the cosine of the angle $\varphi$ between the edges $BC$ and $AD.$

Solution

Let us describe a parallelepiped $AC'BD'B'DA'C$ around a given tetrahedron $ABCD.$

$AB = CD \implies AC'BD'$ and $B'DA'C$ are equal rectangles.

$AC = BD \implies AB'CD'$ and $C'DA'B$ are equal rectangles.

Denote $AC' = a, AD' = b, AB' = c \implies$ \[a^2 + b^2 = 5^2 = 25,  a^2 + c^2 = 6^2 = 36.\] \[4AC'^2 = 4 a^2 = 5^2 + 6^2 - 2 \cdot 5 \cdot 6 \cos \varphi,\] \[4AB'^2 = 4 c^2 = 5^2 + 6^2 + 2 \cdot 5 \cdot 6 \cos \varphi,\] \[4(c^2 - a^2) = 4(6^2 - 5^2) = 4 \cdot 5 \cdot 6 \cos \varphi \implies \cos \varphi = \frac {6^2 - 5^2}{5 \cdot 6} = \frac {11}{30}.\] Answer: $\frac {11}{30}.$


2020 203 problem 6

2020 203 6 3.png
2020 203 6 2.png

Let a cube $ABCDA'B'C'D'$ with the base $ABCD$ and side edges $AA', BB', CC', DD', AB = 1$ be given. Find the volume of a polyhedron whose vertices are the midpoints of the edges $AB, AD, AA', CC', C'B', C'D'.$

Solution

Denote the vertices of polyhedron $E, F, G, E', F', G'.$ Triangles $\triangle EFG$ and $\triangle E'F'G'$ are equilateral triangles with sides $\frac {\sqrt{2}}{2}$ and areas $[EFG] = \frac {\sqrt{3}}{8}.$

This triangles lies in parallel planes, which are normal to cube diagonal $AC'.$ The distance $d$ between this planes is \[\sqrt{3} - 2 \cdot \frac{\sqrt{3}}{6} = \frac {2}{\sqrt{3}}.\] So the volume of the regular prism with base $\triangle EFG$ and height $d$ is \[V_0 = \frac {\sqrt{3}}{8} \cdot \frac {2}{\sqrt{3}} = \frac {1}{4}.\]

Let the area $[A(x)]$ be the quadratic function of $x.$ Let \[A_1 = A[x_1], A_2 = A[x_2], d = x_2 - x_1,\] \[x_0 = \frac{x_1 + x_2}{2}, A_0 = A[x_0]  \implies\] \[V = \frac{d}{6} \cdot \left(A_1 + A_2 + 4 A_0 \right).\] Suppose, we move point $P$ along axis $AC'$ and cross the solid by plane contains $P$ and normal to axis. Distance from $P$ to each crosspoint this plane with the edge change proportionally position $P$ along axes, so the area is quadratic function from $P$ position. \[\frac {OE''}{ME} = \frac {\sqrt{3}}{2} \implies \frac {[E''F''G'']}{[EFG]} = 2 \left (\frac {OE''}{ME} \right)^2 = \frac {3}{2}.\] \[V = \frac{d}{6} \cdot ([EFG] + {[E'F'G']} + 4 [E''F''G'']) = d \cdot [EFG] \cdot \frac {4}{3} = \frac {1}{4} \cdot \frac {4}{3} =  \frac {1}{3}.\]

Answer: $\frac {1}{3}.$

2020 204 problem 6

2020 204 6.png

Let a regular triangular pyramid be given. The circumcenter of the sphere $O$ is equidistant from the edge and from the plane of the base of the pyramid. Find the radius of the sphere inscribed in this pyramid if the length of the edge of its base is $12.$

Solution

\[OP = ON \implies BP = BN, BS = 2 BP = 2 BN,\] \[AB = \sqrt{3}BN, \angle BSN = 30^\circ \implies\] \[SN = \frac {3}{2} SO = AB.\] \[NM = \frac {BN}{2} = \frac {AB}{2 \sqrt{3}} \implies\] \[\tan \angle MSN = \frac {1}{2\sqrt{3}} \implies\] \[\sin \angle MSN = \frac {1}{\sqrt{13}} = \frac {ID}{SN - IN}, IN = ID = \frac {AB}{1 + \sqrt{13}}.\] Answer: $\frac {12}{1 + \sqrt{13}}.$

2020 205 problem 6

2020 205 6.png

Let the quadrangular pyramid $ABCDS$ with the base parallelogram $ABCD$ be given.

Point $E \in SB, \frac {SE}{EB} = 2.$ Point $F \in SD, \frac {SF}{FD} = \frac {1}{2}.$

Find the ratio in which the plane $AEF$ divides the volume of the pyramid.

Solution

Let plane $AEF$ cross edge $SC$ at point $G.$ We make the central projection from point $S$ The images of points $A,E,F,G$ are $A,B,D,C,$ respectively. The image of $S$ is the crosspoint of $AC$ and $BD.$ So lines $EF, SO,$ and $AG$ are crossed at point $H.$ \[\frac {2 OH}{SH} = \frac {BE}{SE} + \frac {DF}{SF} = \frac {AA}{SA}+ \frac {CG}{SG}.\] \[2 + \frac {1}{2} = 0 + \frac {CG}{SG} \implies \frac {CG}{SG} = \frac {5}{2}.\] Let’s compare volumes of some tetrachedrons, denote the volume of $X$ as $[X].$ \[\frac {[ABDS]}{[CBDS]} = \frac {[ABD]}{[CBD]} =1.\] \[\frac {[AEFS]}{[ABDS]} = \frac {[EFS]}{[BDS]} = \frac {SE \cdot SF}{SB \cdot SD} = \frac{2}{9}.\] \[\frac {[GEFS]}{[CBDS]} = \frac {[EFS]}{[BDS]} \cdot \frac {GX}{CO} = \frac{2}{9} \cdot \frac {SG}{SC} = \frac{2}{9} \cdot \frac {2}{7} = \frac{4}{63}.\] \[\frac {[AEGFS]}{[ABDS]} = \frac {[AEFS]+[GEFS]}{[ABDS]} = \frac{2}{9} + \frac{4}{63} = \frac{2}{7} \implies \frac {[AEGFS]}{[ABCDS]} = \frac{1}{7}.\] Answer: 1 : 6.

2020 206 problem 6

2020 206 6.png

Given a cube $ABCDA'B'C'D'$ with the base $ABCD$ and side edges $AA', BB', CC', DD' =1.$ Find the distance between the line passing through the midpoints of the edges $AB$ and $AA'$ and the line passing through the midpoints of the edges $BB'$ and $B'C'.$

Solution

Let points $E,F,P, G, H, K$ be the midpoints of $AB, AA', A'D', BB', B'C', B'A',$ respectively. We need to prove that planes $GKH$ and $EFP$ are parallel, perpendicular to $B'D.$ Therefore, $B'D = \sqrt{3}.$

Point $O$ is the midpoint $B'D \implies$ \[B'O = \frac {\sqrt{3}}{2}, B'H = \frac {1}{2}, GH = \frac {\sqrt{2}}{2},\] \[HQ = \frac{GH}{\sqrt{3}},  B'Q = \frac{\sqrt{3}}{6}, OQ = \frac {1}{\sqrt{3}} = IJ.\] For proof we can use one of the following methods:

1. Vectors: $\vec {B'A'} = 2 \vec e_x, \vec {B'B} = 2 \vec e_y, \vec {B'C'} = 2 \vec e_z \implies$ \[\vec {B'G} = \vec e_y, \vec {B'H} = \vec e_z, \vec {HG} = \vec e_y - \vec e_z, \vec {B'D} = \vec e_x + \vec e_y + \vec e_z.\] Scalar product $(\vec{B'D} \cdot \vec {HG}) = 0.$ Similarly, \[\vec {B'E} = 2\vec e_y + \vec e_x, \vec {B'F} = 2\vec e_x+ \vec e_y, \vec {FE} = \vec e_y - \vec e_x.\]

2. $\angle B'OG = \angle B'OE = 90^\circ.$

3. Rotating the cube around its axis $B'D$ we find that the point $G$ move to $H$, then to $K,$ then to $G.$

Answer: $\frac {1}{\sqrt{3}}$

2021 215 problem 7

The sphere touches all edges of the tetrahedron $ABCD.$ It is known that the products of the lengths of crossing edges are equal. It is also known that $AB = 3, BC = 1.$ Find $AC.$

Solution

The tangent segments from the common point to the sphere are equal.

Let us denote the segments from the vertex $A$ to the sphere by $a.$

Similarly, we define $b, c, d.$ \[AB = a + b = 3, BC = b + c = 1, a - c = (a+b) - (b+c) = 3 - 1 = 2.\] \[AB \cdot CD = AD \cdot BC \implies 3(c+d) = 1(a + d) \implies a = 3c + 2d\] \[a = c + 2 \implies c + d = 1 \implies  b = d.\] \[AD = AB = 3, AD \cdot BC = 3 \cdot 1 = 3 = (a+c)(b+ d) = (3 - b + 1 - b) \cdot 2b.\] If $b = \frac {3}{2}$ then $c < 0.$

If $b = \frac {1}{2} = d = c, a = \frac {5}{2}, AC = 3.$

The tetrahedron $ABCD$ is a regular pyramid with a regular triangle with side $1$ at the base and side edges equal to $3.$

Answer: 3.

2022 221 problem 7

MSU 2022 7.png
MSU 2022 7a.png

The volume of a triangular prism $ABCA'B'C'$ with base $ABC$ and side edges $AA', BB', CC'$ is equal to $72.$ Find the volume of the tetrahedron $DEFG,$ where $D$ is the centroid of the face $ABC'A', E$ is the point of intersection of the medians of $\triangle A'B'C', F$ is the midpoint of the edge $AC$ and $G$ is the midpoint of the edge $BC.$

Solution

Let us consider the uniform triangular prism $ABCA'B'C'.$ Let $M$ be the midpoint of $AB, M'$ be the midpoint of $A'B', K$ be the midpoint of $CM, L$ be the midpoint of $C'M', 2 FG = AB.$

The area $[KED]$ of $\triangle KED$ in the sum with the areas of triangles $[KEL], [EDM'], [KDM]$ is half the area of rectangle $CC'M'M,$ so \[\frac {[KED]}{[CC'M'M]} = \frac {1}{2} - \frac {1}{12}- \frac {1}{12}-\frac {1}{8} = \frac {5}{24}.\] \[FG \perp ED.\] Denote the distance between these lines $h.$ The volume of the tetrahedron is $U = \frac {ED \cdot h \cdot FG}{6}.$ \[\frac {ED \cdot h}{2} = \frac {5}{24} \cdot CC' \cdot CM \implies U =\frac{5}{24 \cdot 3} \cdot CC' \cdot CM \cdot FG.\] The volume of the prism is $V = \frac{CM \cdot AB}{2} \cdot CC' =CC' \cdot CM \cdot FG  = 72.$ \[\frac {U}{V} = \frac {\frac {5}{72} CC' \cdot CM \cdot FG}{CC' \cdot CM \cdot FG} = \frac {5}{72} \implies U = 5.\]

An arbitrary prism is obtained from a regular one as a result of an affine transformation.

All points on the tetrahedron are defined affinely, which means that the volume ratio will be preserved.

Answer: 5.

2022 222 problem 7

MSU 2022 2 7.png

A sphere of diameter $1$ is inscribed in a pyramid at the base of which lies a rhombus with an acute angle $2\alpha$ and side $\sqrt{6}.$ Find the angle $2\alpha$ if it is known that all lateral faces of the pyramid are inclined to plane of its base at an angle of $60^\circ.$

Solution 1

Denote rhombus $ABCD, K = AC \cap BD, S$ is the vertex of a pyramid $SK \perp ABC, I$ is the center of the sphere, $IK = r = \frac {1}{2}, M \in AB, SM \perp AB, E$ is the tangent point of $SM$ and sphere, $\angle SMK = 60 ^\circ.$ \[IE = r, SK = SI + IK = \frac {3}{2}, KM = \frac {\sqrt{3}}{2}, SM = \sqrt{3}.\] \[AM = KM \cdot \tan \alpha, BM = \frac {KM}{\tan \alpha},\] \[AM + BM = AB = \sqrt{6}\implies\] \[\tan \alpha + \frac {1}{\tan \alpha} = 2 \sqrt {2} \implies \tan \alpha = \sqrt {2} - 1 \implies \tan 2 \alpha = 1 \implies 2 \alpha = \frac {\pi}{4}.\] Solution 2

The area of the rhombus $[ABCD]= AB^2 \cdot \sin 2\alpha.$

The area of the lateral surface is $[l]= 4 [SAB] = 2 \cdot AB \cdot SM.$ \[[ABCD] = [l] \cdot \cos 60 ^\circ =[l] \cdot \frac{1}{2} \implies AB \cdot SM = AB^2 \cdot \sin 2\alpha \implies\] \[\sin {2 \alpha} = \frac {SM}{AB} = \frac {\sqrt{3}}{\sqrt{6}} = \frac {1}{\sqrt{2}}.\] Answer:$\frac {\pi}{4}.$

2022 222 problem 6

Find all possible values of the product $xy$ if it is known that $x,y \in \left [ 0, \frac{\pi}{2} \right)$ and it is true \[\frac{1 - \sin(x - y)}{1 - \cos(x - y)}= \frac{1 - \sin(x + y)}{1 - \cos(x + y)}.\]

Solution

Let $y = 0,$ then for each $x$ equation is true, $xy = 0.$ Let $y > 0.$ \[1 - \sin (x - y) - \cos (x + y) + \sin (x – y) \cos (x + y) = 1 - \sin (x + y) - \cos (x - y) + \sin (x + y) \cos (x - y).\] \[\sin (x + y) - \sin (x - y) + \cos (x - y) - \cos (x + y) =  \sin ((x + y) - (x - y)),\] \[2 \cos x \sin y + 2 \sin x \sin y = 2 \cos y \sin y,\] \[\cos x + \sin x = \cos y .\] $\cos y < 0, x \in \left [ 0, \frac{\pi}{2} \right) \implies \cos x + \sin x \ge 1,$ no solution.

Answer:$0.$


2022 224 problem 6

Find all triples of real numbers $(x,y,z)$ in the interval $\left ( 0; \frac {\pi}{2} \right)$ satisfying the system of equations \begin{equation} \left\{ \begin{aligned}    \sin x &= \sin y - \sin z \cos (x+z) ,\\   \cos x &= \cos z + \cos y \cos (x+y) . \end{aligned} \right.\end{equation}

Solution

Denote $u = x + z \implies$ \[x = u - z, \sin (u - z) = \sin u \cos z - \sin z \cos u = \sin x = \sin y - \sin z \cos (x+z) \implies\] \[\sin y = \cos z \sin (x+z).\] Similarly, \[\cos z = \sin y \sin (x+y).\]

\begin{equation} \left\{ \begin{aligned}   \sin (x+z) = \frac {\sin y}{\cos z},\\  \sin (x+y) = \frac {\cos z}{\sin y}. \end{aligned} \right.\end{equation} Therefore \[x+y = x+z = \frac{ \pi}{2} \implies y = z,\] \[\sin y = \cos z \implies x = y = z = \frac {\pi}{4}.\] Answer:$\left (\frac {\pi}{4},\frac {\pi}{4},\frac {\pi}{4} \right ).$

2023 231 problem 6

Let positive numbers $a,b,c$ be such that $\frac {1}{a+1} + \frac {1}{b+1} +\frac {1}{c+1} = 1.$

Find the maximum value of $\frac {a}{2 + a^2} + \frac {b}{2 + b^2} + \frac {c}{2 + c^2}.$

Solution \[\frac {a}{a^2 +2} \le  \frac {1}{6} +\frac {1}{2(1+a)} \Leftrightarrow 6a + 6a^2 \le  a^3 + a^2 +2a + 2 + 3a ^2 + 6 \Leftrightarrow\] \[a^3 - 2 a^2 - 4a + 8 \ge 0 \Leftrightarrow (a -2)^2 (a+2) \ge 0.\] Similarly \[\frac {b}{b^2 +2} \le  \frac {1}{6} +\frac {1}{2(1+b)}, \frac {c}{c^2 +2} \le  \frac {1}{6} +\frac {1}{2(1+c)}.\] Adding this equations, we get: \[\frac {a}{2 + a^2} + \frac {b}{2 + b^2} + \frac {c}{2 + c^2} \le \frac {1}{2} \left (1 + \frac {1}{a+1} + \frac {1}{b+1} +\frac {1}{c+1} \right ) = 1.\] If $a = b = c = 2$ then $\frac {a}{2 + a^2} + \frac {b}{2 + b^2} + \frac {c}{2 + c^2} = 1.$

Answer:$1.$

Explanation for students

For the function under study $F(x) = \frac {x}{x^2 +2}$ it is required to find the majorizing function $G(x) \ge F(x).$ This function must be a linear combination of the given function $g(x) = \frac {1}{x+1}$ and a constant, $G(x) = k + m \cdot g(x).$

At the supposed extremum point $x_0 = 2$ the functions and their derivatives must coincide $G(x_0) = F(x_0), G'(x_0) = F'(x_0).$ \[F(x_0) = \frac {x_0}{x_0^2 +2} = \frac {1}{3} = G(x_0) = k + m \cdot \frac {1}{x_0+1} = k + \frac {m}{3} \implies 1 = 3k + m.\] \[F'(x_0) = \frac {2 - x_0^2}{(x_0^2 + 2)^2} = -\frac{1}{18} = G'(x_0) = m \cdot g'(x_0) = -  \frac {m}{(1+ x_0)^2} = -\frac{m}{9} \implies m = \frac{1}{2}, k = \frac {1}{6}.\]

2023 231 EM problem 6

\[F(x) = log_{\frac{5}{2}} (2 + \cos x) \cdot  log_{\frac{5}{2}} (3 - \cos x).\] Find the maximum value $F_m = max (F(x))$ and all argument values $x_0$ such that $F_m = F(x_0)$.

Solution \[a + t = 2 + \cos x; a - t = 3 - \cos x \implies a = \frac {5}{2}, t = \cos x - \frac {1}{2}.\] \[u = \frac {t}{a} = \frac {\cos x - \frac {1}{2}}{a}\implies\] \[F(u) = log_a {a(1 + u)} \cdot  log_a {a(1 - u)} = (1 + log_a (1 + u)) \cdot (1 + log_a (1 - u)) = 1 + log_a (1- u^2) + log_a (1+ u) \cdot  log_a (1 - u) \le 1,\] because \[1- u^2 \le 1 \implies log_a (1- u^2) \le 0\] and signs of $log_a (1 + u)$ and $log_a (1 - u)$ are different, so $log_a (1 + u) \cdot log_a (1 - u) \le 0.$ Therefore \[F_m = 1, \cos x_0 = \frac {1}{2}, x_0 = \pm \frac{\pi}{3} + 2 k \pi.\]


2023 232 problem 6

Let positive numbers $a,b,c$ be such that \[\left ( a+b+c \right) \cdot \left ( \frac {1}{a} + \frac {1}{b} +\frac {1}{c} \right ) = 10.\] Find the maximum value of $\frac {a+ b}{c}.$

Solution \[\left ( a+b+c \right) \cdot \left ( \frac {1}{a} + \frac {1}{b} +\frac {1}{c} \right ) = 10 \implies\] \[\frac {b}{a} + \frac {a}{b} + \frac {b}{c} + \frac {a}{c} + \frac {c}{a} + \frac {c}{b} = 7.\]

\[\frac {a+b}{c} + \frac {c(a+b)}{ab} + \frac {b}{a} +\frac {a}{b} = 7.\] \[\frac {a+b}{c} + \frac {c}{a+b}\cdot \frac {(a+b)^2}{ab} + \frac {b}{a} +\frac {a}{b} = 7.\] It is clear that $\frac {b}{a} +\frac {a}{b} \ge 2$ and $\frac {(a+b)^2}{ab} \ge 4,$ Denote $X = \frac {a+b}{c}.$ So \[7 = \frac {a+b}{c} + \frac {c}{a+b}\cdot \frac {(a+b)^2}{ab} + \frac {b}{a} +\frac {a}{b} \ge \frac {a+b}{c} + \frac {4c}{a+b}+ 2 = X + \frac {4}{X} + 2,\] \[X + \frac {4}{X} \le 5 \implies (X - 4)(X - 1) \le 0 \implies X \le 4.\] If $a = b = 2, c = 1$ then $\frac {a+b}{c} = 4.$

Answer:$4.$

2023 233 problem 6

Let positive numbers $a,b,c$ be such that $a^2 + b^2 + c^2 = 1.$

Find the maximum value of $a b + b c \sqrt{3}.$

Solution

Let $\vec X = \{a; c \}, \vec Y = \{1; \sqrt{3} \}$ Then \[a + c \sqrt{3} = \vec X \cdot \vec Y \le  | \vec X| \cdot |\vec Y| = \sqrt{a^2 + c^2} \cdot \sqrt{1 + 3 } = 2 \sqrt{a^2 + c^2}.\]

\[2 u v \le u^2 + v^2 \implies 2 b \cdot \sqrt{a^2 + c^2} \le  b^2 + (a^2 + c^2) = 1.\]

Equality is achieved if \[\frac {c}{a} = \frac {\sqrt{3}}{1}, b^2 = a^2 + c^2 \implies a = \frac{1}{2 \sqrt{2}},  b = \frac{1}{ \sqrt{2}}, c = \frac{\sqrt{3}}{2 \sqrt{2}}.\]

Answer: $1.$