Trap e zium

Algebra Level 5

For how many real values of the parameter a a is the following true?

If for every solution θ \theta of the equation:

6 sin ( 2 θ + 11 π a 6 ) 6 sin ( 11 π a 6 ) 24 a 3 28 a 2 6 a + 1 6\sin(2\theta+\frac{11\pi a}{6}) - 6\sin (\frac{11\pi a}{6})-24a^3-28a^2-6a+1
= 2 ( 12 a 2 + 8 a 1 ) cos ( θ + 11 π a 6 ) 6 ( 2 a + 1 ) sin θ , =2(12a^2+8a-1)\cos(\theta+\frac{11\pi a}{6}) - 6(2a+1)\sin \theta,

we draw a point ( cos θ , sin θ ) (\cos \theta, \sin \theta) , then we will obtain exactly four points that form a trapezium.

Details and assumptions

A trapezium has a pair of parallel sides


The answer is 5.

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.

4 solutions

Suppose m = 12 a 2 + 8 a 1 m=12a^2+8a-1 , n = 2 a 1 n=-2a-1 and ϕ = 11 π a 6 \phi=\frac{11\pi a}{6} , so m n = 24 a 3 28 a 2 6 a + 1 mn=-24a^3-28a^2-6a+1 .

Therefore, the equation becomes:

6 sin ( 2 θ + ϕ ) 6 sin ϕ + m n = 2 m cos ( θ + ϕ ) + 6 n sin θ 6\sin (2\theta +\phi)-6\sin \phi +mn=2m\cos (\theta +\phi )+6n\sin \theta

12 cos ( θ + ϕ ) sin θ + m n 2 m cos ( θ + ϕ ) 6 n sin θ 12\cos (\theta +\phi) \sin \theta +mn-2m\cos (\theta +\phi )-6n\sin \theta =0

( 2 cos ( θ + ϕ ) n ) ( 6 sin θ m ) (2\cos (\theta +\phi)-n)(6\sin \theta -m) =0

Hence, cos ( θ + ϕ ) = n 2 \cos (\theta +\phi)=\frac{n}{2} (I)

or sin θ = m 6 \sin \theta=\frac{m}{6} . (II)

We will obtain exacly 4 roots if 1 < n 2 < 1 -1 < \frac{n}{2} < 1 and 1 < m 6 < 1 -1 < \frac{m}{6} < 1 .

We notice that when draw point ( cos θ , sin θ ) (\cos \theta, \sin \theta) of these 4 roots, these point will be on the circle (0;1), the line connect two points of (II) will parallel to the horizontal axis but the direction of the line connect two points of (I) depends on ϕ \phi . Therefore, there are two cases for these 4 points to form a trapezoid:

Case 1: n 2 = m 6 \frac{n}{2}=\frac{m}{6} or n 2 = m 6 \frac{n}{2}=-\frac{m}{6} in order to make the segment of 2 points of (I) equal to that of (II).

Solve these equation, we obtain 4 distinct values of a: 1 , 1 6 , 1 2 , 2 3 -1,\frac{-1}{6},\frac{1}{2},\frac{-2}{3} ,but only 1 , 1 6 , 2 3 -1,\frac{-1}{6},\frac{-2}{3} satisfy 1 < n 2 < 1 -1 < \frac{n}{2} < 1 and 1 < m 6 < 1 -1 < \frac{m}{6} < 1 . a = 1 a=-1 is also not satisfy since it makes one root of (I) equals to one root of (II).

Case 2: ϕ = π 2 + k π \phi=\frac{\pi}{2}+k \pi in order to make the line connect 2 points of (I) parallels to the horizontal axis and therefor parallels to the line connect 2 points of (II).

In order to satisfy 1 < n 2 < 1 -1 < \frac{n}{2} < 1 and 1 < m 6 < 1 -1 < \frac{m}{6} < 1 , we obtain 3 possible values of k: -2,-1,0 and therefore 3 values of a: 3 11 , 3 11 , 9 11 \frac{3}{11}, \frac{-3}{11}, \frac{-9}{11} .

In conclusion, there are 5 values of a satisfy the condition: 3 11 , 3 11 , 9 11 , 1 6 , 2 3 \frac{3}{11}, \frac{-3}{11}, \frac{-9}{11},\frac{-1}{6},\frac{-2}{3} .

