Problems

---

Solution:

1. The line \(AB\) has equation: \begin{align*} && \frac{y+f(b)}{x-b} &= \frac{f(a)+f(b)}{a-b} \\ \Rightarrow && \frac{f(b)}{m-b} &= \frac{f(a)+f(b)}{a-b} \\ \Rightarrow && m &= \frac{a-b}{f(a)+f(b)}f(b) + b \\ &&&= \frac{af(b)+bf(a)}{f(a)+f(b)} \end{align*}
2. Suppose \(f(x) = \sqrt{x}\) then \begin{align*} m &= \frac{a\sqrt{b}+b\sqrt{a}}{\sqrt{a}+\sqrt{b}} \\ &= \frac{\sqrt{ab}(\sqrt{a}+\sqrt{b})}{\sqrt{a}+\sqrt{b}} \\ &= \sqrt{ab} \end{align*} Suppose \(f(x) = x^{-n}\) then \begin{align*} m &= \frac{a b^{-n}+ba^{-n}}{a^{-n}+b^{-n}} \\ &= \frac{a^{n+1}+b^{n+1}}{b^n + a^n} \\ \end{align*}
3. Without loss of generality, we can scale \(g_1(x)\) and \(g_2(x)\) so that \(g_1(a) = g_2(a)\) and \(m\) won't change for either of them. Then since \(\frac{g_1(b)}{g_2(b)} < 1\) (this function is decreasing) our line connecting \((a,g_i(a))\) and \((b,-g_i(b))\) must interect the axis first for \(g_2\), in particular \(M_1 > M_2\). Suppose \(g_1(x) =1, g_2(x) = \sqrt{x}, g_3(x) = x^{-1}\), the notice that \(\frac{g_1(x)}{g_2(x)} =\frac{g_2(x)}{g_3(x)}= x^{-1/2}\) are decreasing, therefore: \begin{align*} \frac{a+b}{1+1} &> \sqrt{ab} > \frac{1+1}{a^{-1}+b^{-1}} \\ \frac{a+b}{2} &> \sqrt{ab} > \frac{2ab}{a+b} \\ \end{align*}
4. We must have: \begin{align*} && p(c-a)^3 &= f(a) \\ && p(c-b)^3 &= -f(b) \\ \Rightarrow &&\left ( \frac{c-a}{c-b} \right)^3 &= -\frac{f(a)}{f(b)} \\ \Rightarrow && \frac{c-a}{b-c} &= \left (\frac{f(a)}{f(b)} \right)^{\tfrac13} \\ \Rightarrow && c-a &= \left (\frac{f(a)}{f(b)} \right)^{\tfrac13}(b-c)\\ \Rightarrow && c \left (1 + \left (\frac{f(a)}{f(b)} \right)^{\tfrac13} \right) &= \left (\frac{f(a)}{f(b)} \right)^{\tfrac13}b + a \\ \Rightarrow && c &= \frac{\left (\frac{f(a)}{f(b)} \right)^{\tfrac13}b + a}{1 + \left (\frac{f(a)}{f(b)} \right)^{\tfrac13}} \\ &&&= \frac{b[f(a)]^\tfrac13+a[f(b)]^\tfrac13}{[f(a)]^\tfrac13+[f(b)]^\tfrac13} \end{align*} We have that \(\frac{c-a}{b-c} = \left (\frac{f(a)}{f(b)} \right)^{\tfrac13} \) and \(\frac{m-a}{b-c} = \frac{f(a)}{f(b)}\). Since \(f\) is decreasing, \(\frac{f(a)}{f(b)} > 1\) and so \(\left (\frac{f(a)}{f(b)} \right)^{\tfrac13} < \frac{f(a)}{f(b)}\), therefore \(m > c\).

---

Solution:

