V sobotu 2. listopadu proběhla mohutná oslava naší plnoletosti !!
Multimediaexpo.cz je již 18 let na českém internetu !!
V tiskové zprávě k 18. narozeninám brzy najdete nové a zásadní informace.

Youngova nerovnost

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
(+ Nový článek)
m (Nahrazení textu „<math>“ textem „<big>\(“)
Řádka 1: Řádka 1:
V [[Matematika|matematice]], '''Youngova nerovnost''', pojmenovaná podle Williama Henry Younga (1863−1942), dává do vztahu [[součin]] dvou nezáporných čísel a [[Sčítání|součet]] jejich [[Umocňování|mocnin]]:  
V [[Matematika|matematice]], '''Youngova nerovnost''', pojmenovaná podle Williama Henry Younga (1863−1942), dává do vztahu [[součin]] dvou nezáporných čísel a [[Sčítání|součet]] jejich [[Umocňování|mocnin]]:  
-
Jsou-li <math>a, b \geq 0</math>, <math>p, q \in (1, \infty)</math>, <math>p q = p+q</math>, pak
+
Jsou-li <big>\(a, b \geq 0</math>, <big>\(p, q \in (1, \infty)</math>, <big>\(p q = p+q</math>, pak
-
:<math>ab \leq \frac{a^p}{p} + \frac{b^q}{q}</math> .
+
:<big>\(ab \leq \frac{a^p}{p} + \frac{b^q}{q}</math> .
== Důkaz ==
== Důkaz ==
-
Pro <math>a = 0</math> nebo <math>b = 0</math> je důkaz triviální. Jinak z [[Konkávní funkce|konkávnosti]] [[Logaritmus|logaritmu]] dostáváme, že
+
Pro <big>\(a = 0</math> nebo <big>\(b = 0</math> je důkaz triviální. Jinak z [[Konkávní funkce|konkávnosti]] [[Logaritmus|logaritmu]] dostáváme, že
-
:<math>\ln \left(\frac{a^p}{p} + \frac{b^q}{q}\right) \geq {1 \over p} \ln (a^p) + {1 \over q} \ln (b^q) = \ln (a b)</math>,
+
:<big>\(\ln \left(\frac{a^p}{p} + \frac{b^q}{q}\right) \geq {1 \over p} \ln (a^p) + {1 \over q} \ln (b^q) = \ln (a b)</math>,
což bylo dokázáno.
což bylo dokázáno.

Verze z 14. 8. 2022, 14:50

V matematice, Youngova nerovnost, pojmenovaná podle Williama Henry Younga (1863−1942), dává do vztahu součin dvou nezáporných čísel a součet jejich mocnin:

Jsou-li \(a, b \geq 0</math>, \(p, q \in (1, \infty)</math>, \(p q = p+q</math>, pak

\(ab \leq \frac{a^p}{p} + \frac{b^q}{q}</math> .

Důkaz

Pro \(a = 0</math> nebo \(b = 0</math> je důkaz triviální. Jinak z konkávnosti logaritmu dostáváme, že

\(\ln \left(\frac{a^p}{p} + \frac{b^q}{q}\right) \geq {1 \over p} \ln (a^p) + {1 \over q} \ln (b^q) = \ln (a b)</math>,

což bylo dokázáno.

Externí odkazy