secuencia interesante $n$ es un número natural y $x_1,x_2,...$ es una secuencia de números $1$ y $-1$ con estas propiedades: es periódica y su número de período más pequeño es $2^n-1$ . (significa que para cada número natural $j$ tenemos $x_{j+2^n-1}=x_j$ y $2^n-1$ es el número más pequeño con esta propiedad.) Existen enteros distintos $0\le t_1<t_2<...<t_k<n$ tales que para cada número natural $j$ tenemos \[x_{j+n}=x_{j+t_1}\times x_{j+t_2}\times ... \times x_{j+t_k}\] Demuestre que para cada número natural $s$ que $s<2^n-1$ tenemos \[\sum_{i=1}^{2^n-1}x_ix_{i+s}=-1\]

alfombra Suponga que $S$ es una figura en el plano tal que su borde no contiene ningún punto de la red. Suponga que $x,y$ son dos puntos de la red con distancia $1$ (llamamos punto de la red si sus coordenadas son enteros). Suponga que podemos cubrir el plano con copias de $S$ tal que $x,y$ siempre vayan sobre puntos de la red (puede rotar o invertir copias de $S$ ) . Demuestre que el área de $S$ es igual a los puntos de la red dentro de ella.

puntos en el plano El conjunto $A$ que contiene $n$ puntos en el plano es dado. Una $copia$ de $A$ es un conjunto de puntos que se hace usando transformación, rotación, homogeneidad o su combinación en elementos de $A$ . Queremos poner $n$ $copias$ de $A$ en el plano, de tal manera que cada dos copias tengan exactamente un punto en común y cada tres de ellas no tengan elementos en común. a) Demuestre que si ningún $4$ puntos de $A$ hacen un paralelogramo, puede hacer esto solo usando transformación. ( $A$ no tiene un paralelogramo con ángulo $0$ y un paralelogramo que sus dos vértices no adyacentes son uno!) b) Demuestre que siempre puede hacer esto usando una combinación de todas estas cosas.

cubo rodante $a$ , $b$ y $c$ son números naturales. Tenemos un cubo $(2a+1)\times (2b+1)\times (2c+1)$ . Este cubo está en un plano infinito con cuadrados unitarios. Puedes rodar el cubo hacia cada lado que quieras. Las caras del cubo se dividen en cuadrados unitarios y el cuadrado en el medio de cada cara está coloreado (significa que si este cuadrado va sobre un cuadrado del plano, entonces ese cuadrado se coloreará). Demuestre que si dos de las longitudes de los lados del cubo son relativamente primos, entonces podemos colorear cada cuadrado en el plano.

El polinomio de dos variables $P(x,y)$ es un polinomio de dos variables con coeficientes reales. El grado de un monomio significa la suma de las potencias de $x$ e $y$ en él. Denotamos por $Q(x,y)$ la suma de los monomios con el mayor grado en $P(x,y)$ . (por ejemplo, si $P(x,y)=3x^4y-2x^2y^3+5xy^2+x-5$ entonces $Q(x,y)=3x^4y-2x^2y^3$ . ) Suponga que hay números reales $x_1$ , $y_1$ , $x_2$ e $y_2$ tales que $Q(x_1,y_1)>0$ , $Q(x_2,y_2)<0$ demuestre que el conjunto $\{(x,y)|P(x,y)=0\}$ no está acotado. (llamamos a un conjunto $S$ de plano acotado si existe un número positivo $M$ tal que la distancia de los elementos de $S$ desde el origen es menor que $M$ . )

Suponga que $X$ es un conjunto con $n$ elementos y $\mathcal F\subseteq X^{(k)}$ y $X_1,X_2,...,X_s$ es una partición de $X$ . Sabemos que para cada $A,B\in \mathcal F$ y cada $1\le j\le s$ , $E=B\cap (\bigcup_{i=1}^{j}X_i)\neq A\cap (\bigcup_{i=1}^{j} X_i)=F$ muestra que ninguno de $E,F$ contiene al otro. Demuestre que \[|\mathcal F|\le \max_{\sum\limits_{i=1}^{S}w_i=k}\prod_{j=1}^{s}\binom{|X_j|}{w_j}\]

Suponga que $\mathcal F\subseteq p(X)$ y $|X|=n$ . Demuestre que si $|\mathcal F|>\sum_{i=0}^{k-1}\dbinom{n}{i}$ entonces existe $Y\subseteq X$ con $|Y|=k$ tal que $p(Y)=\mathcal F\cap Y$ tal que $\mathcal F\cap Y=\{F\cap Y:F\in \mathcal F\}$

Suponga que $\mathcal F\subseteq X^{(K)}$ y $|X|=n$ . Sabemos que para cada tres elementos distintos de $\mathcal F$ como $A,B$ y $C$ tenemos $A\cap B \not\subset C$ . a) Demuestre que : \[|\mathcal F|\le \dbinom{k}{\lfloor\frac{k}{2}\rfloor}+1\] b) Si los elementos de $\mathcal F$ no tienen necesariamente $k$ elementos, con las condiciones anteriores muestre que: \[|\mathcal F|\le \dbinom{n}{\lceil\frac{n-2}{3}\rceil}+2\]

Suponga que $\mathcal F\subseteq p(X)$ y $|X|=n$ . Sabemos que para cada $A_i,A_j\in \mathcal F$ tal que $A_i\supseteq A_j$ tenemos $3\le |A_i|-|A_j|$ . Demuestre que: $|\mathcal F|\le \lfloor\frac{2^n}{3}+\frac{1}{2}\dbinom{n}{\lfloor\frac{n}{2}\rfloor}\rfloor$

Suponga que $\mathcal F\subseteq \bigcup_{j=k+1}^{n}X^{(j)}$ y $|X|=n$ . Sabemos que $\mathcal F$ es una familia de Sperner y también es $H_k$ . Demuestre que: $\sum_{B\in \mathcal F}\frac{1}{\dbinom{n-1}{|B|-1}}\le 1$