6

Let $a,b>0$ and satisfy $a^2+\dfrac{b^2}{45}=1$. Find the minimum value of $\dfrac{2}{1-a}+\dfrac{75}{10-b}.$

WA gives the result that $\min\left(\dfrac{2}{1-a}+\dfrac{75}{10-b}\right)=21$ with $a=\dfrac{2}{3},b=5$.

Consider making a transformation like this

$$\dfrac{2}{1-a}+\dfrac{75}{10-b}=\frac{2\cdot (ma)^2}{ma\cdot ma\cdot (1-a)}+\frac{75\cdot(nb)^2}{nb\cdot nb\cdot(10-b)}.$$

If $2m=2n=1$, $ma=1-a$, and $ nb=10-b$ can all hold, we can apply AM-GM inequality as follows

$$\frac{2\cdot (ma)^2}{ma\cdot ma\cdot (1-a)}+\frac{75\cdot(nb)^2}{nb\cdot nb\cdot(10-b)}\geq \frac{2\cdot (ma)^2}{\left(\frac{ma +ma+(1-a)}{3}\right)^3}+\frac{75\cdot(nb)^2}{\left(\frac{nb+nb+(10-b)}{3}\right)^3}=\cdots$$ But this is invalid, since $n=\frac{1}{2},nb=10-b$ can not satisfy $b=5$. How to solve it?

WuKong
  • 14,476
  • Here is a "brute force" way with calculus (which is probably also how Wolfram Alpha obtains the result): We want to minimize $$f\left(1-\frac{b^2}{45},b\right)=\frac{2}{1-\sqrt{1-\frac{b^2}{45}}}+\frac{75}{10-b}$$ First, check the boundaries (omitted). Then notice $$f'(b)=\frac{75}{(b-10)^2}-\frac{2 b}{45 \sqrt{1-\frac{b^2}{45}} \left(1-\sqrt{1-\frac{b^2}{45}}\right)^2}$$ so $$f'(b)=0\iff -\frac{15 \left(2 \sqrt{5} b^3+25 \sqrt{45-b^2} b^2-190 \sqrt{5} b^2-2250 \sqrt{45-b^2}+200 \sqrt{5} b+6750 \sqrt{5}\right)}{(b-10)^2 \sqrt{45-b^2} \left(\sqrt{5} \sqrt{45-b^2}-15\right)^2}$$ – Maximilian Janisch Feb 03 '20 at 09:28
  • which is implied by $$-15 \left(2 \sqrt{5} b^3+25 \sqrt{45-b^2} b^2-190 \sqrt{5} b^2-2250 \sqrt{45-b^2}+200 \sqrt{5} b+6750 \sqrt{5}\right)=0.$$ This last equation is in turn equivalent to $$\sqrt{45-b^2} \left(33750-375 b^2\right)=30 \sqrt{5} b^3-2850 \sqrt{5} b^2+3000 \sqrt{5} b+101250 \sqrt{5}.$$ Squaring both sides gives $$-140625 b^6+31640625 b^4-2278125000 b^2+51257812500=4500 b^6-855000 b^5+41512500 b^4-55125000 b^3-2840625000 b^2+3037500000 b+51257812500$$ which can be written as $$-145125 b^6+855000 b^5-9871875 b^4+55125000 b^3+562500000 b^2-3037500000 b=0$$ – Maximilian Janisch Feb 03 '20 at 09:31
  • which in turn can be written as $-1125 b (b-5) (129 b^4-115 b^3+8200 b^2-8000 b-540000)=0$ and thus $b=0$ or $b=5$ or $129 b^4-115 b^3+8200 b^2-8000 b-540000=0$. All the zeros of this quartic polynomial are known. Indeed, there is exactly one positive real root and it is – Maximilian Janisch Feb 03 '20 at 09:34
  • $$b=\frac{115}{516}+\frac{5}{516}\sqrt{-112303-\frac{53075072\ 2^{2/3}}{\sqrt[3]{84384391+24135\sqrt{24834945}}}+344 \sqrt[3]{2\left(84384391+24135 \sqrt{24834945}\right)}}+\frac12 \sqrt{-\frac{2807575}{33282}+\frac{7714400\ 2^{2/3}}{387 \sqrt[3]{84384391+24135 \sqrt{24834945}}}-\frac{50}{387} \sqrt[3]{2 \left(84384391+24135 \sqrt{24834945}\right)}+\frac{115991375}{33282 \sqrt{-112303-\frac{53075072
    2^{2/3}}{\sqrt[3]{84384391+24135 \sqrt{24834945}}}+344\sqrt[3]{2\left(84384391+24135 \sqrt{24834945}\right)}}}}$$ Now one can check numerically that the inequality is satisfied at these points
    – Maximilian Janisch Feb 03 '20 at 09:35
  • @MaximilianJanisch, I think this would serve much better as an answer :) – Yuriy S Feb 03 '20 at 09:52
  • @YuriyS Thanks, you are right. I am a bit busy right now but I'll maybe try to turn it into an answer tomorrow – Maximilian Janisch Feb 03 '20 at 09:55

