Mximos y Mnimos sin Derivadas

Entrega 1

Introduccin
Es costumbre comenzar el estudio de problemas de optimizacin junto con el estudio de derivadas. Sin
embargo, es posible tratar problemas interesantes de mximos y mnimos con mtodos ms elementales,
al alcance de los alumnos del ultimo ciclo de la E.G.B. o comienzo del Polimodal. Para quienes seguirn
el Polimodal, estos temas resultan una buena introduccin a los problemas que se resolvern despus
con tcnicas de derivadas, a la vez que podrn comparar las bondades de cada tcnica. Para quienes no
seguirn el Polimodal, puede ser la nica oportunidad de ver problemas de este tipo!
La idea de incorporar estos temas en la enseanza no es nueva. Entre nosotros por ejemplo, L. A. Santal lo ha propuesto en su libro La enseanza de la matemtica en la escuela media (Docencia, Buenos
Aires, 1986, pgs. 6669)1.
Algunos problemas tpicos a los que nos referimos son las desigualdades isoperimtricas elementales,
como por ejemplo: Entre todos los tringulos de permetro dado, el equiltero es el que tiene mayor
rea, o Entre todos los polgonos de n lados inscriptos en una circunferencia, el n-gono regular es el
que tiene mayor rea.
El propsito de estas notas es presentar algunos de estos problemas y algunas tcnicas que pueden
emplearse en su resolucin, aprovechando la experiencia obtenida en los cursos de Mximos y mnimos
sin derivadas, dados en la OMA. A modo de precalentamiento, invitamos al lector a resolver los
siguientes problemas usando slo argumentos geomtricos:
Problema 1: Entre todos los tringulos rectngulos con hipotenusa dada, cul tiene mayor rea?
Problema 2: Entre todos los tringulos inscriptos en una circunferencia y con base dada, cul tiene
mayor rea?

Problema 3: Entre todos los tringulos de base y permetro dados, cul tiene mayor rea?

Problema 4: Entre todos los tringulos con dos lados de longitud dada y el tercero de cualquier
longitud, cual es el de mayor rea?

Problema 5: Entre todos los tringulos con base y altura dadas (en particular tienen todos la misma
rea), cul es el que tiene menor permetro? Y mayor ?

La desigualdad entre las medias aritmtica y geomtrica

Una de las tcnicas para determinar mximos y mnimos es el uso de desigualdades entre promedios.
Dos de los ms elementales son la media aritmtica y la media geomtrica, que estudiaremos en esta
seccin.
1 Desde ya, recomendamos al lector interesado en la enseanza de matemticas que consulte ese libro: son perlas tras
perlas, exhibidas con la sencillez de quien conoce profundamente el tema.

Pg. 2

Mximos y Mnimos sin Derivadas

Denicin: Si a1 ; a2 ; : : : ; ak son nmeros reales, su media aritmtica se dene por

m = m(a1 ; a2 ; : : : ; ak ) = a1 + a2 +k


+ ak = k1 ai ;
j =1
k
X

mientras que si los nmeros son positivos, su media geomtrica se dene como
q

g = g(a1 ; a2 ; : : : ; ak ) = k a1
a2


ak =

k
Y
1=k
j =1

ai

Por ejemplo, la media aritmtica entre 1, 2, 3 y 4 es m = 2; 5; mientras su media geomtrica es

g = 2; 21336 : : :

Problema 6: Demostrar que m y g son efectivamente promedios, es decir, mini ai  m(a1 ; : : : ; ak ) 

maxi ai y mini ai  g(a1 ; : : : ; ak )  maxi ai , donde en cualquiera de estas desigualdades vale la igualdad
si y slo si a1 = a2 =


= ak .

En el ejemplo anterior, vemos que g  m. Esta desigualdad es siempre vlida:

Resultado 7 (Desigualdad entre las medias aritmtica y geomtrica): Si a1 ; a2 ; : : : ; ak son positivos,
entonces g  m, y puede darse la igualdad g = m si y slo si a1 = a2 =


= ak .

En la prxima seccin daremos una demostracin de esta desigualdad en general, pero es sencilla verla
para el caso n = 2: si a y b son nmeros positivos, la desigualdad g  m es equivalente, sucesivamente, a
 a + b 2
 a
b , a2 + b2  2ab , (a , b)2  0:
2
Por supuesto, la ltima es cierta y vale la igualdad si y slo si a = b.
La desigualdad entre las medias aritmtica y geomtrica, al menos para n = 2 era conocida por los
babilonios, quienes posiblemente usaran argumentos geomtricos como el del prximo problema:
Problema 8: La desigualdad para n = 2 se puede interpretar geomtricamente a partir de la siguiente
gura, donde
P
 la longitud de AB es a,
