Desigualdades

Es una comparación que se establece entre dos números reales "aa", "bb" utilizando los símbolos de la relación de orden, la cual puede ser verdadera o falsa.

D

Definiciones: $\forall a; b; c \in \mathbb{R}$

concept

I. a es positivo↔a>0a \text{ es positivo} \leftrightarrow a > 0
II. a es negativo↔a<0a \text{ es negativo} \leftrightarrow a < 0
III. a>b↔a−b>0a > b \leftrightarrow a - b > 0
IV. a<b↔a−b<0a < b \leftrightarrow a - b < 0
V. a≤b↔a<b∨a=ba \le b \leftrightarrow a < b \lor a = b
VI. a≥b↔a>b∨a=ba \ge b \leftrightarrow a > b \lor a = b
VII. a<b<c↔a<b∧b<ca < b < c \leftrightarrow a < b \land b < c
VIII. a>b↔b<aa > b \leftrightarrow b < a

Ley de la tricotomía

∀a∈R\forall a \in \mathbb{R} solo se puede establecer una, y solo una, de las tres relaciones:

a>0∨a=0∨a<0\boxed{a > 0 \quad \lor \quad a = 0 \quad \lor \quad a < 0}

Ley de la clausura

∀a;b∈R\forall a; b \in \mathbb{R} se cumple que: (a+b)∈R+∧(a⋅b)∈R+(a + b) \in \mathbb{R}^+ \quad \land \quad (a \cdot b) \in \mathbb{R}^+

Teorema

∀a;b∈R\forall a; b \in \mathbb{R} se tiene que: a>b∨a=b∨a<ba > b \quad \lor \quad a = b \quad \lor \quad a < b

Teoremas fundamentales de las desigualdades ∀a;b;c;d∈R\forall a; b; c; d \in \mathbb{R}

  1. a<b↔a+c<b+ca < b \leftrightarrow a + c < b + c
  2. Si a>b∧b>c→a>ca > b \land b > c \rightarrow a > c (transitividad)
  3. Si a<b∧c<d→a+c<b+da < b \land c < d \rightarrow a + c < b + d
  4. Si a>b∧c>0→a⋅c>b⋅ca > b \land c > 0 \rightarrow a \cdot c > b \cdot c
  5. a<b→−a>−ba < b \rightarrow -a > -b
  6. Si a>b∧c<0→a⋅c<b⋅ca > b \land c < 0 \rightarrow a \cdot c < b \cdot c
  7. ∀a∈R:a2≥0\forall a \in \mathbb{R}: a^2 \ge 0
  8. Si 0≤a<b∧0≤c<d→a⋅c<b⋅d0 \le a < b \land 0 \le c < d \rightarrow a \cdot c < b \cdot d
  9. ∀a≠0:a y a−1\forall a \neq 0: a \text{ y } a^{-1} tienen el mismo signo
  10. ab>0↔((a>0∧b>0)∨(a<0∧b<0))ab > 0 \leftrightarrow \big( (a > 0 \land b > 0) \lor (a < 0 \land b < 0) \big)
  11. ab<0↔((a>0∧b<0)∨(a<0∧b>0))ab < 0 \leftrightarrow \big( (a > 0 \land b < 0) \lor (a < 0 \land b > 0) \big)
  12. Sea ab>0ab > 0 (tienen el mismo signo)

    →a<b⇔1b<1aa<x<b↔1b<1x<1a \rightarrow a < b \Leftrightarrow \frac{1}{b} < \frac{1}{a} \qquad a < x < b \leftrightarrow \frac{1}{b} < \frac{1}{x} < \frac{1}{a}

Teoremas adicionales

  1. Sea a>b>0∧n∈Z+a > b > 0 \land n \in \mathbb{Z}^+: a>b→an>bna > b \rightarrow a^n > b^n
  2. Sea a<b<0∧n∈Z+a < b < 0 \land n \in \mathbb{Z}^+:

    a<b→a2n>b2n a < b \rightarrow a^{2n} > b^{2n}

    a<b→a2n−1<b2n−1 a < b \rightarrow a^{2n-1} < b^{2n-1}

  3. Sean a>0∧b>0a > 0 \land b > 0, luego a<x<b→a2<x2<b2a < x < b \rightarrow a^2 < x^2 < b^2
  4. Sean a<0∧b<0a < 0 \land b < 0, luego a<x<b→a2>x2>b2a < x < b \rightarrow a^2 > x^2 > b^2
  5. Sean a<0∧b>0a < 0 \land b > 0, luego a<x<b→0≤x2<max⁡{a2;b2}a < x < b \rightarrow 0 \le x^2 < \max\{a^2; b^2\}

Recta real

