Bound these Sines

Algebra Level 5

If m m is the minimum value and M M is the maximum value of

c y c ( sin α + sin β sin γ sin α sin β sin γ ) , \sum_{cyc} (\sin\alpha+\sin\beta\sin\gamma-\sin\alpha\sin\beta\sin\gamma),

then what is the value of M m ? \lfloor M-m \rfloor?


The answer is 8.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Daniel Liu
Jun 2, 2014

First, assume β \beta and γ \gamma are constants. The expression turns into c 1 sin α + c 2 c_1\sin \alpha +c_2 for some constants c 1 c_1 and c 2 c_2 which is a linear expression in sin α \sin\alpha . This means that the extremes are at the endpoints of the range of sin α \sin\alpha , which is 1 , 1 -1,1 . The same reasoning can be applied to β \beta and γ \gamma to obtain sin α = 1 or 1 \sin\alpha=-1\text{ or }1 sin β = 1 or 1 \sin\beta=-1\text{ or }1 sin γ = 1 or 1 \sin\gamma=-1\text{ or }1

Thus we have a few cases to check: ( sin α , sin β , sin γ ) = ( 1 , 1 , 1 ) Case 1 or ( 1 , 1 , 1 ) Case 2 or ( 1 , 1 , 1 ) Case 3 or ( 1 , 1 , 1 ) Case 4 \begin{aligned}(\sin\alpha,\sin\beta,\sin\gamma)=(1,1,1)\qquad&\text{Case 1}\\ \text{or }(1,1,-1)\qquad&\text{Case 2}\\ \text{or }(1,-1,-1)\qquad&\text{Case 3}\\ \text{or }(-1,-1,-1)\qquad&\text{Case 4} \end{aligned}

Plugging these values in, we see that ( 1 , 1 , 1 ) 3 (1,1,1)\implies 3 ( 1 , 1 , 1 ) 3 (1,1,-1)\implies 3 ( 1 , 1 , 1 ) 5 (1,-1,-1)\implies -5 ( 1 , 1 , 1 ) 3 (-1,-1,-1)\implies 3

Thus, M = 3 M=3 and m = 5 m=-5 . Therefore the answer is 8 \boxed{8} .


The equality cases for maximum is: ( α , β , γ ) = ( π 2 + 2 π n α , π 2 + 2 π n β , π 2 + 2 π n γ ) (\alpha,\beta,\gamma)=\left(\dfrac{\pi}{2}+2\pi n_{\alpha}, \dfrac{\pi}{2}+2\pi n_{\beta}, \dfrac{\pi}{2}+2\pi n_{\gamma}\right) ( α , β , γ ) = ( π 2 + 2 π n α , π 2 + 2 π n β , 3 π 2 + 2 π n γ ) and permutations (\alpha,\beta,\gamma)=\left(\dfrac{\pi}{2}+2\pi n_{\alpha}, \dfrac{\pi}{2}+2\pi n_{\beta}, \dfrac{3\pi}{2}+2\pi n_{\gamma}\right)\quad\text{and permutations} ( α , β , γ ) = ( 3 π 2 + 2 π n α , 3 π 2 + 2 π n β , 3 π 2 + 2 π n γ ) (\alpha,\beta,\gamma)=\left(\dfrac{3\pi}{2}+2\pi n_{\alpha}, \dfrac{3\pi}{2}+2\pi n_{\beta}, \dfrac{3\pi}{2}+2\pi n_{\gamma}\right)

The equality case for minimum is: ( α , β , γ ) = ( π 2 + 2 π n α , 3 π 2 + 2 π n β , 3 π 2 + 2 π n γ ) and permutations (\alpha,\beta,\gamma)=\left(\dfrac{\pi}{2}+2\pi n_{\alpha}, \dfrac{3\pi}{2}+2\pi n_{\beta}, \dfrac{3\pi}{2}+2\pi n_{\gamma}\right)\quad\text{and permutations}

where n α , n β , n γ n_{\alpha},n_{\beta},n_{\gamma} are integers.

Nice approach using the linearity to bound the cases that we care about to just the endpoints. However, note that it is not necessarily true that the extrema only occur at the end points.

Calvin Lin Staff - 7 years ago

Log in to reply

Wait, really? Can you explain why, with perhaps an example, maybe? Thanks.

Daniel Liu - 7 years ago

Log in to reply

Consider the linear function f ( x , y , z ) f(x, y, z ) , in the domain 1 x 1 , 1 y 1 , 1 z 1 -1 \leq x \leq 1, -1 \leq y \leq 1, -1 \leq z \leq 1 . Then, we know that the maximum (and minimum) are achieved at the end points x , y , z = ± 1 x , y, z = \pm 1 . However, the maximum could also be achieved at other points.

For example, consider the linear functions f ( x , y , z ) = 0 f(x, y, z) = 0 or f ( x , y , z ) = x + y f(x, y, z) = x+y . They have other extrema cases, that do not occur at the vertices.

This comment is especially relevant to your classification of the equality cases for the maximum. Do you see why?

Calvin Lin Staff - 7 years ago

Log in to reply

@Calvin Lin I think I am seeing why sometimes the extremal cases aren't exclusively the max/min. Does it have to do with the linear function being constant?

