3 votos

Aplicación de la desigualdad en otros campos de las matemáticas

Estoy aprendiendo desigualdades por primera vez, y excepto un párrafo de Paul Zeitz en su libro Art and Craft of problem solving, ninguno da realmente mucha motivación de por qué debería preocuparme por las desigualdades.

El ejemplo dado por Paul Zeitz fue que para probar $b^2-b+1$ nunca es un cuadrado perfecto para un número entero $b$ . Bueno- eso motiva un poco, pero la desigualdad utilizada es trivialmente obvia; quiero mucho más profundo.

¿Cuáles son algunos problemas de teoría de los números o de combinatoria fáciles de plantear y moderadamente difíciles de resolver que requieren la aplicación de una desigualdad no trivial?

1voto

billythekid Puntos 156

El principio de encasillamiento depende de una desigualdad y no es trivial porque es muy útil. Otra es $x^2 \ge 0$ para $x$ real que puede utilizarse para demostrar que algunos polinomios no tienen raíces reales.

0voto

user254665 Puntos 4075

(I). Muchas preguntas se responden fácilmente con lo siguiente: Sea $J$ sea un intervalo (acotado o no) de $\mathbb R.$ Dejemos que $f:J\to \mathbb R$ con $f''(x)<0$ para todos $x\in J.$ Entonces, cuando $w_1,...,w_n$ son no negativos con $\sum_{i=1}^nw_i=1,$ y $x_1,...,x_n \in J$ entonces $$(*)\quad f\left(\sum_{i=1}^nw_ix_i\right)\geq \sum_{i=1}^nw_if(x_i)$$ con igualdad si $x_i=x_j$ siempre que $w_i\ne 0\ne w_j.$

Ejemplo: $J=(0,\infty)$ y $f(x)=\ln x.$ Entonces $\log (\sum_{i=1}^nw_ix_i)\geq \sum_{i=1}^nw_i\log x_i,\;$ lo que equivale a $\sum_{i=1}^n w_ix_i\geq \prod_{i=1}^nx_i^{w_i}.$

En particular, cuando $w_i=1/n$ para cada $n$ tenemos $(\sum_{i=1}^nx_i)/n\geq (\prod_{i=1}^nx_i)^n,$ que es la desigualdad de la AGM.

Si, en cambio, tenemos $f''(x)>0$ para todos $x\in J$ entonces la desigualdad en (*) se invierte. Un ejemplo Q que estaba en este sitio este mes (mayo de 2017) era minimizar $\sum_{i=1}^nix_i^2\;$ dado que $\sum_{i=1}^nix_i=1,$ para $x_1,...x_i\in \mathbb R.$ Con $f(x)=x^2$ y $J=\mathbb R,$ dejar $w_i=i/((n^2+n)/2)$ para cada $i$ y la respuesta se obtiene inmediatamente.

(II). Sobre un tema diferente tenemos : Sea $x\in \mathbb R.$ Si para cada $r>0$ existe $a,b\in \mathbb Z$ tal que $0<|x-\frac {a}{b}|<\frac {r}{|b|}$ entonces $x\not \in \mathbb Q.$

PRUEBA: Si $x=c/d$ con $c,d\in \mathbb Z$ entonces para $a,b \in \mathbb Z$ tenemos $$0<|x-\frac {a}{b}|\iff 0<|cb-ad| \iff 1\leq |cb-ad| \iff$$ $$\iff \frac {1/|d|}{|b|}\leq |\frac {c}{d}-\frac {a}{b}|=|x-\frac {a}{b}|$$ por lo que no podemos tener $0<|x-\frac {a}{b}|<\frac {r}{|b|}$ a menos que $r\geq \frac {1}{|d|}.$

Obsérvese cómo la desigualdad $0<|cb-ad|$ fortalece a $1\leq |cb-ad|$ porque $cb-ad\in \mathbb Z.$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X