5 Answers5

7

I come up with a solution which is based on the clue I posted above.

\begin{align*} \frac{2}{1-a}+\frac{75}{10-b}&=\frac{2}{1-a}+\frac{15}{2}\cdot\frac{b}{10-b}+\frac{15}{2}\\ &=\frac{2\cdot \frac{a}{2}\cdot \frac{a}{2}}{(1-a)\cdot \frac{a}{2}\cdot\frac{a}{2}}+\frac{15}{2}\cdot\frac{b\cdot b}{(10-b)\cdot b}+\frac{15}{2}\\ &\ge\frac{\frac{a^2}{2}}{\left(\frac{(1-a)+\frac{a}{2}+\frac{a}{2}}{3}\right)^3}+\frac{15}{2}\cdot\frac{b^2}{\left(\frac{(10-b)+ b}{2}\right)^2}+\frac{15}{2}\\ &\ge \frac{27}{2}\left(a^2+\frac{b^2}{45}\right)+\frac{15}{2}\\ &=\frac{27}{2}\cdot1+\frac{15}{2}\\ &=21, \end{align*} which hold as equality iff $1-a=\dfrac{a}{2},10-b=b,$ namely $a=\dfrac{2}{3},b=5$.

Zack Fisher
  • 2,510
WuKong
  • 14,476
  • +1 for a beautiful answer and just one more point: we can assume $a, b > 0$ when we do AM-GM, because we want to maximise the denominators to minimise the expression. – Toby Mak Feb 05 '20 at 11:56
  • @TobyMak $a,b>0$ is just the given condition. No need to assume more. – WuKong Feb 05 '20 at 13:19
  • 2
    It seems that this also requires that one knows the answer $(2/3,\ 5)$ a priori, because the $a$ term and $b$ term are treated differently. Is there a proof that treats them more similarly? – Zack Fisher Dec 14 '25 at 08:15
3

The Tangent Line method helps.

Let $a=\frac{2}{3}x$ and $b=5y$.

Thus, $$4x^2+5y^2=9$$ and $$\frac{2}{1-a}+\frac{75}{10-b}-21=3\left(\frac{2}{3-2x}+\frac{5}{2-y}-7\right)=$$ $$=3\left(\frac{2}{3-2x}-2-2(x^2-1)+\frac{5}{2-y}-5-\frac{5}{2}(y^2-1)\right)=$$ $$=\frac{6(x-1)^2(2x+1)}{3-2x}+\frac{15y(y-1)^2}{2(2-y)}\geq0.$$ The equality occurs for $x=y=1,$ which says that $21$ is a minimal value.

There is the following reasoning.

Let $$\frac{2}{1-a}+\frac{75}{10-b}=k.$$ Thus, $$b=10-\frac{75}{k-\frac{2}{1-a}}$$ and find all values of $k$ for which the equation $$a^2+\frac{\left(10-\frac{75}{k-\frac{2}{1-a}}\right)^2}{45}=1$$ has solutions $0<a<1.$

3

There is another way using parameterisation. Let $a = \cos t, b = \sqrt{45} \sin t$, then we have:

$$f(t) = \frac{2}{1-\cos t} + \frac{75}{10-\sqrt{45} \sin t}$$ $$f'(t) = -\frac{2 \sin t}{(1-\cos t)^2} + \frac{225 \sqrt5 \cos t}{(10-3 \sqrt{5} \sin t)^2}$$

The condition that $a,b > 0$ translates to $0 < t < \frac{\pi}{2}$. Setting $f'(t)$ equal to $0$, we find that only $0.841$ (actually $\tan^{-1} \left( \frac{1}{\sqrt5} \right)$) is inside the range.

Therefore the minimum value is $f(0.841) = 21$.

Toby Mak
  • 17,223
  • Can you solve $f'(t)=0$ only by hand? – WuKong Feb 03 '20 at 18:13
  • It is possible but it would take hours to do by hand. Rearranging you would get a cubic in terms of $\cos t$ equal to a cubic in terms of $\sin t$, and using $\sin t = \sqrt{1- \cos^2 t}$ (since $0 < t < \frac{\pi}{2}$) you can get everything in terms of $\sin t$. Solving using Cardano's formula should give one root as $\cos t = \sqrt{\frac{5}{6}}$ as a result which is equivalent to $t = \arctan \frac{1}{\sqrt5}$. – Toby Mak Feb 04 '20 at 01:51
2

Once we know the minimizer, we can give a simple solution. Here is a way (by hand) to obtain the minimizer (which motivates the simple solution).

