Las herramientas de cálculo hacen que la minimización de$$\frac{(1-p)^2}{p} + \frac{p^2}{1-p}$ $ en el intervalo$(0,1/2]$ sea una tarea trivial. Pero dada la cantidad de simetría que hay en esta expresión, tenía curiosidad si se podían usar manipulaciones estilo olímpico (AM-GM, Cauchy Schwarz, et al) para minimizar esto, mostrar que está disminuyendo, o para mostrar que está limitado debajo por 1.
Respuestas
¿Demasiados anuncios?** Modifiqué esto para dar una prueba solo con métodos elementales, no se necesitan teoremas de desigualdad **
Las transformaciones simples llevan a $$ \ frac {(1-p) ^ 2} {p} + \ frac {p ^ 2} {1-p} = - 3 + \ frac {4} {1 - 4 (p-1) / 2) ^ 2} $$ Ahora es fácil ver que el mínimo global de$f(p)$ para$p \in (0 , \; 1/2]$ ocurre en$p = 1/2$.
$$ \begin{array}{rcll} \dfrac{(1-p)^2}{p} + \dfrac{p^2}{1-p} &=& \dfrac {(1-p)^3 + p^3} {p (1-p)} \\ &=& \dfrac {[(1-p) + p] [(1-p)^2 - p(1-p) + p^2]} {p (1-p)} \\ &=& \dfrac {(1-p)^2 + p^2} {p (1-p)} - 1 \\ &\ge& \dfrac {\left[ \frac1{\sqrt2} (1-p) + \frac1{\sqrt2} p \right]^2} {p (1-p)} - 1 &\text{Cauchy-Schwarz} \\ &=& \dfrac 1 {2 p (1-p)} - 1 \\ &=& \dfrac 1 {0.5 - 2 (p-0.5)^2} - 1 \\ &\ge& \dfrac 1 {0.5} - 1 \\ &=& 1 \end {array} $$
Both$\ge$ tiene igualdad en$p = 0.5$.