La recta real es una representación geométrica que permite ubicar, comparar y ordenar todos los números reales.
Cada punto de la recta corresponde a un único número real y, recíprocamente, a cada número real le corresponde un único punto de la recta.

Intervalos

Un intervalo II (I⊂RI \subset \mathbb{R}) es un subconjunto de números reales que contiene todos los valores comprendidos entre dos extremos dados.

Intervalo abierto

No incluye sus extremos.

a<x<b⇔x∈(a,b) a < x < b \quad \Leftrightarrow \quad x \in (a,b)

📝 Ejemplos

(1,5)={x∈R∣1<x<5}(1,5)=\{x \in \mathbb{R} \mid 1<x<5\}

{% jsxgi {"i":"(1,5)"} %}

(−3,2)={x∈R∣−3<x<2}(-3,2)=\{x \in \mathbb{R} \mid -3<x<2\}

{% jsxgi {"i":"(-3,2)"} %}

(−12,4)={x∈R∣−12<x<4}\left(-\frac{1}{2},4\right)=\{x \in \mathbb{R} \mid -\frac{1}{2}<x<4\}

{% jsxgi {"i":"(-1/2,4)"} %}

Intervalo cerrado

Incluye ambos extremos.

a≤x≤b⇔x∈[a,b] a \le x \le b \quad \Leftrightarrow \quad x \in [a,b]

📝 Ejemplos

[1,5]={x∈R∣1≤x≤5}[1,5]=\{x \in \mathbb{R} \mid 1\le x\le 5\}

{% jsxgi {"i":"[1,5]"} %}

[−3,2]={x∈R∣−3≤x≤2}[-3,2]=\{x \in \mathbb{R} \mid -3\le x\le 2\}

{% jsxgi {"i":"[-3,2]"} %}

[−12,4]={x∈R∣−12≤x≤4}\left[-\frac{1}{2},4\right]=\{x \in \mathbb{R} \mid -\frac{1}{2}\le x\le 4\}

{% jsxgi {"i":"[-1/2,4]"} %}

Intervalos semiabiertos (mixtos)

Incluyen solo uno de los extremos.

a<x≤b⇔x∈(a,b] a < x \le b \quad \Leftrightarrow \quad x \in (a,b]

a≤x<b⇔x∈[a,b) a \le x < b \quad \Leftrightarrow \quad x \in [a,b)

📝 Ejemplos

(1,5]={x∈R∣1<x≤5}(1,5]=\{x \in \mathbb{R} \mid 1<x\le5\}

{% jsxgi {"i":"(1,5]"} %}

[1,5)={x∈R∣1≤x<5}[1,5)=\{x \in \mathbb{R} \mid 1\le x<5\}

{% jsxgi {"i":"[1,5)"} %}

(−3,2]={x∈R∣−3<x≤2}(-3,2]=\{x \in \mathbb{R} \mid -3<x\le2\}

{% jsxgi {"i":"(-3,2]"} %}

[−3,2)={x∈R∣−3≤x<2}[-3,2)=\{x \in \mathbb{R} \mid -3\le x<2\}

{% jsxgi {"i":"[-3,2)"} %}

(−12,4]={x∈R∣−12<x≤4}\left(-\frac{1}{2},4\right]=\{x \in \mathbb{R} \mid -\frac{1}{2}<x\le4\}

{% jsxgi {"i":"(-1/2,4]"} %}

[−12,4)={x∈R∣−12≤x<4}\left[-\frac{1}{2},4\right)=\{x \in \mathbb{R} \mid -\frac{1}{2}\le x<4\}

{% jsxgi {"i":"[-1/2,4)"} %}

Intervalos infinitos

Cuando uno de los extremos no está acotado.

📝 Ejemplos

(2,∞)={x∈R∣x>2}(2,\infty)=\{x \in \mathbb{R} \mid x>2\}

{% jsxgi {"i":"(2,inf)"} %}

[2,∞)={x∈R∣x≥2}[2,\infty)=\{x \in \mathbb{R} \mid x\ge2\}

{% jsxgi {"i":"[2,inf)"} %}

(−∞,3)={x∈R∣x<3}(-\infty,3)=\{x \in \mathbb{R} \mid x<3\}

{% jsxgi {"i":"(-inf,3)"} %}

(−∞,3]={x∈R∣x≤3}(-\infty,3]=\{x \in \mathbb{R} \mid x\le3\}

{% jsxgi {"i":"(-inf,3]"} %}

(−∞,−1)={x∈R∣x<−1}(-\infty,-1)=\{x \in \mathbb{R} \mid x<-1\}

{% jsxgi {"i":"(-inf,-1)"} %}

[−4,∞)={x∈R∣x≥−4}[-4,\infty)=\{x \in \mathbb{R} \mid x\ge-4\}