Since $\frac{2}{1-a} > 2$ and $\frac{75}{10-b} > \frac{75}{10}$, let $$x := \frac{2}{1-a} - 2 > 0, \quad y := \frac{75}{10-b} - \frac{75}{10} > 0.$$ We have $$a = \frac{x}{2+x}, \quad b = \frac{20y}{15 + 2y}.$$

From $a^2 + \frac{b^2}{45} = 1$, we have $$\frac{x^2}{(2+x)^2} + \frac{1}{45}\frac{(20y)^2}{(15 + 2y)^2} = 1$$ which results in $$y = \frac{135x + 135 + 45(2 + x)\sqrt{5(1+x)}}{10x^2 + 22x + 22}.$$

We have $$\frac{2}{1-a} + \frac{75}{10-b} = 2 + x + \frac{75}{10} + y$$ $$= \frac{19}{2} + x + \frac{135x + 135 + 45(2 + x)\sqrt{5(1+x)}}{10x^2 + 22x + 22}.$$

Let us eliminate the sqrt. Let $u := \sqrt{5(1+x)} > \sqrt{5}$. We have $x = \frac{u^2}{5} - 1$. We have $$\frac{2}{1-a} + \frac{75}{10-b} = \frac{17}2 + \frac{u^2}{5} + \frac{45u}{2u^2 - 6u + 10} =: f(u).$$ We turn to find the minimum of $f(u)$ subject to $u > \sqrt{5}$. We have $$f'(u) = \frac{(u-5)(4u^4-4u^3+56u^2-65u-225)}{10(u^2-3u+5)^2}.$$ (Note: Here we use the rational root theorem to obtain the factor $u - 5$.) We have $f(5) = 21$. $21$ is the minimum since $$f(u) - 21 = \frac{(2u^2 + 14u - 25)(u-5)^2}{10(u^2-3u+5)} \ge 0, \, \forall u > \sqrt{5}.$$ (Note: Here we use the fact that $f(u) - 21$ has a factor $u - 5$.)

River Li
  • 51,793
1

The method of Lagrange Multipliers is also one new insight to this question

Let the Lagrangian be: $$L(a, b, \lambda) = \frac{2}{1-a} + \frac{75}{10-b} + \lambda\left(a^2 + \frac{b^2}{45} - 1\right)$$

We take the partial derivatives with respect to $a$ and $b$ and set them to zero:

  1. $\frac{\partial L}{\partial a} = \frac{2}{(1-a)^2} + 2a\lambda = 0 \implies \lambda = -\frac{1}{a(1-a)^2}$
  2. $\frac{\partial L}{\partial b} = \frac{75}{(10-b)^2} + \frac{2b}{45}\lambda = 0 \implies \lambda = -\frac{75 \cdot 45}{2b(10-b)^2} = -\frac{3375}{2b(10-b)^2}$

Equating the two expressions for $\lambda$: $$\frac{1}{a(1-a)^2} = \frac{3375}{2b(10-b)^2}$$ $$2b(10-b)^2 = 3375 a(1-a)^2$$

Verify if there are simple rational solutions for $a$ and $b$. Let's test $a = \frac{2}{3}$. If $a = \frac{2}{3}$, then substitute into the constraint equation: $$\left(\frac{2}{3}\right)^2 + \frac{b^2}{45} = 1$$ $$\frac{4}{9} + \frac{b^2}{45} = 1$$ $$\frac{b^2}{45} = 1 - \frac{4}{9} = \frac{5}{9}$$ $$b^2 = 45 \cdot \frac{5}{9} = 25 \implies b = 5 \quad (\text{since } b > 0)$$

Now we check if these values satisfy the Lagrange condition $2b(10-b)^2 = 3375 a(1-a)^2$:

$LHS:$ $$2(5)(10-5)^2 = 10(5)^2 = 10(25) = 250$$ $RHS:$ $$3375 \left(\frac{2}{3}\right) \left(1-\frac{2}{3}\right)^2 = 3375 \cdot \frac{2}{3} \cdot \left(\frac{1}{3}\right)^2$$ $$= 3375 \cdot \frac{2}{3} \cdot \frac{1}{9} = \frac{3375 \cdot 2}{27} = 125 \cdot 2 = 250$$

Since LHS = RHS, the point $(a, b) = (\frac{2}{3}, 5)$ is a critical point.

Finally, we evaluate the expression $S$ at this point: $$S = \frac{2}{1-2/3} + \frac{75}{10-5}$$ $$S = \frac{2}{1/3} + \frac{75}{5}$$ $$Ans = S = 6 + 15 = \boxed{21}$$

Analysis of the function behavior at the boundaries ($a \to 0, a \to 1$) and other critical points confirms this is the global minimum.