Let a and b be positive real numbers with a≥b. Let ρ be the maximum possible value of ba for which the system of equations
a2+y2=b2+x2=(a−x)2+(b−y)2
has a solution in (x,y) satisfying 0≤x<a and 0≤y<b. Then ρ2 can be expressed as a fraction nm, where m and n are relatively prime positive integers. Find m+n.
解析
Solutions
Solution 1
Notice that the given equation implies
a2+y2=b2+x2=2(ax+by)
We have 2by≥y2, so 2ax≤a2⟹x≤2a.
Then, notice b2+x2=a2+y2≥a2, so b2≥43a2⟹ρ2≤34.
The solution (a,b,x,y)=(1,23,21,0) satisfies the equation, so ρ2=34, and the answer is 3+4=007.
Solution 2
Consider the points (a,y) and (x,b). They form an equilateral triangle with the origin. We let the side length be 1, so a=cosθ and b=sin(θ+3π).
Thus f(θ)=ba=sin(θ+3π)cosθ and we need to maximize this for 0≤θ≤6π.
Taking the derivative shows that −f′(θ)=sin2(θ+3π)cos3π≥0, so the maximum is at the endpoint θ=0. We then get
ρ=sin3πcos0=32
Then, ρ2=34, and the answer is 3+4=007.
(For a non-calculus way to maximize the function above:
Let us work with degrees. Let f(x)=sin(x+60)cosx. We need to maximize f on [0,30].
Suppose k is an upper bound of f on this range; in other words, assume f(x)≤k for all x in this range. Then:
cosx≤ksin(x+60)=k⋅(23cosx+21sinx)→0≤(23k−1)cosx+2ksinx→0≤(3k−2)cosx+ksinx→(2−3k)cosx≤ksinx→k2−3k≤tanx,
for all x in [0,30]. In particular, for x=0, k2−3k must be less than or equal to 0, so k≥32.
The least possible upper bound of f on this interval is k=32. This inequality must hold by the above logic, and in fact, the inequality reaches equality when x=0. Thus, f(x) attains a maximum of 32 on the interval.)
Solution 3
Consider a cyclic quadrilateral ABCD with ∠B=∠D=90∘, and AB=y,BC=a,CD=b,AD=x. Then
AC2=a2+y2=b2+x2
From Ptolemy's Theorem, ax+by=AC(BD), so
AC2=(a−x)2+(b−y)2=a2+y2+b2+x2−2(ax+by)=2AC2−2AC∗BD
Simplifying, we have BD=AC/2.
Note the circumcircle of ABCD has radius r=AC/2, so BD=r and has an arc of 60∘, so ∠C=30∘. Let ∠BDC=θ.
ba=CDBC=sin(150∘−θ)sinθ, where both θ and 150∘−θ are ≤90∘ since triangle BCD must be acute. Since sin is an increasing function over (0,90∘), sin(150∘−θ)sinθ is also increasing function over (60∘,90∘).
ba maximizes at θ=90∘⟹ba maximizes at 32. This squared is (32)2=34, and 4+3=007.
Note:
None of the above solutions point out clearly the importance of the restriction that a, b, x and y be positive. Indeed, larger values of p are obtained when the lower vertex of the equilateral triangle in Solution 2 dips below the x-axis. Take for example −15=θ. This yields p=(1+3)/2>4/3
Solution 4
The problem is looking for an intersection in the said range between parabola P: y=2b(x−a)2+b2−a2 and the hyperbola H: y2=x2+b2−a2. The vertex of P is below the x-axis and it's x-coordinate is a, which is to the right of the vertex of the H, which is a2−b2. So for the intersection to exist with xandy \geq 0,Pneedstocrossx−axisbetween\sqrt{a^2 - b^2},anda$, meaning,
(a2−b2−a)2+b2−a2≥0
Divide both side by b2,
(ρ2−1−ρ)2+1−ρ2≥0
which can be easily solved by moving 1−ρ2 to RHS and taking square roots. Final answer ρ2≤34007
Solution 5
The given system is equivalent to the points (a,y) and (x,b) forming an equilateral triangle with the origin. WLOG let this triangle have side length 1, so x=1−a2. The condition ximplies(x,b)liestotheleftof(a,y),so(x,b)isthetopvertex.Nowwecancompute(bycomplexnumbers,orthesineangleadditionidentity)thatb = \frac{\sqrt{3}}{2}a + \frac{1}{2}\sqrt{1-a^2},so\frac{a}{b} = \frac{a}{\frac{\sqrt{3}}{2}a + \frac{1}{2}\sqrt{1-a^2}} = \frac{1}{\frac{\sqrt{3}}{2} + \frac{1}{2a}\sqrt{1-a^2}}.Minimizingthisisequivalenttominimizingthedenominator,whichhappenswhen\sqrt{1-a^2} = 0andthusa=1,resultingin\rho = \frac{2}{\sqrt{3}},so\rho^2 = \frac{4}{3}andtheansweris\boxed{007}$.
As a remark, expressing the condition that the triangle is equilateral purely algebraically instead of using trig eliminates the need for calculus or analyzing the behavior of sine.
Solution 6 (Geometry and Trigonometry)
Notice that by Pythagorean theorem, if we take a triangle with vertices (0,0),(a,y), and (x,b) forming an equilateral triangle. Now, take a rectangle with vertices (0,0),(a,0),(0,b),(a,b). Notice that (a,y) and (x,b) are on the sides. Let α be the angle formed by the points (0,b),(0,0),(x,b). Then, we have that
cosα=sb,
where s is the side of the equilateral triangle. Also, we have that 30∘−α is the angle formed by the points (a,0),(0,0),(a,y), and so
cos(30∘−α)=sa.
Thus, we have that
ba=cosαcos(30∘−α).
We see that this expression is maximized when α is maximized (at least when α is in the interval (0,90∘), which it is). Then, α≥30∘, so ew have that the maximum of ba is
cos30∘cos0=32,
and so our answer is 4+3=7.
Solution 7 (No calc/trig)
As the previous solutions pointed out, we have that the triangle with vertices (0,0),(a,y), and (x,b) is equilateral. Then, note that that equilateral triangle is inscribed in a rectangle with vertices (0,0),(a,0),(a,b), and (0,b). Thus, our objective is to find the most "oblique" rectangle that has an equilateral triangle inscribed in it.
This is when a side of the equilateral triangle coincides with a side of the rectangle, and therefore an axis. We see this because if we rotate it so that it is no longer the case, the longer side decreases in length while the shorter side increases in length. Rotating it to coincides with the other axis, it is just the original rectangle reflected over y=x. WLOG let the side length of the equilateral triangle be 1. Then, by our above argument,