1. \(\,\) \begin{align*} && \begin{pmatrix} 1 & -x & x \\ y & 1 & -y \\ -z & z & 1 \end{pmatrix} \begin{pmatrix} a \\ b \\ c \end{pmatrix} &= \begin{pmatrix} a-xb+xc \\ ay+b-yc \\ -za+zb+c \end{pmatrix} \\ &&&= \begin{pmatrix} a-x(b-c) \\ b-y(c-a) \\ c-z(a-b) \end{pmatrix} \\ &&&= \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \end{align*} Notice since \(a,b\) and \(c\) are distinct real numbers the vector \(\langle a,b,c \rangle\) cannot be the zero vector, so the determinant of the matrix is zero, ie \(0= 1(1+yz)+x(y-yz)+x(yz+z) = 1 +yz+yx+zx\). Notice also then that \begin{align*} && \frac{a^2}{(b-c)^2} + \frac{b^2}{(c-a)^2} + \frac{c^2}{(a-b)^2} &= x^2+y^2+z^2 \\ &&&= (x+y+z)^2 - 2(xy+yz+zx) \\ &&&= 2 + (x+y+z)^2 \geq 2 \end{align*}
2. \(\,\) \begin{align*} && \begin{pmatrix} 2 & -x & -x \\ -y & 2 & -y \\ -z & -z & 2 \end{pmatrix} \begin{pmatrix} a \\ b \\ c \end{pmatrix} &= \begin{pmatrix} 2a-xb-xc \\ -ay+2b-yc \\ -za-zb+2c \end{pmatrix} \\ &&&= \begin{pmatrix} 2a-x(b+c) \\ 2b-y(c+a) \\ 2c-z(a+b) \end{pmatrix} \\ &&&= \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \\ \Rightarrow && 0 &= \det \begin{pmatrix} 2 & -x & -x \\ -y & 2 & -y \\ -z & -z & 2 \end{pmatrix} \\ &&&= 2(4 -yz)+x(-2y-yz)-x(yz+2z) \\ &&&= 8 - 2yz-2yx-2xyz-2zx\\ \Rightarrow && 4 &= xyz+xy+yz+zx \end{align*} \begin{align*} && (2a + b + c)(a + 2b + c)(a + b + 2c) &> 5(b+c)(c+a)(a+b) \\ \Leftrightarrow && \left ( \frac{2a}{b+c}+1 \right)\left ( \frac{2b}{c+a}+1 \right)\left ( \frac{2c}{a+b}+1 \right) &> 5 \\ \Leftrightarrow && \left ( x+1 \right)\left ( y+1 \right)\left ( x+1 \right) &> 5 \\ \Leftrightarrow && xyz+xy+yz+zx+x+y+z+1 &> 5 \\ \Leftrightarrow && 5+x+y+z&> 5 \\ \end{align*} Which is clearly true since if \(a,b,c\) are positve real numbers so are \(x,y,z\). This final inequality is equivalent to showing \(x+y+z > 2\) ie \begin{align*} && x+y+z &> 2 \\ \Leftrightarrow && \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} &> 1 \\ \\ && \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} & > \frac{a}{a+b+c} + \frac{b}{a+b+c} + \frac{c}{a+b+c} = 1 \end{align*} So we're done.

---

Solution:

1. \begin{align*} && (k+1) (A_{k+1} - G_{k+1}) & \geq k(A_k - G_k) \\ \Leftrightarrow && \sum_{i=1}^{k+1} a_i - (k+1)G_{k+1} &\geq \sum_{i=1}^k a_i - kG_k \\ \Leftrightarrow && a_{k+1} -(k+1)G_k^{k/(k+1)}a_{k+1}^{1/(k+1)} & \geq - k G_k \\ \Leftrightarrow && a_{k+1} -(k+1)G_k^{k/(k+1)}a_{k+1}^{1/(k+1)} + k G_k& \geq 0\\ \Leftrightarrow && \frac{a_{k+1}}{G_k} -(k+1)G_k^{k/(k+1)-1}a_{k+1}^{1/(k+1)} + k & \geq 0\\ \Leftrightarrow && \lambda_k^{k+1} -(k+1)\lambda_k+ k & \geq 0\\ \end{align*} as required.
2. \begin{align*} && f'(x) &= (k+1)x^k - (k+1) \\ &&&= (k+1)(x^k-1) \end{align*} Therefore \(f(x)\) is strictly decreasing on \((0,1)\) and strictly increasing on \((1,\infty)\) and so the minimum will be \(f(1) = 1 - (k+1) + k = 0\), so \(f(x) \geq 0\) with equality only at \(x = 1\).
3. 1. We can proceed by induction to show since the inequality holds for \(n=1\) and since if it holds for \(n=k\) it will hold for \(n=k+1\) as \(A_{k+1}-G_{k+1}\) must have the same sign as \(A_k - G_k\).
   2. The only way for equality to hold is if \(\lambda_k = 1\) for \(k = 1, \cdots n\), ie \(a_{k+1} = G_k\), but this means \(a_2 = a_1, a_3 = a_1\) etc. Therefore all values are equal.