{% jsxgi {"i":"[-4,inf)"} %}

Acotado inferiormente

x>a⇔x∈(a,∞) x > a \quad \Leftrightarrow \quad x \in (a,\infty)

x≥a⇔x∈[a,∞) x \ge a \quad \Leftrightarrow \quad x \in [a,\infty)

📝 Ejemplos

(1,∞)={x∈R∣x>1}(1,\infty)=\{x \in \mathbb{R} \mid x>1\}

{% jsxgi {"i":"(1,inf)"} %}

[0,∞)={x∈R∣x≥0}[0,\infty)=\{x \in \mathbb{R} \mid x\ge0\}

{% jsxgi {"i":"[0,inf)"} %}

(−2,∞)={x∈R∣x>−2}(-2,\infty)=\{x \in \mathbb{R} \mid x>-2\}

{% jsxgi {"i":"(-2,inf)"} %}

Acotado superiormente

x<b⇔x∈(−∞,b) x < b \quad \Leftrightarrow \quad x \in (-\infty,b)

x≤b⇔x∈(−∞,b] x \le b \quad \Leftrightarrow \quad x \in (-\infty,b]

📝 Ejemplos

(−∞,4)={x∈R∣x<4}(-\infty,4)=\{x \in \mathbb{R} \mid x<4\}

{% jsxgi {"i":"(-inf,4)"} %}

(−∞,0]={x∈R∣x≤0}(-\infty,0]=\{x \in \mathbb{R} \mid x\le0\}

{% jsxgi {"i":"(-inf,0]"} %}

(−∞,−3)={x∈R∣x<−3}(-\infty,-3)=\{x \in \mathbb{R} \mid x<-3\}

{% jsxgi {"i":"(-inf,-3)"} %}

Operaciones con intervalos

Sean AA y BB subconjuntos de R\mathbb{R} (en particular, intervalos).
Se definen las siguientes operaciones:

Unión

La unión contiene todos los elementos que pertenecen a AA, a BB, o a ambos.

A∪B={x∈R∣x∈A ∨ x∈B} A \cup B = \{ x \in \mathbb{R} \mid x \in A \ \lor \ x \in B \}

Intersección

La intersección contiene únicamente los elementos comunes a ambos conjuntos.

A∩B={x∈R∣x∈A ∧ x∈B} A \cap B = \{ x \in \mathbb{R} \mid x \in A \ \land \ x \in B \}

Diferencia de conjuntos

La diferencia entre AA y BB está formada por los elementos que pertenecen a AA pero no a BB.

A−B={x∈R∣x∈A ∧ x∉B} A - B = \{ x \in \mathbb{R} \mid x \in A \ \land \ x \notin B \}

Complemento

El complemento de AA está formado por todos los números reales que no pertenecen a AA.

AC=A′={x∈R∣x∉A} A^{C} = A' = \{ x \in \mathbb{R} \mid x \notin A \}

Desigualdad de las medias

Sean x1,x2,…,xn∈R+x_1, x_2, \dots, x_n \in \mathbb{R}^{+}. Se definen:

MA=x1+x2+⋯+xnn(Media Aritmeˊtica)MA = \frac{x_1 + x_2 + \cdots + x_n}{n} \qquad \text{(Media Aritmética)}

MG=x1⋅x2⋯xnn(Media Geomeˊtrica)MG = \sqrt[n]{x_1 \cdot x_2 \cdots x_n} \qquad \text{(Media Geométrica)}

MH=n1x1+1x2+⋯+1xn(Media Armoˊnica)MH = \frac{n}{\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_n}} \qquad \text{(Media Armónica)}

Entonces, se cumple la siguiente desigualdad fundamental:

MA≥MG≥MH\boxed{MA \ge MG \ge MH}

Equivalentemente,

x1+x2+⋯+xnn≥x1⋅x2⋯xnn≥n1x1+1x2+⋯+1xn\boxed{\frac{x_1 + x_2 + \cdots + x_n}{n} \ge \sqrt[n]{x_1 \cdot x_2 \cdots x_n} \ge \frac{n}{\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_n}}}

Desigualdad de Cauchy–Schwarz

Sean a1,a2,…,ana_1, a_2, \dots, a_n y b1,b2,…,bnb_1, b_2, \dots, b_n números reales. Entonces:

(a1b1+a2b2+⋯+anbn)2≤(a12+a22+⋯+an2)(b12+b22+⋯+bn2)\boxed{\left(a_1 b_1 + a_2 b_2 + \cdots + a_n b_n\right)^2 \le \left(a_1^2 + a_2^2 + \cdots + a_n^2\right) \left(b_1^2 + b_2^2 + \cdots + b_n^2\right)}

equationzone.com