Trabajando, encontré algunas fórmulas de Tan Binomio.
Vamos $S$ sea un conjunto tal que
$$ S=\left\{\text{ }\tan ^2\left(\frac{1\pi }{n}\right), \tan^2\left(\frac{2\pi }{n}\right), \tan^2\left(\frac{3\pi }{n}\right)\text{ },\text{...},\tan^2\left(\frac{k \pi }{n}\right) \right\} \text{for } k \text{ in } \text{range } \left[ 1,\left\lfloor \frac{(n-1)}{2}\right\rfloor \right] $$
y vamos a $S_k$ sea un subconjunto k de $S$ . Por ejemplo, para k=2, tenemos:
$$ S_k = \left\{\text{ }\left\{\tan ^2\left(\frac{1\pi }{n}\right), \tan ^2\left(\frac{2\pi }{n}\right)\right\},\left\{\tan ^2\left(\frac{1\pi }{n}\right), \tan ^2\left(\frac{3\pi }{n}\right)\right\},\text{...} ,\left\{\tan ^2\left(\frac{(k-1)\pi }{n}\right), \tan ^2\left(\frac{k \pi }{n}\right)\right\}\right\} $$
Entonces una fórmula da:
$$ \left\{ \begin{array}{c} \text{if n Even},\text{ }n\times \left(\text{Sum of the Product of k-Subset }S_k\right)=\left( \begin{array}{c} n \\ 2k+1 \end{array} \right) \\ \text{if n Odd},\text{ }\left( \text{Sum of the Product of k-Subset } S_k \right)=\left( \begin{array}{c} n \\ 2k \end{array} \right) \end{array} \right. $$
Aquí hay algunos ejemplos con n=7 y k que varía de 1 a 3. Tenemos: $S=\left\{\tan ^2\left(\frac{\pi 1}{7}\right),\tan ^2\left(\frac{\pi 2}{7}\right),\tan ^2\left(\frac{\pi 3}{7}\right)\right\}$
- para k=1, el subconjunto k es $S_1=\left\{ \left\{\tan ^2\left(\frac{\pi 1}{7}\right)\right\},\left\{\tan ^2\left(\frac{\pi 2}{7}\right)\right\},\left\{\tan ^2\left(\frac{\pi 3}{7}\right)\right\} \right\}$ Así que $\tan ^2\left(\frac{\pi 1}{7}\right)+\tan ^2\left(\frac{\pi 2}{7}\right)+\tan ^2\left(\frac{\pi 3}{7}\right)=\left( \begin{array}{c} 7 \\ 2 \end{array} \right)=21$
- para k=2, el subconjunto k es $S_2=\left\{ \left\{\tan ^2\left(\frac{\pi 1}{7}\right),\tan ^2\left(\frac{\pi 2}{7}\right)\right\},\left\{\tan ^2\left(\frac{\pi 2}{7}\right),t\tan ^2\left(\frac{\pi 3}{7}\right)\right\},\left\{\tan ^2\left(\frac{\pi 1}{7}\right),t\tan ^2\left(\frac{\pi 3}{7}\right)\right\} \right\}$ Así que $\tan ^2\left(\frac{\pi 1}{7}\right) \tan ^2\left(\frac{\pi 2}{7}\right)+\tan ^2\left(\frac{\pi 3}{7}\right) \tan ^2\left(\frac{\pi 2}{7}\right)+\tan ^2\left(\frac{\pi 1}{7}\right) \tan ^2\left(\frac{\pi 3}{7}\right)=\left( \begin{array}{c} 7 \\ 4 \end{array} \right)=35$
- para k=3, el subconjunto k es $S_3=\left\{ \left\{\tan ^2\left(\frac{\pi 1}{7}\right),\tan ^2\left(\frac{\pi 2}{7}\right),\tan ^2\left(\frac{\pi 3}{7}\right)\right\} \right\}$ Así que $\tan ^2\left(\frac{\pi 1}{7}\right) \tan ^2\left(\frac{\pi 2}{7}\right) \tan ^2\left(\frac{\pi 3}{7}\right)=\left( \begin{array}{c} 7 \\ 6 \end{array} \right)=7$
Aquí está el código de Mathematica correspondiente a las imágenes, por si alguien quiere jugar:
Manipulate[
Module[
{
set1,S1,Sk1,psk1,pskEven1,
set2,S2,Sk2,psk2,pskEven2,
ProdSumSubset,binEven,bin1,bin2,
hf,rh,opt1
},
hf[x_]:=HoldForm@x;
rh[x_]:=ReleaseHold@x;
set1[n_]:=Table[ Tan[hf@( k)*Pi/hf@(n) ]^2,{k,1,Floor@((n-1)/2)}] ;
set2[n_]:=Table[ Tan[hf@(2 k-1)*Pi/hf@(2*n) ]^2,{k,1,Floor@(n/2)}] ;
ProdSumSubset[S_,k_]:=Plus@@(Times@@#&/@ Subsets[S,{k}]);
bin1[n_,k_]:=Binomial[n,hf@(2*k)];
bin2[n_,k_]:=Binomial[n,hf@(2*k+1)];
opt1={ Frame->All,Alignment->{{Center,Left},Center},ItemSize->{{Scaled@.25,Scaled@.75}},FrameStyle->GrayLevel[0.7`] };
TraditionalForm@
Grid[
{
{ "n",n },
{ "k",k },
{"",SpanFromLeft},
{ "Set S1",S1=set1[n] },
{ "k-Subset Sk1",Sk1=Subsets[S1,{k}]//StandardForm },
psk1=ProdSumSubset[S1,k];
pskEven1=If[ EvenQ@n,n*psk1,psk1 ];
binEven=If[ EvenQ@n,bin2[n,k],bin1[n,k] ];
{ "Sum of product of k-subset Sk1",Row[{ pskEven1,"=", pskEven1//rh//N,"=",binEven,"=",binEven//rh}] },
{"",SpanFromLeft},
{ "Set S2",S2=set2[n] },
{ "k-Subset Sk2",Sk2=Subsets[S2,{k}]//StandardForm },
psk2=ProdSumSubset[S2,k];
pskEven2=If[ EvenQ@n,psk2,n*psk2 ];
binEven=If[ EvenQ@n,bin1[n,k],bin2[n,k] ];
{ "Sum of product of k-subset Sk2",Row[{ pskEven2,"=", pskEven2//rh//N,"=",binEven,"=",binEven//rh}] }
},opt1
]
]
,{{n,7},1,20,1,Appearance->"Open"}
,{{k,1},1,10,1,Appearance->"Open"}
]Lo mismo ocurre con un conjunto $S$ tal que:
$$ S=\left\{\text{ }\tan ^2\left(\frac{1\pi }{2n}\right), \tan ^2\left(\frac{3\pi }{2n}\right), \tan ^2\left(\frac{5\pi }{2n}\right)\text{ },\text{...},\tan ^2\left(\frac{(2k-1)\pi }{2n}\right) \right\} \text{for}\text{ }k\text{ }\text{in}\text{ }\text{range} \left[ 1,\left\lfloor \frac{n}{2}\right\rfloor \right] $$
entonces:
$$ \left\{ \begin{array}{c} \text{if } n \text{ Even}, \left( \text{Sum } \text{of } \text{the } \text{Product } \text{of } k-\text{Subset }S_k \right)=\left( \begin{array}{c} n \\ 2k \end{array} \right) \\ \text{if } n \text{ Odd},\text{ }n\times \left( \text{Sum } \text{of } \text{the } \text{Product } \text{of } k-\text{Subset } S_k \right)=\left( \begin{array}{c} n \\ 2k+1 \end{array} \right) \end{array} \right. $$
Por ejemplo, para n=6 y k=2: $$ \tan ^2\left(\frac{\pi 1}{12}\right) \tan ^2\left(\frac{\pi 3}{12}\right)+\tan ^2\left(\frac{\pi 1}{12}\right) \tan ^2\left(\frac{\pi 5}{12}\right)+\tan ^2\left(\frac{\pi 3}{12}\right) \tan ^2\left(\frac{\pi 5}{12}\right)=\left( \begin{array}{c} 6 \\ 4 \end{array} \right)=15 $$
$ $
$ $ Estas fórmulas pueden explicarse así:
Vamos
$z=1+i x=|z|e^{i \text{arcTan}(x)}$ y es complejo conjugar
$z^*=1-i x=|z|e^{-i \text{arcTan}(x)}$
entonces:
$$ \text{Cos}(n \text{Arctan} x)=\frac{z^n+z^{*n}}{2 |z|^n}=\frac{(1+i x)^n+(1-i x)^n}{2\left(1+x^2\right)^{\frac{n}{2}}}=\frac{\sum _{k=0}^{\left\lfloor \frac{n}{2}\right\rfloor } (-1)^k\text{ }\left( \begin{array}{c} n\\2 k\end{array} \right)x^{2 k}}{\left(1+x^2\right)^{\frac{n}{2}}} $$ Donde el numerador es un polinomio binomial (Por ej: $\text{Cos} (6 \text{Arctan} x)=\frac{-x^6+15 x^4-15 x^2+1}{\left(x^2+1\right)^3}$ , $\text{Cos} (7 \text{Arctan} x)=\frac{-7 x^6+35 x^4-21 x^2+1}{\left(x^2+1\right)^{7/2}}$ etc...) que admiten soluciones de la forma $\pm \text{Tan}\left(\frac{(2k+1) \pi }{2n}\right)$ para $k\in\mathbb{N}$ .
Utilizando un conjunto $S=\left\{\text{ }\tan ^2\left(\frac{1\pi }{2n}\right), \tan ^2\left(\frac{3\pi }{2n}\right), \tan ^2\left(\frac{5\pi }{2n}\right)\text{ },\text{...},\tan ^2\left(\frac{(2k-1)\pi }{2n}\right) \right\}$ con $k$ en el rango $\left[1,\left\lfloor\frac{n}{2}\right\rfloor\right]$ podemos reescribir el numerador como un polinomio del mismo orden: $$ \text{Cos}(n \text{Arctan} x)=\frac{\left(x^2-\text{Tan}^2\left(\frac{1\pi }{2n}\right)\right)\left(x^2-\text{Tan}^2\left(\frac{3\pi }{2n}\right)\right)\text{...}\left(x^2-\text{Tan}^2\left(\frac{(2k-1)\pi }{2n}\right)\right)}{\left(1+x^2\right)^{\frac{n}{2}}} $$ Expandiendo el numerador e igualando el coeficiente binomial para cada orden se obtiene una fórmula, la otra viene de: $$ \text{Sin}(n \text{Arctan} x)=\frac{z^n-z^{*n}}{2i |z|^n}=\frac{\sum _{k=0}^{\left\lfloor \frac{n}{2}\right\rfloor } (-1)^k\text{ }\left( \begin{array}{c} n \\ 2 k+1 \end{array} \right)x^{2 k+1}}{\left(1+x^2\right)^{\frac{n}{2}}} $$ Y utilizando el mismo razonamiento. $ $
$ $
No he podido encontrar estas fórmulas en la web, sólo casos especiales. ¿Podría alguien decirme si existen?