Q
 la longitud de BC es b,
 O es el punto medio del segmento AC ,
 el dimetro de la circunferencia es a + b,
 el punto P est en la interseccin de una perpendicular al segmento AC por O,
 el punto Q est en la interseccin de una perpenC
A
O
B
dicular al segmento AC por B .
Demostrar que la longitud de OP es la media aritmtica de a y b, y usando que los tringulos ABQ
y QBC son semejantes, demostrar que la longitud de BQ es la media geomtrica. Es claro que la media

geomtrica es menor o igual que la media aritmtica, y vale la igualdad si y slo si a = b

A partir del problema anterior, vemos que desde el punto de vista geomtrico (para n = 2), la media
aritmtica representa el promedio de longitudes, mientras que la media geomtrica representa el promedio
de reas : la media geomtrica de a y b es el lado de un cuadrado cuya rea tiene igual rea a la de un
rectngulo de lados a y b.
La desigualdad es slo una reinterpretacin sobre mximos de una parbola, y de ah su importancia
para la determinacin de mximos y mnimos en problemas sencillos:
Problema 9: Si a > 0, el mximo de la parbola y = x(a , x) se obtiene en x = a=2 y toma el valor
a2 =4. Sugerencia : Completar cuadrados como en la demostracin de la desigualdad para n = 2.

Apliquemos la desigualdad al problema: Entre todos los tringulos de permetro dado, el equiltero
es el de mayor rea.
Supongamos que (las longitudes de) los lados son a, b y c. El permetro es p = a + b + c, cuyo valor
es comn (constante) para todos los tringulos considerados.

Entrega 1

Pg. 3

Necesitamos ahora una frmula para el rea del tringulo en trminos de los lados, y recordamos
entonces la frmula de Hern de Alejandra: el rea A de un tringulo puede escribirse como
q

A = s(s , a)(s , b)(s , c);

donde s es el semipermetro, s = p=2, que es tambin constante para los tringulos considerados.
Maximizar A es lo mismo que maximizar A2 (pues A > 0), y a su vez maximizar s(s , a)(s , b)(s , c)
es lo mismo que maximizar (s , a)(s , b)(s , c), ya que s > 0 es constante en nuestro caso. Entonces
queremos maximizar el producto de los tres nmeros (s , a) (s , b) (s , c).
Podramos usar ahora la desigualdad entre las medias aritmtica y geomtrica para los nmeros s , a,
s , b y s , c, si supiramos que todos ellos son positivos.
Sabemos que por ser un tringulo, la desigualdad triangular (valga la redundancia) dice que, por
ejemplo, a < b + c. Sumando a a ambos miembros y dividiendo por 2 obtenemos a < (a + b + c)=2 = s,
por lo que s , a > 0, como queramos. El mismo razonamiento (permutando adecuadamente a, b y c)
sirve para ver que los nmeros s , b y s , c son tambin positivos.
Entonces podemos aplicar la desigualdad entre las medias. La media aritmtica es
m = (s , a) + (s ,3 b) + (s , c) = 3s ,3 2s = 3s ;
y como m  g, debe ser m3  g3 , es decir
 3
m3 = 3s  g3 = (s , a)(s , b)(s , c);

(1)

donde vale la igualdad si y slo si s , a = s , b = s , c, es decir si y slo si a = b = c, o sea si y slo si

el tringulo es equiltero.
Multiplicando la desigualdad (1) por s obtenemos s4 =33 ps(s , a)(s , b)(s , c) = A2 , por lo que
(siendo todos los nmeros que aparecen positivos), A  s2 =(3 3), con igualdad si y slo si el tringulo
es equiltero. En otras palabras, todas las reas son menores que el miembro derecho (que es el mismo
para todos los tringulos considerados) excepto para el caso del equiltero para el que vale la igualdad.
Problema 10: Demostrar la formula de Hern.

Problema 11: Entre todos los (cuadrilteros) rectngulos de rea dada, el cuadrado es el que tiene
menor permetro.

Problema 12: Extender la frmula de Hern para el caso de un cuadriltero de lados a, b, c y d,

obteniendo que el rea A satisface
A2 = (s , a)(s , b)(s , c)(s , d) , a b c d 1 + cos(2  + ) ;
donde  y  son dos ngulos internos opuestos (cualesquiera puesto que la suma de los ngulos interiores
en un cuadriltero es 360), y s es el semipermetro. Sugerencia : La trigonometra puede simplicar la

vida.
Problema 13: Entre todos los cuadrilteros de rea dada, el cuadrado es el de menor permetro.
Los siguientes problemas estn tomados de I. Niven, Maxima and Minima without Calculus (Mathematical Association of America, 1981), pg. 54:
Problema 14: Consideremos el cuadriltero Q1 que tiene rea mxima entre los que tienen lados de
longitudes 8, 9, 12, 19 (en ese orden) y el cuadriltero Q2 que tiene rea mxima entre los que tienen
lados de longitudes 8, 9, 19 y 12 (en ese orden).
a ) Calcular las reas de Q1 y Q2 (es la misma).
b ) Tanto Q1 como Q2 pueden inscribirse (respectivamente) en una circunferencia, cul de stas tiene
mayor radio?

