Si $A, B, C$ son ángulos de $\Delta ABC$ y $\sin (A-\pi /4) \sin (B-\pi/4) \sin (C-\pi/4)=\frac{1}{2\sqrt 2}$ ...

Question

Si $A, B, C$ son ángulos de $\Delta ABC$ y $\sin (A-\pi /4) \sin (B-\pi/4) \sin (C-\pi/4)=\frac{1}{2\sqrt 2}$ entonces demuestre que $\sum \tan A \tan B=\sum \tan A$

Resolviendo la ecuación dada, obtenemos $$(\sin A-\cos A)(\sin B -\cos B)(\sin C -\cos C)=1$$ $$(\tan A-1)(\tan B-1)(\tan C-1)=\sec A \sec B \sec C$$ $$\sum \tan A -\sum \tan A \tan B +\sum \tan A-1=\sec A \sec B \sec C$$

¿Cómo debo proceder?

Answer 1

De lo dado,

$$0=\frac{1}{2\sqrt 2}- \sin (A-\pi /4) \sin (B-\pi/4) \sin (C-\pi/4)$$

$$=\frac{1}{2\sqrt 2}-\frac12\left[ \cos(A-B)-\cos(A+B-\frac\pi2)\right] \sin (C-\pi/4)$$ $$\frac{1}{2\sqrt 2}[ 1- (\cos(A-B)-\sin C) (\sin C - \cos C)]$$

Tenga en cuenta que $\cos(A-B)\le 1$ y $$0 \ge \frac{1}{2\sqrt 2}[1-( 1 -\sin C ) (\sin C - \cos C)]$$ $$ = \frac{1}{2\sqrt 2}[(1+\cos C) - \sin C (1+\cos C - \sin C) ]$$ $$ = \frac{1}{2\sqrt 2}[2\cos^2 \frac C2- \sin C (2\cos^2 \frac C2 - 2\sin \frac C2\cos\frac C2)] $$ $$ = \frac{1}{\sqrt 2}\cos^2 \frac C2\left[1- 2\sin\frac C2(\cos \frac C2 - \sin \frac C2)\right] $$ $$ = \frac{1}{\sqrt 2}\cos^2 \frac C2(2- \sin C - \cos C ) $$

Así que, $$0 \ge \cos^2 \frac C2(2- \sin C - \cos C ) \implies \cos\frac C2=0$$

lo que lleva a $C = \pi$ y $A=B = 0$ . Así,

$$ \tan A\tan B+\tan B\tan C+\tan C\tan A = \tan A+\tan B+\tan C =0 $$

Answer 2

Una pista:

Ambos \begin{align} \sin (A-\pi /4) \sin (B-\pi/4) \sin (C-\pi/4)=\frac{1}{2\sqrt 2} \tag{1}\label{1} \end{align}

y \begin{align} \tan A\tan B+\tan B\tan C+\tan C\tan A &= \tan A+\tan B+\tan C , \tag{2}\label{2} \end{align}

expresado en términos de semiperímetro $\rho$ , inradio $r$ y circumradio $R$ del triángulo, equivalen a

\begin{align} \rho^2&=r^2+4\,r\,R+2\,\rho\,r \tag{3}\label{3} , \end{align}

lo que implica

\begin{align} \rho&=r+\sqrt{2\,r^2+4\,r\,R} \tag{4}\label{4} . \end{align}

Pero \eqref {4} es cierto sólo para el triángulo degenerado cuando un ángulo es $180^\circ$ y los otros dos son cero.

Para la conversión, utilizaremos las identidades conocidas para los ángulos del triángulo

\begin{align} \cos A\cos B\cos C&=\frac{r}{R}+1 \tag{5}\label{5} ,\\ \sin A\sin B\sin C &= \frac{\rho\,r}{2R^2} \tag{6}\label{6} , \end{align}

\begin{align} \tan A\tan B\tan C = \tan A+\tan B+\tan C &=\frac{2\rho\,r}{\rho^2-(r+2\,R)^2} \tag{7}\label{7} ,\\ \tan A\tan B+\tan B\tan C+\tan C\tan A &=1+\frac{4\,R^2}{\rho^2-(r+2\,R)^2} \tag{8}\label{8} ,\\ \cot A+\cot B+\cot C&= \frac12\,\left(\frac{\rho}r -\frac r\rho \right) -2\,\frac R\rho \tag{9}\label{9} . \end{align}