Moderator note:

Nicely done!

Mark Hennings
Aug 13, 2013

Using the factor formulae, the equation factors as ( 2 cos ( θ + 11 π a 6 ) + 2 a + 1 ) ( 6 sin θ ( 12 a 2 + 8 a 1 ) ) = 0 \left(2\cos(\theta+\tfrac{11\pi a}{6}) + 2a+1\right)\left(6\sin\theta - (12a^2+8a-1)\right)\;=\;0 so the solutions are θ 1 = α θ 2 = π α θ 3 = 11 π a 6 + β θ 4 = 11 π a 6 β \theta_1 = \alpha \qquad \theta_2 = \pi-\alpha \\ \theta_3 = -\tfrac{11\pi a}{6} + \beta \qquad \theta_4 = -\tfrac{11\pi a}{6} - \beta where α = sin 1 ( 12 a 2 + 8 a 1 6 ) β = cos 1 ( 2 a + 1 2 ) \alpha \; = \; \sin^{-1}(\tfrac{12a^2+8a-1}{6}) \qquad \beta \;=\; \cos^{-1}(-\tfrac{2a+1}{2}) For both α \alpha and β \beta to exist we need 7 6 a 1 2 -\frac76 \le a \le \frac12 . If a = 1 2 a=\frac12 then α = π 2 \alpha=\frac{\pi}{2} and β = π \beta=\pi , so that θ 1 = θ 2 \theta_1=\theta_2 and θ 3 = θ 4 \theta_3=\theta_4 . This case does not give us four distinct points, so can be ignored. Thus 7 6 a < 1 2 -\frac76 \le a < \frac12 , and π 2 < α π 2 -\frac{\pi}{2} < \alpha \le \frac{\pi}{2} , 0 < β < π 0 < \beta < \pi .

The gradient of the chord between ( cos θ , sin θ ) (\cos\theta,\sin\theta) and ( cos ϕ , sin ϕ ) (\cos\phi,\sin\phi) is cot θ + ϕ 2 -\cot\frac{\theta+\phi}{2} .

  1. For the chords "joining" θ 1 \theta_1 to θ 2 \theta_2 and θ 3 \theta_3 to θ 4 \theta_4 to be parallel, we need 0 = cot π 2 = cot ( θ 1 + θ 2 2 ) = cot ( θ 3 + θ 4 2 ) = cot ( 11 π a 6 ) 0 \;= \; \cot\tfrac{\pi}{2} \; = \; \cot(\tfrac{\theta_1+\theta_2}{2})\; = \; \cot(\tfrac{\theta_3+\theta_4}{2}) \; = \; \cot(\tfrac{-11\pi a}{6}) and so 11 π a 6 = ( n + 1 2 ) π \tfrac{11 \pi a}{6} \,=\, (n+\tfrac{1}{2})\pi for some integer n n . This gives a = 3 ( 2 n + 1 ) 11 a \,=\, \tfrac{3(2n+1)}{11} for integers n n . There are three possible solutions with a = 3 11 , 3 11 , 9 11 a = \tfrac{3}{11},-\tfrac{3}{11},-\tfrac{9}{11} .

  2. For the chords "joining" θ 1 \theta_1 to θ 3 \theta_3 and θ 2 \theta_2 to θ 4 \theta_4 to be parallel, we need cot ( θ 1 + θ 3 2 ) = cot ( θ 2 + θ 4 2 ) \cot(\tfrac{\theta_1+\theta_3}{2})\; = \; \cot(\tfrac{\theta_2+\theta_4}{2}) which breaks down to saying that α + β = ( n + 1 2 ) π \alpha+\beta = (n+\tfrac12)\pi for some integer n n . Given the range of values of α \alpha and (\beta) possible, we deduce that α + β = π 2 \alpha+\beta=\tfrac{\pi}{2} . This implies that 12 a 2 + 8 a 1 6 = 2 a + 1 2 \tfrac{12a^2+8a-1}{6} \; = \; -\tfrac{2a+1}{2} and hence ( 6 a + 1 ) ( a + 1 ) = 0 (6a+1)(a+1) = 0 . The value a = 1 a=-1 gives θ 1 = θ 3 = π 6 \theta_1=\theta_3=\tfrac{\pi}{6} , so may be ignored. This leaves us the solution a = 1 6 a=-\tfrac{1}{6} .

  3. For the chords "joining" θ 1 \theta_1 to θ 4 \theta_4 and θ 2 \theta_2 to θ 3 \theta_3 to be parallel, we need cot ( θ 1 + θ 4 2 ) = cot ( θ 2 + θ 3 2 ) \cot(\tfrac{\theta_1+\theta_4}{2})\; = \; \cot(\tfrac{\theta_2+\theta_3}{2}) which breaks down to saying that α β = ( n + 1 2 ) π \alpha-\beta = (n+\tfrac{1}{2})\pi for some integer n n . Given the range of values of α \alpha and β \beta , we deduce that α β = π 2 \alpha-\beta=-\tfrac{\pi}{2} . This implies that 12 a 2 + 8 a 1 6 2 a + 1 2 = 0 \tfrac{12a^2+8a-1}{6} - \tfrac{2a+1}{2} \; =\; 0 and hence ( 2 a 1 ) ( 3 a + 2 ) = 0 (2a-1)(3a+2) = 0 . Since the case a = 1 2 a=\tfrac12 is not permitted, we obtain just one solution a = 2 3 a=-\tfrac23 .

