OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
La simetría que hemos definido establece una biyección entre subconjuntos de $25$ elementos (si $S'$ es el simétrico de $S$, entonces $S$ es el simétrico de $S'$) e intercambia conjuntos de elementos de suma par y los de suma impar, como acabamos de probar. En consecuencia, hay el mismo número de subconjuntos de $25$ elementos de suma par que de suma impar, luego la probabilidad que se pide es igual a $\frac{1}{2}$.
Nota. Si sustituimos $100$ por cualquier número par y $25$ por cualquier número impar, el mismo argumento permite demostrar que la probabilidad sigue siendo $\frac{1}{2}$.
Nota. ¿Qué podría fallar en este argumento si el polígono no es convexo?
En cambio, sí que se puede si además usamos la multiplicación. Una forma de hacerlo es la siguiente: \[0=1\times 2+3-4+5-6+7-8-9+10.\]
Para $n=1$, está claro que $x_1=(1+x_1)-1$ es el número que se obtiene de combinar un sólo elemento (no se ha hecho ninguna operación). Para $n=2$, también es cierto ya que $(1+x_1)(1+x_2)-1=x_1+x_2+x_1x_2$ es la operación aplicada a los elementos $x_1,x_2\in S$. Supongamos entonces que la propiedad es cierta para combinaciones de a lo sumo $n-1$ elementos y probémosla para una combinación de $n$ elementos $x_1,\ldots,x_n\in S$. Reordenando los subíndices si es necesario, por hipótesis de inducción, el número final resultará de aplicar la operación a los números $P_1-1$ y $P_2-1$, siendo $P_1=(1+x_1)\cdots(1+x_k)$ y $P_2=(1+x_{k+1})\cdots(1+x_n)$. Por tanto, el número final será \begin{eqnarray*} &&(P_1-1)+(P_2-1)+(P_1-1)(P_2-1)\\ &&\quad=P_1-1+P_2-1-P_1-P_2+P_1P_2+1\\ &&\quad=P_1P_2-1=(1+x_1)(1+x_2)\cdots(1+x_n)-1 \end{eqnarray*}
En particular, hemos demostrado que dicho número final no depende de las elecciones de los elementos que intervienen en el proceso. Además, podemos calcularlo usando la fórmula que hemos demostrado: \[\left(1+1\right)\left(1+\frac{1}{2}\right)\left(1+\frac{1}{3}\right)\cdots \left(1+\frac{1}{1000}\right)=\frac{2}{1}\frac{3}{2}\frac{4}{3}\cdots\frac{1001}{1000}=1001.\]