2

If $$\prod_{cyclic} \tan\left(\frac{\alpha+\beta-\gamma}{4}\right)=1$$ and $\sum \alpha = \pi $

Then find the value of $\sum \cos(\alpha )$

Answer provided = $-1$ (Not sure)!!

Source: A grade 12 test

My efforts:

Using the first condition I was able to manipulate till $\prod_{cyclic} \tan(\alpha/2)$+ $\sum \tan(\alpha/2) = 0$ But was struck further.

My friend showed me his solution, he manipulated this same thing for two pages and got the expression required. Unfortunately this was 2 months ago and he says he has lost that paper and is too lazy to solve again.

I even tried hit and trial from here but neither an angle of 0 or $\pi/2$ worked.

My requirement: A decent solution.

  • Can you please edit your question to make it more clear @Aadya Chaudhary. It is not very clear – Dev Jun 02 '25 at 14:02
  • @ThomasAndrews genuinely sorry for the title actually I forgot to change it up at the last moment when I typed it out in the body. Fixed it – Aadya Chaudhary Jun 02 '25 at 14:06
  • @Bachelor Is it alright now? Genuinely sorry – Aadya Chaudhary Jun 02 '25 at 14:06
  • 1
    Note $$\alpha+\beta-\gamma=\pi-2\gamma.$$ – Thomas Andrews Jun 02 '25 at 14:09
  • "Using the first condition I was able to show..." Show us. Maybehow you show this can help us help you. – Thomas Andrews Jun 02 '25 at 14:11
  • @ThomasAndrews I used what you wrote (Motivation for using that: cyclicity was maintained) then I used the formula for tangent of sum of two angles and then further cross multiplied to get the expression. If it's required even after this, I shall type the whole thing out. Please let me know sir – Aadya Chaudhary Jun 02 '25 at 14:14
  • See, if you had told us that in your question, I wouldn't have ended up duplicating your work. – Thomas Andrews Jun 02 '25 at 15:31
  • Isn’t $\displaystyle\sum_\text{cyclic}\tan\alpha=\prod_\text{cyclic}\tan\alpha$? – Integreek Jun 02 '25 at 15:40
  • Is the question correct? Since the arguments are $\frac\pi4-\frac\alpha2,\frac\pi4-\frac\beta2$ and $\frac\pi4-\frac\gamma2$ and using the formula for $\tan\left(\frac\pi4-x\right)$, I am getting $$\tan\frac\alpha2+\tan\frac\beta2+\tan\frac\gamma2+\tan\frac\alpha2\tan\frac\beta2\tan\frac\gamma2=0$$ which is impossible. – Integreek Jun 02 '25 at 16:08
  • @Integreek yup I too got the same but can you help me proving why is it impossible? – Aadya Chaudhary Jun 02 '25 at 16:20
  • @Integreek I am not sure of the question or the answer as the triplet (0,0,pi) satisfies but the answer then turns out to be 1 – Aadya Chaudhary Jun 02 '25 at 16:21
  • Yes it is Ok. Thank you Aadya Mam – Dev Jun 02 '25 at 16:22
  • https://math.stackexchange.com/questions/624189/prove-that-1-cos-alpha-cos-beta-cos-gamma-0 – lab bhattacharjee Jun 02 '25 at 16:40

1 Answers1

1

Say we denote $$x, y, z = \tan\left(\dfrac{\alpha}{2}\right), \tan\left(\dfrac{\beta}{2}\right), \tan\left(\dfrac{\gamma}{2}\right).$$

Using the fact that $\sum_{cyc}\alpha=\pi$, we can see that $$\tan\left(\dfrac{\alpha+\beta-\gamma}{4}\right)=\tan\left(\dfrac{\pi}{4}-\dfrac{\gamma}{2}\right) = \dfrac{1-z}{1+z}$$ and so on for each term. The product equalling unity can then be simplified as $$(1+x)(1+y)(1+z)=(1-x)(1-y)(1-z)\:\:\text{or, } x+y+z+xyz=0.$$

We shall note that none of the three angles $\alpha, \beta,\gamma$ can be $\pi$ itself as that doesn't satisfy the product relation. Therefore, assuming principal solutions in $[0,\pi]$, we have $x,y,z<\infty$.

Check that $z=\tan(\gamma/2) = \cot(\alpha/2+\beta/2)=(1-xy)/(x+y)$.

We can then eliminate $z$ to get $-\dfrac{x+y}{1+xy}=\dfrac{1-xy}{x+y}$, and so $(x+y)^2+1=x^2y^2$.

Using the relation(s) $\cos(\alpha) = \dfrac{1-x^2}{1+x^2}$ (and so on...) we should be able to arrive at the simplification

$$\sum_{cyc}\dfrac{1-x^2}{1+x^2} = \underbrace{2\dfrac{1-x^2y^2}{(1+x^2)(1+y^2)}}_{\text{First two terms}}+\dfrac{x^2y^2-1-(1-xy)^2}{x^2y^2-1+(1-xy)^2} = \dfrac{1-x^2y^2}{xy(xy-1)}+\dfrac{1}{xy} = -1$$ where we have assumed that $xy\neq 1$ or $\gamma\neq 0$.

Note that if $xy=1$, we get $x=-y,\:z=0$, which has no real solutions.

So $\sum_{cyc}\cos(\alpha) = -1$.