Thus we have just five acceptable solutions, namely a = 3 11 a=\tfrac{3}{11} , 3 11 -\tfrac{3}{11} , 9 11 -\tfrac{9}{11} , 1 6 -\tfrac{1}{6} , and 2 3 -\tfrac{2}{3} .

Moderator note:

Nicely done!

Kai Chung Tam
May 20, 2014

Notice that 24 a 3 + 28 a 2 + 6 a 1 = ( 12 a 2 + 8 a 1 ) ( 2 a + 1 ) 24a^3 + 28a^2 + 6a-1 = (12a^2+8a-1)(2a+1) , and that sin ( 2 θ + 11 π a 6 ) sin ( 11 π a 6 ) = 2 cos ( θ + 11 π a 6 ) sin θ \sin(2\theta + \frac{11\pi a}{6}) - \sin(\frac{11\pi a}{6}) = 2\cos(\theta + \frac{11\pi a}{6})\sin \theta . Then, as we can see, the expressions g : = 12 a 2 + 8 a 1 , h : = 2 a + 1 , c : = cos ( θ + α ) g:=12a^2+8a-1, h:=2a+1, c:=\cos(\theta + \alpha) (where α = 11 π a 6 \alpha=\frac{11\pi a}{6} ), and d : = sin θ d:=\sin\theta appear twice in the equation. This suggests a factorization may be possible. Indeed, the original equation can be written as

6 2 c d g h = 2 g c 6 h d 6\cdot 2 cd - gh = 2g c - 6hd ( 6 d ) ( 2 c ) g h g ( 2 c ) + h ( 6 d ) = 0 (6d)(2c) - gh - g(2c) + h(6d) = 0 ( 6 d g ) ( 2 c + h ) = 0 (6d-g)(2c+h) = 0

Therefore, the solution set of the original equation is the union of the solution sets of the following two equations:

6 sin θ = g ( 1 ) 6\sin\theta = g \dots \dots (1)

2 cos ( θ + α ) = h ( 2 ) 2\cos(\theta + \alpha) = -h \dots \dots (2)

Let z = cos θ + i sin θ z=\cos\theta + i\sin\theta , and t = cos α + i sin α t=\cos\alpha + i\sin\alpha . Then the two equations becomes

6 ( z 1 / z ) / ( 2 i ) = g 6(z-1/z)/(2i) = g z t + 1 / ( z t ) = h zt+1/(zt) = -h

or rearrange both of them as quadratic equations:

3 z 2 i g z 3 = 0 ( 3 ) 3z^2 - igz - 3 = 0 \dots \dots (3) t 2 z 2 + h t z + 1 = 0 ( 4 ) t^2z^2 + htz + 1 = 0 \dots \dots (4)

Each of them has at most two solutions, and therefore there are at most four distinct solutions in total. Note that (3) has two distinct complex roots if and only if ( i g ) 2 4 ( 3 ) ( 3 ) = g 2 + 36 0 (ig)^2 - 4(3)(-3)=-g^2+36\neq 0 , or g ± 6 g\neq \pm 6 , and that (4) has two distinct complex roots if and only if ( h t ) 2 4 ( t 2 ) = ( h 2 4 ) t 2 0 (ht)^2-4(t^2)=(h^2-4)t^2\neq 0 , or h ± 2 h\neq \pm 2 .

