Poner a $D=A-45^{\circ}$ etc, $D+E+F=(A+B+C-135^{\circ})=45^{\circ}$
$1+\tan A=1+\tan(D+45^{\circ})=\frac{2}{1-\tan D}$ appyling $\tan(A+B)=\frac{\tan A+ \tan B}{1-\tan A \tan B}$
Por eso, $\frac{2}{1 + \tan A}=1-\tan D$
Ahora el problema se reduce a minimizar $\tan D+\tan E+ \tan F$ donde $D+E+F=45^{\circ}$ $D,E,F>0$
Si podemos demostrar que el valor mínimo se produce cuando $D=E=F$, hemos terminado.
(i) Observar que $\tan x $ es convexa para $x=D,E$ o $F$$\frac{d\tan x}{dx}=sec^2x$$\frac{d^2\tan x}{dx^2}=2\sec^2x\tan x>0$$D+E+F=45^{\circ}$$D,E,F>0$.
El uso de la de Jensen Desigualdad, obtenemos que $\sum_{i=1}^n \tan A_i \ge n \cdot \tan \left( \frac{A_1 + A_2 + \cdots+ A_n}{n} \right) $ si $\sum_{i=1}^n A_i$ es constante.
Así, el valor de $\tan D+\tan E+ \tan F$ se minimiza cuando se $D=E=F$.
(ii) Alternativamente,
$\tan D+\tan E+ \tan F=\tan D+\tan E+ \tan (45^{\circ} - D - E)=g(D,E)$(por ejemplo),
La aplicación de derivada parcial respecto a y D, $\frac{\partial g}{\partial D}=\sec^2D+sec^2(45^{\circ} - D - E)\cdot (-1)$
$\frac{\partial g}{\partial D}=0=>\sec^2D=sec^2(45^{\circ} - D - E)=>D=±(45^{\circ} - D - E)$
Si $D=-(45^{\circ} - D - E)$, $E=45^{\circ}$ cual es imposible como $D,E,F>0$,
por eso, $D=45^{\circ} - D - E=>E=45^{\circ} - 2D$
Poniendo esto es en $D+E+F=45^{\circ}=>F=D$
La aplicación parcial de la derivada respecto a E, $\frac{\partial g}{\partial E}=\sec^2E+sec^2(45^{\circ} - D - E)\cdot (-1)$
$\frac{\partial g}{\partial E}=0=>\sec^2E=sec^2(45^{\circ} - D - E)$
Por eso,$\sec^2E=\sec^2D=>D=E$$D,E,F>0$,
Por eso, $\frac{\partial g}{\partial E}=0=\frac{\partial g}{\partial D}=>D=E=F$
Utilizando la Prueba de la Segunda Derivada para $g(D,E)$, podemos ver que $min(g(D,E))=g(D,E)_{D=E=F}=g(15^{\circ}, 15^{\circ})$
Así, el valor mínimo de $\tan D+\tan E+ \tan F$ $3 (\tan15^{\circ})=3(2-\sqrt 3)$