---

Solution:

1. Note that \(f(x) = (x+2a)^3 - 27a^2x\) so \(f'(x) = 3(x+2a)^2-27a^2 = 3x^2+12ax-15a^2 = (x-a)(3x+15a)\) so the turning points are at \(x = a, x = -5a\). But \(f(a) = 0\), so the curve just touches the \(x\)-axis. Note also that \(f(0) = 8a^3 \geq 0\) so:
   

   + - ↺
2. \(\,\) \begin{align*} && 0 &\leq (x+2y)^3 - 27y^2 x \\ &&& \leq 3^3 - 27 y^2 x \\ &&&= 27(1-y^2x) \\ \Rightarrow && xy^2 &\leq1 \end{align*} with equality when \(x = y = 1\)
3. Notice that \begin{align*} && 0 &\leq (p+q+r)^3 - 27\left (\frac{q+r}{2}\right)^2 p \\ \Rightarrow && (p+q+r)^3 &\geq 27\left (\frac{q+r}{2}\right)^2 p \\ &&&\underbrace{\geq}_{AM-GM} 27\left (\sqrt{qr}\right)^2 p \\ &&&= 27pqr \end{align*} Equality can only hold if \(p = \frac{q+r}{2}\), but by symmetry we must also have \(q = \frac{r+p}{2}, r = \frac{p+q}{2}\) ie \(p = q = r\). And indeed equality does hold in this case.

---

Solution:

1. \(\,\)
   

   + - ↺
   \begin{align*} \text{N2}(\uparrow, m): && T - mg &= ma_1 \\ \text{N2}(\uparrow, M): && T-Mg &= -Ma_1 \\ \Rightarrow && (M-m)g &= a_1(m+M) \\ \Rightarrow && a_1 &= \frac{M-m}{M+m}g \\ && T &= mg + ma_1 \\ &&&= \frac{2mM}{M+m}g \end{align*}
2. System II is the same as system I, but with \(m\) replaced with \(2\frac{T}{g} = \frac{4mM}{M+m}\). In particular, this means that: \begin{align*} && a_2 &= \frac{M - \frac{4m_1m_2}{m_1+m_2}}{M + \frac{4m_1m_2}{m_1+m_2}} g \\ &&&= \frac{M-4\mu}{M+4\mu}g \end{align*} If \(m = m_1 + m_2\) then \begin{align*} && a_1 &= a_2 \\ \Leftrightarrow && \frac{M-m_1-m_2}{M+m_1+m_2} &= \frac{M - \frac{4m_1m_2}{m_1+m_2}}{M + \frac{4m_1m_2}{m_1+m_2}} \\ \Leftrightarrow && \frac{M-m_1-m_2}{M+m_1+m_2} &= \frac{M(m_1+m_2) -4m_1m_2}{M(m_1+m_2) + 4m_1m_2} \\ \Leftrightarrow && M^2(m_1+m_2)+4m_1m_2M &- M(m_1+m_2)^2 - 4m_1m_2(m_1+m_2) \\ &&\quad \quad = M^2(m_1+m_2) - 4m_1m_2M &+M(m_1+m_2)^2-4m_1m_2(m_1+m_2) \\ \Leftrightarrow && 8m_1m_2M&= 2M(m_1+m_2)^2 \\ \Leftrightarrow && 0 &= (m_1-m_2)^2 \\ \Leftrightarrow && m_1 &= m_2 \end{align*}

---

Solution: \begin{align*} && b &= c - ma \\ \Rightarrow && c &= b+ma \\ \Rightarrow && y &= m(a-x)+b \\ \Rightarrow && q &= ma+b \\ && p &= \frac{ma+b}{m} \\ \\ && d &= p+q \\ &&&= a + \frac{b}{m} + ma + b \\ \Rightarrow && d' &= -bm^{-2}+a \\ \Rightarrow && m &= \sqrt{b/a} \\ \\ \Rightarrow &&d &= a + \sqrt{ba}+\sqrt{ba} + b \\ &&&= (\sqrt{a}+\sqrt{b})^2 \\ \\ && |PQ|^2 &= p^2 + q^2 \\ &&&= a^2 + \frac{2ab}{m} + \frac{b^2}{m^2} + m^2a^2 + 2mab + b^2 \\ &&&= a^2+b^2 + \frac{b^2}{m^2} + \frac{2ab}{m}+ 2abm + a^2m^2 \\ && \frac{\d}{\d m}&= -2b^2m^{-3}-2abm^{-2}+2ab + 2a^2m \\ && 0 &=2a^2m^4+2abm^3-2abm-2b^2 \\ &&&= 2(am^3-b)(am+b) \\ \Rightarrow && m &= \sqrt[3]{\frac{b}{a}} \\ \\ &&|PQ|^2 &= \left[ a^{1/3}(a^{2/3} + b^{2/3}) \right]^2 + \left[ b^{1/3}(a^{2/3} + b^{2/3}) \right]^2 \\ &&&= a^{2/3}(a^{2/3} + b^{2/3})^2 + b^{2/3}(a^{2/3} + b^{2/3})^2 \\ &&&= (a^{2/3} + b^{2/3})^2 \cdot (a^{2/3} + b^{2/3}) \\ &&&= (a^{2/3} + b^{2/3})^3 \\ \Rightarrow && |PQ| &= (a^{2/3} + b^{2/3})^{3/2} \end{align*} We can also do this with AM-GM instead: \begin{align*} && d &= a + b + \frac{b}{m} + am \\ &&&\geq a+b + 2 \sqrt{\frac{b}{m} \cdot am} \\ &&&= a+2\sqrt{ab}+b \\ \\ && |PQ|^2 &= a^2+b^2 + \frac{b^2}{m^2} + \frac{2ab}{m}+ 2abm + a^2m^2 \\ &&&= a^2+b^2 + \frac{b^2}{m} + abm + abm + a^2m^2 + \frac{ab}{m} + \frac{ab}{m} \\ &&&= a^2+b^2 + 3\sqrt[3]{ \frac{b^2}{m} \cdot abm \cdot abm} + 3 \sqrt[3]{ a^2m^2 \cdot \frac{ab}{m} \cdot \frac{ab}{m} } \\ &&&= a^2 + 3b^{4/3}a^{2/3}+3b^{2/3}a^{4/3}+b^2 \\ &&&= (a^{2/3}+b^{2/3})^3 \end{align*}

---

Solution: \begin{align*} && \underbrace{(c-a)}_{\geq 0}\underbrace{(d-b)}_{\geq 0} & \geq 0 \\ \Leftrightarrow && cd -bc -ad + ab &\geq 0 \\ \Leftrightarrow && ab +cd &\geq bc+ad \\ \end{align*}

1. Applying \((*)\) with \(c=d=x\) and \(a=b=y\) we obtain: \(x^2 + y^2 \geq xy + xy = 2xy\) Similarly, applying \((*)\) with \(c=x, d=y, a=b=z\) we obtain: \(z^2 + xy \geq zx+zy\) so \(x^2+y^2+z^2 \geq 2xy + z^2 \geq xy + zx+zy\) There was nothing special about our choice of ordering \(x,y,z\) so it is true for all \(x,y,z\)
2. \begin{align*} \frac st +\frac tr +\frac rs +\frac ts +\frac rt +\frac sr &=\left ( \frac st+\frac ts \right)+\left ( \frac tr +\frac rt \right)+\left ( \frac rs +\frac sr \right) \\ & \geq 2 \sqrt{\frac st \frac ts} + 2 \sqrt{\frac tr \frac rt} + 2 \sqrt{\frac rs \frac sr} \\ & = 2 + 2 + 2 \\ &= 6 \end{align*}

---

Solution: \begin{align*} && f(x) &= \sin x \\ \Rightarrow && f''(x) &= -\sin x \end{align*} which is clearly negative on \((0,\pi)\) since \(\sin\) is positive on this interval. \begin{align*} && f(x) &= \ln x \\ \Rightarrow && f''(x) &= -1/x^2 \end{align*} which is clearly negative for \(x > 0\)

1. Since \(A,B,C\) are angles in a triangle, we must have \(0 < A,B,C< \pi\) and so we can apply Jensen with \(f = \sin\) to obtain: \begin{align*} &&\frac13( \sin A + \sin B + \sin C) &\leq \sin \left ( \frac{A+B+C}{3}\right) \\ &&&= \sin \frac{\pi}{3} = \frac{\sqrt{3}}2 \\ \Rightarrow && \sin A + \sin B + \sin C &\leq\frac{3\sqrt{3}}2 \end{align*}
2. Suppose \(f(x) = \ln x\), then applying Jensen on the positive numbers \(t_1, \ldots, t_n\) we obtain \begin{align*} && \frac1n \left ( \sum_{i=1}^n \ln t_n \right) &\leq \ln \left ( \frac1n\sum_{i=1}^n t_n \right) \\ \Rightarrow && \frac1n \ln\left (\prod_{i=1} t_n\right)&\leq \ln \left ( \frac1n\sum_{i=1}^n t_n \right) \\ \Rightarrow && \ln\left (\left (\prod_{i=1} t_n\right)^{1/n}\right)&\leq \ln \left ( \frac1n\sum_{i=1}^n t_n \right) \\ \Rightarrow && \left (\prod_{i=1} t_n\right)^{1/n}&\leq\frac1n\sum_{i=1}^n t_n \\ \Rightarrow && \sqrt[n]{t_1t_2 \cdots t_n}&\leq\frac1n(t_1 + t_2 + \cdots + t_n) \tag{AM-GM}\\ \end{align*}
   1. Applying AM-GM with \(t_1 = x^4, t_2 = y^4, t_3 = z^4, t_4 = 2^4\) we have \begin{align*} && \frac{x^4+y^4+z^4+16}{4} & \geq \sqrt[4]{x^4y^4z^42^4} \\ \Rightarrow && x^4+y^4+z^4+16 &\geq 8xyz \end{align*}
   2. Applying AM-GM with \(t_1 = x^5, t_2 = y^5, t_3 = z^5, t_4 = 1^5, t_5 = 1^5\) we have \begin{align*} && \frac{x^5+y^5+z^5+1+1}{5} & \geq \sqrt[5]{x^5y^5z^5} \\ \Rightarrow && x^5+y^5+z^5+2 &\geq 5xyz \\ \Rightarrow && x^5+y^5+z^5 - 5xyz &\geq -2 \end{align*} Therefore the minimum is \(-2\)

---

Solution:

1. Notice that if \(x > 0\) we must have \begin{align*} && \left ( \sqrt{x} - \frac{1}{\sqrt{x}} \right)^2 &\geq 0 \\ \Leftrightarrow && x - 2 + x^{-1} & \geq 0 \\ \Leftrightarrow && x + x^{-1} & \geq 2 \end{align*} Let \(S\) be the sum, and assume all probabilities are equal \begin{align*} && \mathbb{P}(S = 2) &= q_1 r_1 \\ && \mathbb{P}(S = 12) &= q_6 r_6 \\ && \mathbb{P}(S = 7) &= \sum_{i=1}^6 q_i r_{7-i} \\ \Rightarrow && q_1r_1 &= q_6r_6 \\ \Rightarrow && q_1r_6+q_6r_1 &\leq q_1r_1 \\ \Rightarrow && \frac{r_6}{r_1} + \frac{q_6}{q_1} &\leq 1 \\ \Rightarrow && q_1r_6+q_6r_1 &\leq q_6r_6 \\ \Rightarrow && \frac{q_1}{q_6} + \frac{r_1}{r_6} &\leq 1 \\ \Rightarrow && \frac{r_6}{r_1} + \frac{q_6}{q_1}+\frac{q_1}{q_6} + \frac{r_1}{r_6} &\leq 2\\ \text{but} && \frac{r_6}{r_1} + \frac{q_6}{q_1}+\frac{q_1}{q_6} + \frac{r_1}{r_6} &\geq 4 \end{align*} Since we have a contradiction they cannot all be equal.
2. We would like \(\displaystyle \sum q_i^2 \leq 1/36\) (subject to \(\displaystyle \sum q_i = 1\), clearly this cannot be true since: \begin{align*} && 1 &= \left ( \sum_{i=1}^6 q_i \right)^2 \\ &&&= \sum_{i=1}^6 q_i^2 + \sum_{i \neq j} 2q_i q_j \\ &&&\leq \sum_{i=1}^6 q_i^2 + 5\sum_{i=1}^6 q_i^2 \\ &&&=6 \sum_{i=1}^6 q_i^2 \\ \Rightarrow && \sum_{i=1}^6 q_i^2 &\geq 1/6 > 1/36 \end{align*} [For a weaker solution to the last part, notice that the largest value of \(q_i\) is \(\geq 1/6\) and therefore \(q_{max}^2 \geq 1/36\), but if equality holds then the other values must also be non-zero, and therefore the inequality cannot hold]

---

Solution:

1. True. \begin{align*} && \ln a \cdot \ln b &= \ln b \cdot \ln a \\ \Leftrightarrow && \exp ( \ln a \cdot \ln b) &= \exp ( \ln b \cdot \ln a) \\ \Leftrightarrow && \exp ( \ln a )^{\ln b} &= \exp ( \ln b )^{\ln a} \\ \Leftrightarrow && a^{\ln b} &= b^{\ln a} \\ \end{align*}
2. False. Consider \(\theta = 0\). We'd need \(\cos 0 = 1 = \sin 1\), but \(0 < 1 < \frac{\pi}{2}\) so \(\sin 1 \neq 1\)
3. False. If the polynomial has positive degree, then as \(n \to \infty\), \(\P(x) \to \pm \infty\), in particular it must be well outside the interval \([-1,1]\). Therefore it can't be within \(10^{-6}\) of \(\cos \theta\) which is confined to that interval. The only polynomial which is restricted to that range are constants, but then \(|\cos 0 - c| \leq 10^{-6}\) and \(|\cos \pi - c| \leq 10^{-6}\) \(2 = |1-(-1)| \leq |1-c| + |-1-c| \leq 2\cdot 10^{-6}\) contradiction.
4. True. \begin{align*} && (x^2-x^{-2})^2 &\geq 0 \\ \Leftrightarrow && x^4-2+x^{-4} &\geq0 \\ \Leftrightarrow && x^4+3+x^{-4} &\geq 5 \\ \end{align*}

---

Solution:

1. Suppose \(pqr = qrs\), since the roots are positive, we can divide by \(qr\) to obtain \(p=s\) (a contradiction. Therefore all those terms are distinct.
2. \(4c^3 = pqr+qrs+rsp+spq\), \(d^4 = pqrs\). Applying AM-GM, we obtain: \begin{align*} && c^3 = \frac{ pqr+qrs+rsp+spq}{4} & > \sqrt[4]{p^3q^3r^3s^3} = d^{3} \\ \Rightarrow && c &> d \end{align*}
3. There must be a turning point between each root (since there are no repeated roots).
4. \(f'(x) = 4x^3-12ax^2+12b^2-4c^3 = 4(x^3-3ax^2+3b^2-c^3)\). Letting the roots of this polynomial be \(\alpha, \beta, \gamma\) and again applying AM-GM, we must have: \begin{align*} && b^2 = \frac{\alpha\beta + \beta \gamma+\gamma \alpha}{3} &> \sqrt[3]{\alpha^2\beta^2\gamma^2} = c^2 \\ \Rightarrow && b &> c \end{align*}
5. Again, since there are turning points between the roots of \(f'(x)\) we must have distinct roots for \(f''(x)\), ie: \(f''(x) = 3x^2-6ax+6b^2 = 3(x^2-2ax+b^2)\) has distinct real roots. But for this to occur we must have that \((2a)^2-4b^2 = 4(a^2-b^2) > 0\), ie \(a>b\)

---

Solution: Suppose we have height \(h\) and radius \(r\), then: \(V = \pi r^2 h\) and \(S = 2\pi r^2 + 2\pi r h\). \(h = \frac{V}{\pi r^2}\), so \begin{align*} S &= 2 \pi r^2 + 2 \pi r\frac{V}{\pi r^2} \\ &= 2\pi r^2 +V \frac1{r}+V \frac1{r} \\ &\underbrace{ \geq }_{\text{AM-GM}} 3 \sqrt[3]{2\pi r^2 \frac{V^2}{r^2} } = 3 (2 \pi V^2)^{1/3} \end{align*} Equality holds when \(r = \sqrt[3]{\frac{V}{2 \pi}}, h = \frac{V}{\pi (V/2\pi)^{2/3}} = \sqrt[3]{\frac{4V}{\pi}}\) Since \(h > r\) the sphere has a maximum radius of \(r\) and so it's largest volume is \(\frac43 \pi r^3 = \frac43 \pi \frac{V}{2 \pi} = \frac23 V\).

The radius of the sphere is \(\sqrt{\left (\frac{r}{2} \right)^2 + \left (\frac{h}{2} \right)^2 } = \frac12 \sqrt{r^2+h^2}\) \begin{align*} V_{sphere} &= \frac43 \pi (r^2+h^2)^{3/2} \\ &= \frac43 \pi \left (\left( \frac{V}{2 \pi} \right)^{2/3}+\left( \frac{4V}{ \pi} \right)^{2/3} \right)^{3/2} \\ &= \frac43 \pi \frac{V}{ \pi} \left ( 2^{-2/3}+4^{2/3}\right)^{3/2} \\ &= \frac 43 V \left ( \frac{1+4}{2^{2/3}} \right)^{3/2} \\ &= \frac43 \frac{5^{3/2}}{2} V \\ &= \frac{2 \cdot \sqrt{125}}{3} V \end{align*}

---

Solution: \begin{align*} && 0 &\leqslant (a_1 - a_2)^2 \\ &&&= a_1^2 -2a_1a_2 + a_2^2 \\ &&&= (a_1+a_2)^2 -4a_1a_2 \\ \Leftrightarrow && a_1a_2 &\leqslant \left ( \frac{a_1+a_2}2 \right)^2 \end{align*} Claim: \((*)\) is true Proof: (By induction) We have already proven the base case. Suppose it is true for some \(m\), then consider \(m+1\) \begin{align*} && a_1 \cdots a_{2^m} &\leqslant \left ( \frac{a_1 + \cdots + a_{2^m}}{2^m} \right)^{2^m} \tag{by (*)} \\ && a_{2^m+1} \cdots a_{2^{m+1}} &\leqslant \left ( \frac{a_{2^m+1} + \cdots + a_{2^{m+1}}}{2^m} \right)^{2^m} \tag{by (*)} \\ \Rightarrow && (a_1 \cdots a_{2^m})^{1/2^m} &\leqslant \left ( \frac{a_1 + \cdots + a_{2^m}}{2^m} \right) \\ && (a_{2^m+1} \cdots a_{2^{m+1}})^{1/2^m} &\leqslant \left ( \frac{a_{2^m+1} + \cdots + a_{2^{m+1}}}{2^m} \right) \\ \Rightarrow && (a_1 \cdots a_{2^m})^{1/2^m} \cdot (a_{2^m+1} \cdots a_{2^{m+1}})^{1/2^m} &\leqslant \left ( \frac{ (a_1 \cdots a_{2^m})^{1/2^m} +(a_{2^m+1} \cdots a_{2^{m+1}})^{1/2^m} }{2} \right )^2 \\ &&&\leqslant \left ( \frac{ \frac{a_1 + \cdots + a_{2^m}}{2^m}+\frac{a_{2^m+1} + \cdots + a_{2^{m+1}}}{2^m} }{2} \right )^2 \\ &&&\leqslant \left ( \frac{ a_1 + \cdots + a_{2^m}+a_{2^m+1} + \cdots + a_{2^{m+1}} }{2^{m+1}} \right )^2 \\ \Rightarrow && a_1 \cdots a_{2^{m+1}} &\leqslant \left ( \frac{a_1 + \cdots + a_{2^{m+1}}}{2^{m+1}} \right)^{2^{m+1}} \end{align*} Which is precisely \((*)\) for \(m+1\). Therefore our statement is true by induction. Suppose \(n < 2^m\) and \(b_1 = a_1, b_2 = a_2, \cdots b_n = a_n\) and \(b_{n+1} = \cdots = b_{2^m} = A\) where \(A = \frac{a_1 + \cdots + a_n}{n}\) then \begin{align*} && b_1 \cdots b_n \cdot b_{n+1} \cdots b_{2^m} &\leq \left ( \frac{b_1 + \cdots + b_n + b_{n+1} + \cdots + b_{2^m}}{2^{m}} \right)^{2^m} \\ \Leftrightarrow && a_1 \cdots a_n \cdot A^{2^m-n} &\leq \left ( \frac{a_1 + \cdots + a_n + (2^m-n)A}{2^m} \right)^{2^m} \\ &&&= \left ( \frac{nA + (2^m - n)A}{2^m} \right)^{2^m} \\ &&&= A^{2^m} \\ \Rightarrow && a_1 \cdots a_n &\leq A^n \\ \Rightarrow && (a_1 \cdots a_n)^{1/n} &\leq A = \frac{a_1 + \cdots + a_n}{n} \end{align*}