Assume that the solution sets of (3) and (4) are S 1 = { z 1 , z 2 } S_1 = \{z_1,z_2\} , S 2 = { z 3 , z 4 } S_2=\{z_3, z_4\} , respectively. Then the condition of the problem can be restated as the following:

Find all real numbers a a such that z 1 , z 2 , z 3 , z 4 z_1, z_2, z_3, z_4 are distinct complex numbers that form a trapezoid in the complex plane.

Notice that the trapezoid is inscribed in the unit circle, so it must be isosceles, and therefore there exist two pairs of points that subtends the same circular angle. Indeed (please draw a picture to see the following), if r , s , v , w r,s,v,w are four complex units that make an isosceles trapezoid and the line made by r , s r,s is parallel to the line made by v , w v,w , then there exists a complex unit u u such that v / r = s / w = u v/r = s/w = u . This fact is not affected by the orientation of the lines (Again, please draw a picture!).

Now there are two cases:

Case One. The line made by z 1 , z 2 z_1,z_2 is parallel to the line made by z 3 , z 4 z_3,z_4 . Thus there exists a unit u u such that z 2 / z 1 = z 3 / z 4 = u z_2/z_1 = z_3/z_4 = u , where u 1 u\neq 1 . So S 1 = { z 1 , u z 1 } , S 2 = { u z 4 , z 4 } S_1 = \{z_1, uz_1\}, S_2=\{uz_4, z_4\} .

(Caution: Note that we have not designate an order to the roots of the two quadratics. For example, we can only say that p 1 p_1 is one root of the quadratic equation (3), but we cannot say that this is "the first root". Nonetheless, q 1 q_1 is another root of (3). So there are two possibilities for q 1 / p 1 = p 2 / q 2 q_1/p_1 = p_2/q_2 , depending on how we choose the order of the roots. However, we can still try to treat them in the same case.)

Using Vieta's theorem for equations (3) and (4), respectively, we have

( 1 + u ) z 1 = u z 1 + z 1 = i g / 3 (1+u)z_1 = uz_1+z_1= ig/3 u z 1 2 = ( u z 1 ) ( z 1 ) = 1 uz_1^2 = (uz_1)(z_1) = -1 ( 1 + u ) z 4 = u z 4 + z 4 = h / t (1+u)z_4 = uz_4 + z_4 = -h/t u z 4 2 = ( u z 4 ) ( z 4 ) = 1 / t 2 uz_4^2 = (uz_4)(z_4) = 1/t^2

Dividing the second and the fourth equations, we get z 1 2 / z 4 2 = t 2 z_1^2/z_4^2 = -t^2 , or z 1 / z 4 = p i t z_1/z_4 = p it , where p = 1 or -1. If u 1 u\neq -1 then we also divide the first and the third equations to get z 1 / z 4 = i g t / ( 3 h ) z_1/z_4 = -igt/(3h) . Note that u=-1 is impossible, because h=0 and g=0 can't hold simultaneously. Therefore, p i t = i g t / ( 3 h ) pit = -igt/(3h) p 3 h = g p\cdot 3h = -g p 3 ( 2 a + 1 ) = ( 12 a 2 + 8 a 1 ) p \cdot 3(2a+1) = -(12a^2+8a-1)

So we get 12 a 2 + 2 a 4 = 0 12a^2 + 2a - 4 = 0 or 12 a 2 14 a + 2 = 0 12a^2 -14a +2=0 . Solving these quadratic equations, we get a = 1/2, -2/3, -1, or -1/6. These are four possible values of a a . When a=1/2, we get h=2 and therefore equation (4) has only one root. When a=-1, then h=-1 and g=3, then the solutions to (3) and (4) are