Problema 15: Entre los cuadrilteros con permetro y la longitud de un lado especicados, cul
tiene mayor rea? Construirlo para el caso permetro 17cm y lado jo 5cm.

Problema 16: Encontrar la mayor de las reas de los cuadrilteros que tienen lados de longitudes
1, 4, 7 y 8.

Pg. 4

Mximos y Mnimos sin Derivadas

Problema 17: Un granjero tiene 200 metros de alambrado para cercar una regin rectangular a lo
largo de la costa de un ro (costa que podemos suponer recta), poniendo el alambrado sobre los tres lados
del rectngulo que no estn sobre la costa. Cules sern las dimensiones del rectngulo de rea mxima
que puede cercar? Y si en vez de un rectngulo fuera un cuadriltero cualquiera (con uno de los lados
sobre la costa y usando el alambrado sobre los tres restantes)?

Demostracin de la desigualdad entre las medias aritmtica y geomtrica

Hay muchas demostraciones de esta desigualdad. Tal vez la ms conocida es la dada por Cauchy (en
1821). Tambin es posible que esta desigualdad compita con el teorema de Pitgoras en cuanto a cantidad
de distintas demostraciones. Por ejemplo hay una buena variedad en el libro de E. F. Beckenbach
y R. Bellman, An Introduction to Inequalities (Mathematical Association of America, 1961, cap. 1).
La que vamos a dar esta en los libros de N. D. Kazarinoff, Geometric Inequalities (Mathematical
Association of America, 1975, cap. 1) y I. Niven, Maxima and Minima without Calculus (Mathematical
Association of America, 1981, cap. 2).
Teorema 18: Sean n nmeros positivos a1 ; a2 ; : : : ; an , y sean m y g las medias aritmtica y geomtrica
respectivamente,
q
m = a1 + a2 +


+ an y g = n a
a


a :

Entonces m  g, con igualdad si y slo si a1 = a2 =


= an .

Demostracin: Si a1 = a2 =


= an , est claro que m = g, por lo que podemos suponer que no todos
los a's son iguales y demostraremos que entonces m > g (estrictamente).
Si el promedio aritmtico de los a's es m, y no todos los a's son iguales, habr uno menor, llammosle
u, y uno mayor, llammosle v. Necesariamente debe ser u < v pues no todos los a's son iguales.
Pero tambin m < v, puesto que si por ejemplo v  m, entonces como u < v,
n m = a1 + a2 +


+ an  u + (n , 1)v < v + (n , 1)v < n m
y esto no puede ser. Anlogamente, vemos que u < m.
Sustituimos ahora los nmeros u y v por otros nmeros u0 y v0 de modo de no cambiar la media
aritmtica: para esto ponemos u0 = m, v0 = u + v , m. Obviamente, la suma (y por lo tanto el promedio
aritmtico) despus de la sustitucin no ha variado. Adems u0 y v0 son nmeros positivos pues m > 0
y v , m > 0 (ya que v > m). Ms an, u0 , u = m , u > 0 y v0 , u = v , m > 0, por lo que
0 < (u0 , u)(v0 , u) = u0 v0 + uu , uv0 , u0u =
= u0v0 , u(v0 + u0 , u) = u0 v0 , u(u + v , m + m , u) = u0v0 , uv:
Entonces uv < u0 v0 , y el producto de los a's despus de cambiar u y v por u0 y v0 ha aumentado
estrictamente.
Pero ahora al menos uno de los nuevos nmeros es m. Despus de a lo sumo n , 1 pasos de este
estilo, todos los nmeros sern iguales a m y hemos ido aumentando (estrictamente) el producto y por
lo tanto la media geomtrica cada vez. Como al nal tenemos g = m pues todos los nmeros son iguales
(a m), inicialmente debe ser g < m.
Ilustremos el algoritmo de la demostracin con un ejemplo. Consideremos los nmeros 3, 5, 7, 9 y
16. La media aritmtica es 40=5 = 8. Los cambios sucesivos en el producto son:
3
5
7
9
16 < 8
5
7
9
11 < 8
8
7
9
8 < 8
8
8
8
8:

Punto (y) aparte

Dentro de la pgina de la OMA en internet (http://www.oma.org.ar), habr un espacio reservado
para estas notas. En ellas aparecern las notas anteriores (hasta el momento sobre la parbola, torneos
y sta), y algunas soluciones propuestas. Sugerencias, quejas y anes pueden enviarse mediante correo
electrnico a invydoc@oma.org.ar.
Esperamos comentarios! Hasta la prxima.