Question 1132312
<pre>
{{{ ((1^""+ cos(2B)+i*sin(2B))(1^""+cos(2C)+isin(2C)))/(1^""+cos(2A)-isin(2A)) }}}

We REALize the denominator by multiplying by the conjugate of the
denominator over itself:

{{{ ((1^""+ cos(2B)+i*sin(2B))(1^""+cos(2C)+isin(2C)))/(1^""+cos(2A)-isin(2A)) }}}{{{""*""}}}{{{(1^""+cos(2A)+isin(2A))/(1^""+cos(2A)+isin(2A))}}}

{{{ ((1^""+ cos(2B)+i*sin(2B))(1^""+cos(2C)+isin(2C))*(1^""+cos(2A)+isin(2A)))/((1^""+cos(2A))^2+sin^2(2A)) }}}

The denominator could be simplified but we don't need to because it
is the sum of two squares which is real and positive.  So we only 
need to show that the numerator is real and positive as well.

Numerator = 
{{{ (1^""+ cos(2B)+i*sin(2B))(1^""+cos(2C)+isin(2C))(1^""+ cos(2A)+i*sin(2A))}}}

We use the double-angle identities:

      {{{cos(2theta)=2cos^2(theta)-1}}}
      {{{sin(2theta)=2sin(theta)cos(theta)}}}

Numerator = 

{{{ (1^""+ (2cos^2(B)-1)^""+i*2sin(B)cos(B))(1^""+(2cos^2(C)-1)^""+i*2sin(C)cos(C))(1^""+ (2cos^2(A)-1)^""+i*2sin(A)cos(A))}}}

{{{ (1^""+ 2cos^2(B)-1^""+i*2sin(B)cos(B))(1^""+2cos^2(C)-1^""+i*2sin(C)cos(C))(1^""+ 2cos^2(A)-1^""+i*2sin(A)cos(A))}}}

{{{ (2cos^2(B)^""+i*2sin(B)cos(B))(2cos^2(C)+i*2sin(C)cos(C))( 2cos^2(A)+i*2sin(A)cos(A))}}}

{{{(2cos(B)(cos(B)^""+i*sin(B))^"")(2cos(C)(cos(C)^""+i*sin(C))^"")(2cos(A)(cos(A)^""+i*sin(A))^"")}}}

These are complex numbers in polar or trig form, so we multiply the magnitudes and add the angles:

{{{(2cos(B)^"")(2cos(C)^"")(2cos(A)^"")(cos(B+C+A)^""+i*sin(B+C+A))}}}

Since B, C, and A are angles of a triangle, B+C+A = 180° or {{{pi}}}

{{{8*cos(B)*cos(C)*cos(A)*(cos(pi)^""+i*sin(pi))}}}

Since {{{cos(pi)=-1}}} and {{{sin(pi)=0}}}

{{{8*cos(B)*cos(C)*cos(A)*(-1+i*0)}}}

{{{-8*cos(B)*cos(C)*cos(A)}}}, which is real.

So we only need to show that this is positive.

Since we are told that a² > b²+c², This makes the longest side
greater than the hypotenuse of a right triangle with sides b
and c, which means that angle A is greater than 90°, an obtuse
angle.  An obtuse angle is a QII angle which has a negative
cosine.

Therefore cos(A) is negative, and since a triangle with one
obtuse angle has the other two angles acute.

So cos(A) < 0, cos(B) > 0, cos(C) > 0 

Therefore

{{{-8*cos(B)*cos(C)*cos(A)}}}

is the product of 4 factors, two of which are negative and two
positive, which makes the product positive.

Edwin</pre>