I found some more maximum cases, namely when one of sin α , sin β , sin γ \sin\alpha, \sin\beta, \sin\gamma is 0 0 and the other two are 1 1 . In this case, when taking the two non-zero variables as constant, the resulting linear equation in the last variable is constant (I think). Does that means that one of the angles can be arbitrary and still yield a max/min case, though?

EDIT: all this being said, I am safe to assume either the maximum or the minimum happens at the endpoints, right? I do not necessarily find all possible max/min cases, but I can at least ensure that when I check the endpoints, I will achieve one or the other.

Daniel Liu - 7 years ago

Log in to reply

@Daniel Liu Yes, if the function, which is linear in x x , is equal at 2 points x 1 , x 2 x_1, x_2 (with equal y , z y, z coordinates), then it is equal on the entire line connecting the 2 points. Hence, if it attains the maximum at 2 points, then it attains the maximum on the line containing those 2 points.

The maximum (minimum) MUST occur at the endpoints. But, it is not necessarily true that the maximum ONLY occurs at the endpoints. For example, ( π 2 , π 2 , z ) (\frac{\pi}{2}, \frac { \pi}{2} , z ) is also a maximum point .

Calvin Lin Staff - 7 years ago

I don't understand how you get that ( 1 , 1 , 1 ) 3 (1, 1, 1) \Rightarrow 3

I would have thought that if sin α = 1 , sin β = 1 , sin γ = 1 \sin \alpha = 1, \sin \beta = 1, \sin \gamma = 1 then c y c ( sin α + sin β sin γ sin α sin β sin γ ) = ( 1 + 1 × 1 1 × 1 × 1 ) = 1 \displaystyle \sum_{cyc} (\sin \alpha + \sin \beta \sin \gamma - \sin \alpha \sin \beta \sin \gamma ) = (1 + 1 \times 1 - 1 \times 1 \times 1) = 1

I must be misunderstanding something?

Ahmed Luqman - 6 years, 9 months ago
Ariel Gershon
Aug 4, 2014

For simplicity, let a = s i n ( α ) , b = s i n ( β ) , c = s i n ( γ ) a = sin(\alpha), b = sin(\beta), c = sin(\gamma) . Then 1 a , b , c 1 -1 \le a,b,c \le 1 .

Let f ( a , b , c ) f(a,b,c) be the expression we need to minimize. Then, f ( a , b , c ) = ( a + b + c ) + ( a b + a c + b c ) 3 a b c f(a,b,c) = (a+b+c) + (ab+ac+bc) - 3abc We can rewrite it as f ( a , b , c ) = ( 1 + a ) ( 1 + b ) ( 1 + c ) 1 4 a b c f(a,b,c) = (1+a)(1+b)(1+c) - 1 - 4abc .

Note that each of 1 + a , 1 + b , 1 + c 1+a,1+b,1+c are 0 \ge 0 . Therefore, ( 1 + a ) ( 1 + b ) ( 1 + c ) 0 (1+a)(1+b)(1+c) \ge 0 By similar logic, 4 a b c 4 - 4abc \ge -4 Therefore, f ( a , b , c ) 0 1 4 = 5 f(a,b,c) \ge 0 - 1 - 4 = -5 This value is achieved because f ( 1 , 1 , 1 ) = 5 f(1,-1,-1) = -5 (i.e. when α = π 2 , β = γ = π 2 \alpha = \frac{\pi}{2}, \beta = \gamma = \frac{-\pi}{2} ). Thus m = 5 m = -5 .

Now let's consider 3 f ( a , b , c ) 3 - f(a,b,c) . We can rewrite it as follows: 3 f ( a , b , c ) = 3 ( a b + a c + b c ) + 3 a b c ( a + b + c ) 3 - f(a,b,c) = 3 - (ab+ac+bc) + 3abc - (a+b+c) = ( 1 a b ) + ( 1 a c ) + ( 1 b c ) + ( a b c a ) + ( a b c b ) + ( a b c c ) = (1-ab) + (1-ac) + (1-bc) + (abc-a)+(abc-b)+(abc-c) = [ ( 1 b c ) a ( 1 b c ) ] + [ ( 1 a c ) b ( 1 a c ) ] + [ ( 1 a b ) c ( 1 a b ) ] = \left[(1-bc) - a(1-bc) \right] + \left[(1-ac) - b(1-ac) \right] + \left[(1-ab) - c(1-ab) \right] = ( 1 b c ) ( 1 a ) + ( 1 a c ) ( 1 b ) + ( 1 a b ) ( 1 c ) = (1-bc)(1-a) + (1-ac)(1-b) + (1-ab)(1-c)

Note that each of 1 a , 1 b , 1 c , 1 b c , 1 a c , 1 a b 1-a,1-b,1-c,1-bc, 1-ac, 1-ab are 0 \ge 0 . Therefore this whole expression is 0 \ge 0 .

Thus 3 f ( a , b , c ) 0 3 - f(a,b,c) \ge 0 , so f ( a , b , c ) 3 f(a,b,c) \le 3 . This value is achieved since f ( 1 , 1 , 1 ) = 3 f(1,1,1) = 3 (i.e. when α = β = γ = π 2 \alpha = \beta = \gamma = \frac{\pi}{2} . Hence M = 3 M = 3 .

Therefore M m = 8 M - m = \boxed{8} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...