z 1 , z 2 = i g ± g 2 + 36 6 = 3 i ± 27 6 = i ± 3 2 = e π / 2 ± i π / 3 z_1, z_2 = \frac{ig \pm \sqrt{-g^2+36}}{6}= \frac{3i \pm \sqrt{27}}{6}=\frac{i\pm \sqrt{3}}{2}=e^{\pi/2 \pm i \pi/3} z 3 , z 4 = 1 ± 3 i 2 t = e ± i π / 3 / e i 11 π / 6 = e ± i π / 3 i π / 6 z_3, z_4 = \frac{1\pm \sqrt{3}i}{2t} = e^{\pm i \pi/3}/e^{ -i 11\pi/6} = e^{\pm i \pi/3 - i\pi/6}

However, π / 2 π / 3 = π / 3 π / 6 = π / 6 \pi/2 - \pi/3 = \pi/3 - \pi/6 = \pi/6 , which means S 1 S 2 S_1\cap S_2 contains e i π / 6 e^{i\pi/6} . Therefore a=1/2 and a=-1 do not satisfy the conditions.

Similarly, one can solve (3) and (4) for a=-2/3 and a=-1/6 to see that they satisfy the condition (that all solutions are distinct).

Case Two. The line made by z 1 , z 3 z_1,z_3 is parallel to the line made by z 2 , z 4 z_2,z_4 . Thus there exists a unit u u such that z 3 / z 1 = z 2 / z 4 = u z_3/z_1 = z_2/z_4 = u , where u 1 u\neq 1 . So S 1 = { z 1 , u z 4 } , S 2 = { u z 1 , z 4 } S_1 = \{z_1, uz_4\}, S_2=\{uz_1, z_4\} . Again by Vieta's Theorem,

z 1 + u z 4 = i g / 3 , u z 1 z 4 = 1 z_1+uz_4 = ig/3, uz_1z_4 = -1 u z 1 + z 4 = h / t , u z 1 z 4 = 1 / t 2 uz_1+z_4 = -h/t , uz_1z_4 = 1/t^2

Therefore 1 = 1 / t 2 -1=1/t^2 , and so e i π = 1 = t 2 = e 2 i α = e i 11 π a 3 e^{i\pi} = -1=t^2=e^{2i\alpha}=e^{i \frac{11\pi a}{3}} , which is equivalent to

π + 2 k π = 11 π a 3 \pi + 2k\pi = \frac{11\pi a}{3}

for some integer k k . Then a = 3 11 ( 2 k + 1 ) a=\frac{3}{11}(2k+1) . Also, by equation (1) and (2) we know that g 6 |g| \leq 6 and h 2 |h|\leq 2 , which gives 7 / 6 a 1 / 2 -7/6\leq a \leq 1/2 , so a = 9 / 11 , 3 / 11 , 3 / 11 a = -9/11, -3/11, 3/11 . Checking the solutions to (3), (4) with these parameters, we see that they all satisfy the conditions.

In conclusion, a = 2 / 3 , 1 / 6 , 9 / 11 , 3 / 11 , 3 / 11 a=-2/3, -1/6, -9/11, -3/11, 3/11 are all the values of a a satisfying the conditions.

There is slight mix-up with the cases: instead of saying z 1z 2 is parallel to z 3z 4, one should say |z 2-z 1|=|z 3-z 4|, and similar for Case 2. Other than that, it is a nice solution.

Calvin Lin Staff - 7 years ago

Let c = 2 a + 1 c = 2a+1 and factor the left side of the equation, we have sin x = 3 c 2 2 c 2 6 \sin x = \frac{3c^2-2c-2}{6} and 2 cos ( x + 11 π ( c 1 ) 12 ) + c = 0 2 \cos (x + \frac{11 \pi (c-1)}{12}) + c = 0 . Work with the first condition, we have 4 3 < c < 2 -\frac{4}{3} < c< 2 and with this value of c c , we get 2 points with form ( cos x , sin x ) (-\cos x, \sin x) and ( cos x , sin x ) (\cos x, \sin x) . Assume that the remain equation also have some root with such form, we find out that c = 5 11 , 7 11 , 17 11 c = \frac{5}{11}, \frac{7}{11}, -\frac{17}{11} . The other 2 values of c c obtaining from the case the remain equation do not have root with form ( cos x , sin x ) (-\cos x, \sin x) and ( cos x , sin x ) (\cos x, \sin x) but also satisfy that four points form a trapezoid. The total number of c c is 5.

This is just a sketch, especially the part about "the other two values" (that are not even named).

Calvin Lin Staff - 7 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...