UNIVERSIDAD NACIONAL ABIERTA

VICERRECTORADO ACADMICO
REA DE MATEMTICAS
CENTRO LOCAL METROPOLITANO

CLCULO DE VALORES MXIMOS Y MNIMOS,

DE FUNCIONES RACIONALES POLINMICAS, SIN
LA UTILIZACIN DEL ANLISIS DIFERENCIAL

INFORME DE PASANTA PRESENTADO COMO REQUISITO PARA

OPTAR AL TTULO DE:
LICENCIADO EN MATEMTICA
MENCIN ANLISIS NUMRICO

Autor.

Tcnel. Guillermo Gonzlez Hernndez

Tutor.

Lic. Alvaro Stephens

CARACAS, OCTUBRE 2011

ii

RESUMEN
El presente trabajo tiene por finalidad calcular mximos y mnimos
(valores extremos) de funciones racionales polinmicas de la forma:
f (x) =
Siendo:
Polinomios y
cartesianas en
f:

funciones algebraicas racionales enteras, llamadas

0 desde la perspectiva de un sistema de coordenadas

, esto es,

definida por:

f (x) =
con

, , {i = 0, 1,...n}, { j = 0, 1,...m}.
Trabajaremos con elementos algebraicos, aritmticos y geomtricos

elementales, como la tangente de una recta, la tangente de una parbola, expresin

de una parbola por el vrtice y los mtodos conocidos de la geometra analtica
elemental, adems con las nociones de lmite y continuidad de funciones, para
obtener as valores extremos de funciones sin el uso del anlisis diferencial y
generando un mtodo numrico basado en el lgebra Matricial simple como lo es
el clculo de determinantes en lugar de calcular derivadas numricas.
Este mtodo permite ilustrar la teora de mximos y mnimos de funciones
de este tipo en la educacin media donde no se tienen las herramientas del clculo
diferencial.

iii

DEDICATORIA

Dedico este trabajo a mi padre Rafael Gonzlez, quien me

ense la curiosidad cientfica, y que Dios lo tenga en su gloria.

Tambin a mi madre Alida Margarita Hernndez de

Gonzlez, quien me ense la idea intuitiva del infinito
aritmtico y as coloc el camino que he seguido durante toda
mi vida.

iv

AGRADECIMIENTOS
En primer lugar agradezco a mi esposa Haydee por su apoyo, a mis hijas:
Gabriela y Patricia; a mis hermanos: Rafael, Luis, Andrs y Dolores.
A mi Universidad Nacional Abierta, que es un verdadero templo del saber;
y con ella todo el gran equipo que hace posible una Educacin particularmente
muy especial, como lo son las modalidades Abierta y a Distancia, muy agradecido
a todos desde los comienzos de esta difcil experiencia hasta nuestros das;
imposible nombrarlos porque son muchos, desde cualquier ngulo, como,
Rectores, Personal Directivo, Profesores, Empleados, Obreros, Compaeros de
Estudios, que durante todos estos aos hemos compartido de alguna u otra forma
el sabor que deja la Sabidura de la especialidad que hemos decidido hacer nuestra
profesin.
Pero nunca olvidar a los que han dejado una huella profunda en mi
existencia:
Gracias de manera especial a mi Tutor, Prof. LVARO STEPHENS quien
con su ayuda, extremadamente valiosa y acertada, gui todos mis pasos para que
este trabajo llegara a su exitosa culminacin, por ello mi agradecimiento profundo,
no tan solo por ensearme a tener los conocimientos de Clculo Numrico y
Ecuaciones Diferenciales Parciales con valores en la frontera, sino por transformar
mi consciencia de un recopilador de frmulas como una suerte de matemtico de
recetas, en un Pensador Matemtico, capaz de crear nuevas ideas, de creer en ellas
y llevarlas valientemente hasta su final.
Igualmente gracias a todos mis profesores, de esta prestigiosa Universidad:
Prof.: Jos Ramn Gascn, por sus enseanzas acadmicas, y orientaciones fuera
del mbito acadmico, mediante charlas, conferencias y jornadas sobre
v

matemticas; Carla de Pinho, Alfredo Espejo, Luis Antonio Azocar, Alejandra

Lameda, Walter Beyer, Sergio Rivas, Jos Luis Flores, Richard Rico, Amarylis
Mota, Alfredo Robles entre muchos.
En el rea de Orientacin mi gran agradecimiento a la Dra. Mara
Milagros Pez, quien supo darme sabios consejos en los momentos difciles
durante mis estudios.

vi

INDICE GENERAL

INTRODUCCIN
1.

01

CONCEPTOS BSICOS

1.1.-

Introduccin

06

1.2.-

Punto lmite

06

1.3.-

Lmite de un funcin en un punto

07

1.4.-

Unicidad del lmite

07

1.5.-

Entorno de un punto

08

1.6.-

Continuidad de una funcin

09

1.7.-

Operaciones con lmites

10

1.8.-

Operaciones con funciones continuas

13

1.9.-

Principio de intercalacin

15

1.10.- Conservacin del signo de funciones continuas

15

1.11.- Teorema de Bolzano

16

1.12.- Valor intermedio para funciones continuas

17

1.13.- Funciones montonas y montonas a trozos

17

1.14.- El proceso de inversin

18

1.15.- funciones continuas que se conservan por inversin

18

1.16.- Valores extremos para funciones continuas

20

1.17.- Acotacin para funciones continuas

21

1.18.- Mximo (mnimo) para funciones continuas

22

1.19.- Mximo relativo

23

1.20.- Extremos

24

1.21.- Anulacin de la derivada en un extremo interior

24

vii

INDICE GENERAL

2.

Funciones Racionales

2.1.-

Polinomio

26

2.2.-

Funcin Racional Polinmica

26

2.3.-

Funcin Racional Polinmicas de orden n = 1

28

2.4.-

Funcin Racional Polinmicas de orden n = 2

29

3.

Mtodo Mximal no diferencial

3.1.-

Generalidades

31

3.2.-

Definicin de Funcin Extrema

31

3.3.-

Deduccin del Mtodo Mximal no Diferencial

35

3.4.-

Teorema Mximal

37

4.

Generalizacin del Mtodo Mximal

4.1

Generalidades

47

4.2

Caracterizacin de la Funcin Extrema

47

4.3

Triangulo Extremo

50

Conclusiones
Recomendaciones
Bibliografa

57
58
59

viii

INTRODUCCIN

Desde los ms lejanos tiempos, en la ms remota antigedad los hombres

se preocuparon siempre por el conocimiento, prctico en primer lugar, que dio
origen, a edificar sobre unas bases que soportaran tanto conocimiento, que da a
da se iba acumulando poderosamente, as surgi otro tipo de conocimiento: el
Terico, entre estos se encuentra el conocimiento organizado terico matemtico.
Ocurri en las distintas ramas del saber: en la mecnica, la economa, la fsica la
qumica, necesario era conocer sobre las cantidades, cuanto de esto, cuanto de
aquello, hasta que: la teora pens que la prctica ayudara mejor si conocemos
el mximo de todos estos valores o el mnimo, preguntas que se hicieron con la
denominacin de VALORES EXTREMOS.
Ejemplo de esto tenemos:

[La historia de la Matemtica de Ehrenfried Hofmann 1960]

En el crculo de los neoplatnicos alejandrinos (250-650) se rene de
nuevo la herencia de los grandes matemticos griegos, Pappo de Alejandra, nos
ofrece (aprox. 320) en sus Collectiones una importante recopilacin, con extractos
interesantes, de escritos conservados o perdidos de Euclides, Arqumedes y
Apolonio y con unos suplementos excelentes, entre los cuales destacan los
principios sobre figuras proyectivas, las observaciones sobre el manejo de los
mximos y mnimos, el llamado teorema de Guldon sobre el centro de gravedad en
los cuerpos de revolucin, y sus investigaciones sobre la cuadratiz, la espiral de
Arqumedes y la esfrica, y asimismo sobre las superficies helicoidales.

INTRODUCCIN

Con los Griegos, podemos observar el deseo de conocer, estos grandes, dan
un enfoque a la importancia que el clculo de los valores extremos tiene para el
mundo de la Ciencia y en especial el de la Matemtica. Pitgoras expresa:

[Aritmtica terica de los pitagricos: Los Nmeros. Thomas Taylor

1991.]
Sobre la cantidad relativa y las especies de desigualdad mayor y menor.
La primera divisin de la cantidad relativa es doble: porque todo lo que se mide
por comparacin a otra cantidad, es igual o bien desigual. Y es igual el que no es
menor ni mayor cuando se compara con otro. Sin embargo, esta parte de la
cantidad relativa, es decir la igualdad, es indivisible por naturaleza: porque no se
puede decir que una porcin de la igualdad es diferente de otra. Ya que toda
igualdad conserva una medida en su propia medicin. Y la cantidad comparada no
tiene denominacin diferente de aquella a la que se compara. Porque del mismo
modo que un amigo es amigo de un amigo y un vecino es vecino de un vecino,
decimos que lo igual es igual al igual. Pero de la cantidad desigual surge una
divisin doble: ya que lo desigual se puede dividir en mayor y menor, que tienen
denominaciones contrarias entre s. Porque lo mayor es mayor que lo menor y lo
menor es menor que lo mayor. De ah que los dos no tienen la misma
denominacin, como vimos que era el caso con la cantidad igual, sino que se
distinguen con nombres diferentes, como el maestro y el alumno o cualquier otro
caso de parecidos que se comparan con contrarios denominados de otra manera.
De la desigualdad mayor tenemos cinco partes. Una parte es la llamada
mltiple; la otra es superparticular; la tercera superparciente; la cuarta
superparticular mltiple; y la quinta superparciente mltiple.

INTRODUCCIN

Impresionante la manera como el intelecto va penetrando en ideas que

luego otros van redefiniendo y cambiando hasta llegar a problemas conceptuales
bsicos. As como los presentados por:

[Hall and Knight, Algebra Superior 1967]:

Hallar el valor mximo de un producto sabiendo que la suma de sus
factores es una constante.
La media aritmtica de cualquier nmero de cantidades positivas es mayor
que su media geomtrica.
Hallar el trmino numricamente ms grande en el desarrollo de 1

para cualquier valor racional de n.

Estos ejemplos en su momento histrico fueron creando unas bases muy
poderosas para cuando se hizo presente la idea de la aproximacin con la tangente,
la concepcin maravillosa de Arqumedes de resolver los crecientes por el mtodo
de exhaucin al conocer la aproximacin por la ideal del lmite, al establecerse una
poderosa relacin entre la geometra y el lgebra que concluy en los tiempos de
Fermat, Descartes, Newton y Leibnitz, con una obra que sin exageracin podemos
decir que es una de las ms altas genialidades de la humanidad a travs de toda su
historia: la creacin del CLCULO DIFERENCIAL E INTEGRAL.
Hasta estos das donde los problemas se han complicado ms, pero siguen
siendo la base de nuestro crecer como entes pensantes matemticos, ejemplo de
ello tenemos los siguientes autores, quienes resolvieron esta problemtica aliados
con la maravillosa obra del Clculo Infinitesimal:

INTRODUCCIN

[Del anlisis algbrico e infinitesimal., de Carlos Mataix Aracil;

Madrid 1957].
Mtodo de los multiplicadores de Lagrange para hallar los mximos y
mnimos relativos en el caso general. Para funciones del tipo:
f (x, y,, u, v,) = V ligadas a

, ,, , ,

Que se obtienen a travs de diferenciales parciales y luego se igualan a

cero
Hallar en el plano de un tringulo dado, un punto tal que la suma de los
cuadrados de sus distancias a los tres vrtices sea mnima
Determinar el punto del suelo desde el cual se ve un segmento vertical AB
bajo un ngulo mximo.
O los interesantsimos problemas de:

[Gallego-Daz, Nuevos problemas de Matemticas 1965]

Por el punto P interior a un tringulo dado ABC se trazan paralelas a los tres
lados del mismo, formndose as tres paralelogramos y tres tringulos. Para cul punto es
mnima la suma de las reas de estos tringulos?
Sean: A , A , A y A los vrtices de un cuadrado y sea P un punto arbitrario
en el plano. Demostrar que:

A (1+2) mx A P + mn A P

y determinar los puntos del plano para los cuales tiene lugar la igualdad.

INTRODUCCIN

Ms que herramienta o instrumento el Clculo ha sido un consejero, o una

gua que ha permitido desarrollar los ms intrincados problemas matemticos de
todas las pocas, y de dar a conocer otros que han simplificado la manera
conceptual de nuestra posicin cientfica en nuestras vidas. As como lo establece

[Heber Nieto en: XIII Escuela Venezolana para la enseanza de la

Matemtica: Aplicaciones del Clculo Diferencial]
Fermat desarroll un mtodo para hallar extremos de funciones
polinmicas que hoy identificaramos con hallar los puntos donde se anula la
derivada. Sin embargo, no define la derivada ni nada parecido, ni justifica su
mtodo.
A pesar de ello, lo utiliz con indudable xito para resolver algunos
problemas no triviales. Por ejemplo, formul el principio ptico segn el cual la
luz viaja de un punto a otro siguiendo la trayectoria que haga mnimo el tiempo
empleado (hoy conocido como Principio de Fermat) y de all dedujo la ley de
refraccin de Snell.
Todo esto representa sin duda alguna una fuerte evolucin del pensamiento
matemtico, donde cada concepto hasta cada letra muchas veces ha tardado hasta
siglos para que los implicados puedan llegar a fructferos acuerdos.
En este trabajo estudiaremos las funciones racionales polinmicas,
colocando en primer lugar las consideraciones fundamentales del mtodo a
desarrollar, luego bajo una concepcin del anlisis deductivo construiremos el
mtodo, pasando antes por una revisin de los elementos a utilizar y finalmente
llegaremos a los valores mximos y mnimos de estas funciones.

Captulo I
Conceptos Bsicos
1.1 Introduccin
Antes de estudiar los mximos y mnimos de funciones en forma general,
recordemos algunos conceptos, definiciones y los teoremas bsicos, ms
importantes que nos servirn de apoyo para despus en captulos posteriores
mostrar un mtodo donde no utilizaremos el concepto de derivadas para obtener
estos valores mximos y mnimos, en funciones racionales polinmicas.
Sea un nmero real positivo y sea a un nmero real dado. Una
-aproximacin de a es cualquier nmero real x tal que el error absoluto |
sea menor que ; es decir, |
|

| < , (1.1). Tomando en cuenta que la relacin

| < es equivalente con a < x < a + resulta que un nmero real x es una

-aproximacin de a si y slo si x est en el intervalo abierto (a, a+). Este

intervalo coincide entonces con el conjunto de todas las -aproximaciones del
nmero real a.

1.2 Definicin 1: Punto Lmite

Sea A un conjunto de nmeros reales, y sea a un nmero real. Diremos que
a es un punto lmite de A, si y slo s para cada > 0, existe un punto x en A tal
que x a y x es una -aproximacin de a.
Observemos que en esta definicin no se exige que a sea un elemento de A.
As mismo el elemento x correspondiente a un dado debe ser diferente de a, es
decir 0 < |

| < y x A. (1.2)

Captulo I

Conceptos Bsicos

1.3 Definicin 2: Lmite De Una Funcin En Un Punto

Sea A un conjunto de nmeros reales, a un punto lmite de A, y f: A una
funcin. Diremos que f tiene lmite en el punto a si y slo si existe un nmero real
b tal que para cada nmero real > 0 existe un > 0 que verifica la siguiente
condicin: si x A es una -aproximacin de a diferente de a, entonces f(x) es una
-aproximacin de b en otras palabras:
Si x A, y 0 < |

| < , entonces |

| < .

(1.3)

1.4 Proposicin 1: Unicidad Del Lmite

Sea f: A

una funcin, y sea a un punto lmite de A. Si b y c son puntos

lmites de f en a, entonces b = c. Es decir, si f posee un punto lmite en A, entonces

este punto lmite es nico.

Demostracin:
Supongamos que b y c son puntos lmites de f en a y que b c. Sea
=

, entonces > 0, y de acuerdo con la definicin anterior, tenemos:

a)

Existe un > 0 tal que si x A y 0 < |

| <, entonces |

b)

Anlogamente existe > 0, tal que si x A y 0 < |

|<.

| < , entonces

ser:
|

| < .

(1.4)

Como a es un punto lmite de A, existe un punto

0<|

| < y 0 <|

A tal que

| < .

De las relaciones anteriores (a) y (b) se deduce:

|

|=|

| |

|+|
|

Captulo I

Conceptos Bsicos

En conclusin, se obtiene |

; es decir, |

0. Esta

contradiccin proviene de suponer b c, y as podemos concluir que b = c.

De acuerdo con el resultado de la proposicin anterior, si f: A

es una

funcin y tiene lmite b en un punto lmite a de A, entonces este lmite b es nico,

y se acostumbra a denotar:
lim

=b

(1.5)

Que se lee el lmite de f (x) cuando x tiende hacia a es igual a b.

1.5 Definicin 3: Entorno De Un Punto

Cualquier intervalo abierto que contenga un punto p como su punto medio
se denomina entorno de p.
Notacin: Designemos los entornos con N(p),

, etc. Puesto

que un entorno N(p) es un intervalo abierto simtrico respecto a p, consta de todos

los nmeros reales x que satisfagan p r < x < p + r para un cierto r > 0. El
nmero positivo r se llama radio del entorno. Las desigualdades p r < x < p + r
son equivalentes a r < x p < r , y a |

|< r.

P
p

Captulo I

Conceptos Bsicos

1.6 Definicin 4: Continuidad De Una Funcin

La definicin de lmite no hace mencin del comportamiento de f en el
punto p. No obstante, si ocurre que f est definida en p y que f(p) = A, se dice
entonces que la funcin f es continua en p. Dicho de otro modo tenemos la
siguiente definicin.
Se dice que una funcin f es continua en un punto p si:
a) f est definida en p.
b)

lim

= f(p).

(1.6)

Esta definicin tambin puede formularse con entornos. Una funcin f es

continua en p si para todo entorno
f(x)

[f (p)] existe un entorno

[f(p)] siempre que x

Puesto que f(p) pertenece siempre a

tal que:

. 1.7

[f(p)], no se precisa la condicin

x p en (1.7). Especificando los radios de los entornos, la definicin de

continuidad puede darse como sigue: Una funcin es continua en p si para todo
> 0 existe un > 0 tal que |

| < siempre que |

| < .

f(P)

Funcin Continua
9

Captulo I

Conceptos Bsicos

1.7 Teorema 1: Operaciones Con Lmites

Sean f y g dos funciones tales que:
lim

= A.

lim

= B.

Se tiene entonces:
i

lim

A B

ii

lim

A B

iii

lim

iv

lim

A B
A /B, B 0

Demostracin:
Puesto que las dos igualdades
lim

=A y

lim

=0

Son completamente equivalentes, y como se tiene:

f(x) + g(x) (A + B) = [f(x) A] + [g(x) B].
Basta demostrar las igualdades (i) e (ii) del teorema cuando los lmites de A y B
son ambos cero.
Supngase pues, que f(x) 0 y g(x) 0 cuando xp. Se demostrar en
primer lugar que f(x) + g(x) 0 cuando xp. Para ello se tiene que probar que
para cada > 0 existe un > 0 tal que:
|

| < siempre que 0 <|

| < .

Sea dado, puesto que f(x) 0 cuando xp, existe un

(1.8)
> 0 tal que:

10

Captulo I

Conceptos Bsicos

| < , Siempre que 0 <|

| < .

(1.9)

Anlogamente, puesto que g(x) 0 cuando xp existe un

|

> 0 tal que:

| < .

| < siempre que 0 <|

Se indica por el menor de los dos nmeros

(1.10)
, entonces ambas

|< , y por lo tanto, en virtud de

igualdades (1.9) y (1.10) son validas si 0 <|

la desigualdad triangular, se tiene:
|

| |

Esto demuestra (1.8) que, a su vez, demuestra (i). La demostracin de (ii)

es completamente anloga, salvo que en l ltimo paso se emplea la desigualdad
|

Demostracin de (iii). Supngase que se ha demostrado (iii) en el caso

particular en que uno de los lmites es 0. Entonces el caso general resulta
fcilmente de este caso particular, como se deduce de la siguiente igualdad:
AB = f(x) [ (x) B] + B[ f(x) A].
El caso particular implica que cada trmino del segundo miembro tienda a
0 cuando xp y en virtud de la propiedad (i) la suma de los dos trminos tiende
tambin a 0. Por tanto, abasta slo probar (iii) en el caso en que uno de los lmites,
por ejemplo B, sea 0.
Supngase que f(x) A y g(x) 0 cuando xp. Se trata de probar que
f(x) g(x) 0 cuando xp. Para ello se ha de ver que dado un nmero positivo ,
existe un > 0 tal que:
|

|<

siempre que 0 <|

|<

(1.11)

11

Captulo I

Conceptos Bsicos

puesto que f(x) A cuando xp, existe un

|

tal que
|<

1 siempre que 0 <|

(1.12)

para tal x, tenemos

|

|=|

|
|

|=|

| + | | < 1 + | | , y por tanto

|
||

| < (1 + | | |

ya que (x) 0 cuando xp, para todo > 0 exista un

|

|<

| |

Siempre que 0 <|

(1.13)

tal que
| < 2

por consiguiente, si llamamos al menor de los dos nmeros

(1.14)
y

entonces las

dos desigualdades (1.11) y (1.12) son validas siempre que:

0 <|

| < , y para tal valor de x deducimos (1.9), lo que completa la

demostracin de (iii).
Demostracin de (iv). Puesto que el cociente f(x) / (x) es el producto de
f(x) / B por B / (x) basta demostrar que B / (x) 1 cuando xp y luego aplicar
(iii). Sea h(x) = (x) / B por lo que h(x) 1 cuando xp, y se quiere demostrar
que 1/h(x) 1 cuando xp.
Dado > 0, se trata de ver si existe un > 0 tal que
1 < siempre que 0 <|

|<

(1.15)

la diferencia se puede escribir como sigue:

1 =

|
|

|
|

(1.16)

puesto que h(x) 1 cuando xp se puede elegir un > 0 tal que ambas
desigualdades:

12

Captulo I

Conceptos Bsicos

y |

1| <

se satisfagan siempre que 0 < |

(1.17)

| < . La segunda de estas desigualdades

< 2 para tales valores de x. Empleando este

y por lo tanto

implica h(x) >

1| <

resultado en (1.14) junto con la primera desigualdad (1.15), obtenemos (1.13).

Esto completa de demostracin de (iv).

1.8 Teorema 2: Operaciones Con Funciones Continuas

Sean f y

dos funciones continuas en un punto p. La suma f + , la

diferencia f , y el producto f
tambin el cociente f

son tambin continuas en p. Si (p)

es continua. Siendo f = f(x) y

0,

= (x).

Demostracin:
Puesto que f y
lim

son continuas en p, se tiene

lim

= f(p) y

= (p). Aplicando las frmulas para los lmites, dadas en el teorema 1

cuando A = f(p) y B = (p), se deduce el teorema 2.

Ejemplos:
1.- Las funciones constantes son siempre continuas. Si f(x) = c para todo x,
entonces:

lim

lim

= c = f(p) para todo p, con lo cual f es continua

para todo x.
2.- La funcin identidad es continua para todo x. Si f(x) = x para todo x, entonces:
lim

= p = f (p) Para todo p, con lo cual f es continua para todo x.

13

Captulo I

Conceptos Bsicos

y = sen(x+2)+2cos(2x)

y=2cos(2x)
y = 2cos(2x)

y=sen(x+2) + 2cos(2x)

yy=sen(x+2)
= sen(x+2)

Suma de funciones continuas

3.- Continuidad de Polinomios. Si se toma f(x) = (x) = x, de la continuidad del
producto se deduce la continuidad en cada punto de la funcin cuyo valor en cada
x es

. Por induccin completa se prueba, que para cada nmero real c y cada

entero n la funcin f para la cual (x) =

es continua para todo x. Como la suma

de dos funciones continuas es a su vez continua, por induccin completa se prueba

que tambin es continua la suma de un nmero finito de funciones continuas. Por
tanto, todo polinomio p(x) =

es funcin continua en todos los puntos.

4.- Continuidad de funciones racionales. El cociente de dos polinomios se llama

funcin racional polinmica. Si r es una funcin racional, se tiene:
r(x) =

donde p y q son polinomios. La funcin r est definida para todo nmero real x tal
que q(x)

0. Como el cociente de funciones continuas es continuo, la funcin

racional es continua en todos los puntos en que est definida.

14

Captulo I

Conceptos Bsicos

1.9 Teorema 3: Principio De Intercalacin

Supongamos que f(x)

g(x)

h(x) para todo x

p en un cierto entorno

N(p) supongamos tambin que:

lim

lim

=a

se tiene entonces que

lim

=a

Demostracin:
Sean G(x) = g(x) f(x), y H(x) = h(x) f(x). Las desigualdades f g h
implican 0

g f

h f, o 0

G(x) H(x) para todo x

p en N(p). Para

demostrar el teorema, basta probar que G(x) 0 cuando xp.

Sea

(0) un entorno cualquiera de 0. Puesto que H(x) 0 cuando

xp, existe un entorno

(p) tal que H(x)

0 siempre que x

x p.
Podemos suponer que

N(p). Entonces la desigualdad 0

establece que G(x) no est ms lejos de 0 que H(x) si x esta en

consiguiente G(x)

,x

p por

(0) para tal valor de x, y por tanto G(x) 0 cuando xp.

Esto demuestra el teorema, y es vlida si todos los lmites son lmites

laterales o a un lado.

1.10 Teorema 4: Conservacin Del Signo De Las Funciones Continuas

Sea f continua en c y supongamos que f(c)
(c

0. Existe entonces un intervalo

, c +) en el que f tiene el mismo signo que f(c).

15

Captulo I

Conceptos Bsicos

Demostracin:
Supngase f(c) > 0. En virtud de la continuidad, para > 0 existe un > 0
tal que:
f (c) < f(x) < f(c) + siempre que c < x < c +
tomando el correspondiente a =
c < f(x) < f

(1.18)

, > 0, entonces (1.18) se transforma en:

siempre que c < x < c + .

1.11 Teorema 5: Teorema De Bolzano

Sea f continua en cada punto del intervalo cerrado [a, b] y supongamos que
f(a) y f(b) tienen signos opuestos. Existe entonces por lo menos un c en el intervalo
abierto (a, b) tal que f(c) = 0.

Demostracin:
Sea f(a) < 0 y f(b) > 0. Sea S el conjunto de todos los puntos del intervalo
[a, b] para los cuales f(x) 0. Hay por lo menos un punto en S puesto que f(a) < 0.
Por tanto, S es un conjunto no vaco. S est acotado superiormente puesto que
todos los puntos de S estn en [a, b], y puesto que todo conjunto no vaci de
nmeros reales que est acotado superiormente tiene un extremo superior, a ste se
le llama c. Entonces se trata de demostrar que f(c) = 0.
Hay slo tres posibilidades:
f(c) > 0, f(c) < 0, y f(c) = 0.
Si f(c) > 0 hay un intervalo (c , c + ) o (c , c] si c = b, tal que f(x) es positivo
si x est en este intervalo, por lo tanto c es una cota superior del conjunto S,

16

Captulo I

Conceptos Bsicos

pero c < c y c es el extremo superior de S, por tanto la desigualdad f(c) > 0 es

imposible.

, c + ) o [c, c + ] si c = a, en el cual f

Si f(c) < 0 hay un intervalo (c

es negativa y por tanto f(x) < 0 para algn x > c, contra el hecho de que c es una
cota superior de S. Por tanto f(c) < 0 tambin es imposible y queda slo la
posibilidad f(c) = 0. Adems a < c < b puesto que f(a) < 0 y f(b) > 0. Con lo que
queda demostrado el teorema de Bolzano.

1.12 Teorema 6: Valor Intermedio Para Funciones Continuas

Sea f continua en cada punto de un intervalo [a, b]. Si
puntos cualesquiera de [a, b] tales que f(
valores comprendidos entre
( ,

f(

<

son dos

, la funcin f toma todos los

por lo menos una vez en el intervalo

).

Demostracin:
Supngase f(
y

f(

y sea k un valor cualquiera comprendido entre

. Sea g una funcin definida en [ ,

g es continua en cada punto de [ ,

] como sigue: g(x) = f(x) k.

] y se tiene:

g ( ) = f ( ) k < 0,

g ( ) = f ( ) k > 0

aplicando el teorema de Bolzano a g se tiene g(c) = 0 para algn c entre

, lo

cual significa que f(c) = k, quedando as demostrado el teorema.

1.13 Funciones Montonas Y Montonas A Trozos

Una funcin f se dice que es creciente en un conjunto S, si f(x) f(y) para
cada par de puntos x e y de S con x < y. Si se verifica la desigualdad estricta
f(x) < f(y) se dice que la funcin es creciente en sentido estricto en S.

17

Captulo I

Conceptos Bsicos

Anlogamente una funcin se dice decreciente en un conjunto S, si f(x) f(y) para

cada par de puntos x e y de S con x < y. Si se verifica la desigualdad estricta
f(x) > f(y) se dice que la funcin es decreciente en sentido estricto en S.
Una funcin se denomina montona en S si es creciente en S o decreciente
en S. Montona en sentido estricto significa que f, o es estrictamente creciente en S
o es estrictamente decreciente en S. Una funcin se dice que es montona a trozos
en un intervalo si su grfica est formada por un nmero finito de trozos
montonos.

1.14 El Proceso De Inversin

Vamos a considerar una funcin f, con dominio en A y recorrido en B. A
cada x de A corresponde un y en B tal que y = f(x). Para cada y en B, existe por lo
menos un x de A tal que f(x) = y. Supongamos que existe uno solo de esos x.
Entonces podemos definir una nueva funcin g en B del modo siguiente:
g(y) = x significa que y = f(x)
Dicho de otro modo, el valor de g en cada punto y de B es el nico x de A
tal que f(x) = y. Esta nueva funcin g se llama la inversa de f. El proceso mediante
el cual se obtiene g a partir de f se llama inversin. Obsrvese que g[f(x)] = x para
todo x de A y que f[g(y)] = y para todo y de B.

1.15 Teorema 7: Sobre Las Propiedades De Las Funciones Que Se

Conservan Por La Inversin
Sea f estrictamente creciente y continua en un intervalo [a, b]. Sean c =f(a)
y d = f(b) y sea g la inversa de f. Esto es, para cada y en [c, d], sea g(y) aquel x de
[a, b] tal que y = f(x). Entonces:

18

Captulo I

Conceptos Bsicos

a) g es estrictamente creciente en [c, d].

b) g es continua en [c, d].

Demostracin:
Elijamos
= f( ) y
implica que

<

en [c, d] y pongamos

= g( ),

= g( ). Entonces:

= f( ). Puesto que f es estrictamente creciente, la relacin

<

< , la cual, a su vez, implica que g es estrictamente creciente en

[c, d]. Esto demuestra la parte a).

Para demostrar la parte b). Elijamos un punto
(c, d). Para demostrar que g es continua en

en el intervalo abierto

, debemos probar que para todo > 0

existe un > 0 tal que:

g( ) < g(y) < g( ) + siempre que y
Pongamos

(1.19)

, de modo que f(

. Supongamos dado. (No

se pierde generalidad si consideramos aquellos valores de bastante pequeo para

que

+ quedan en el interior de [a, b].) Sea el menor de los dos

nmeros:
f( )f(

f(

+ ) f ( ).

Es fcil comprobar que con este se verifica (1.19).

Existe un teorema anlogo para funciones decreciente. Esto es, la inversa
de una funcin f estrictamente decreciente es estrictamente decreciente y continua.
Se comprueba al sustituir en este teorema f por f.
Esto puede aplicarse a funciones montonas a trozos. Consideramos
simplemente una tal funcin como una reunin de funciones montonas a e
invertimos cada uno de los trozos.

19

Captulo I

Conceptos Bsicos

1.16 Teorema 8: Valores Extremos Para Funciones Continuas

Sea f una funcin de valores reales definida en un conjunto de S de
nmeros reales. Se dice que la funcin f tiene un mximo absoluto en el conjunto S
s existe por lo menos un punto c en S tal que:
f(x) f(c) para todo x en S.
El nmero f(c) se llama mximo absoluto de f en S. Decimos que f tiene un
mnimo absoluto en S si existe un punto d en S tal que
f(x) f(d) para todo x en S.
Queremos demostrar que si S es un intervalo cerrado y f es continua en
todo S, entonces f posee un mximo absoluto y un mnimo absoluto en S. Este
resultado, conocido como el teorema de mximo (mnimo) para funciones
continuas, se deducir como una sencilla consecuencia del siguiente teorema.

Mximo Absoluto

Mnimos Absolutos

Mximos y Mnimos Absolutos

20

Captulo I

Conceptos Bsicos

1.17 Teorema 9: Acotacin Para Funciones Continuas

Sea f continua en un intervalo cerrado [a, b]. Entonces f es acotada en

[a, b], esto es, existe un nmero C 0 tal que |

| C para todo x en [a, b].

Demostracin:
Razonamos por reduccin al absurdo o contradiccin, utilizando una
tcnica llamada mtodo de biparticin. Supongamos que f no es acotada en [a, b].
Sea c el punto medio de [a,b]. Ya que f no es acotada en [a, b] tampoco lo est por
lo menos en uno de los subntervalos [a, c] o [c, b]. Sea [ , ] aquella mitad de
[a, b] en la que f no est acotada. Si f no es acotada en ambas mitades, sea [ ,

la mitad izquierda de [a, c]. Continuemos el proceso de biparticin reiteradamente,

,

designando con [

] la mitad de [

] en la cual f no est acotada en

ambas mitades. Como la longitud de cada intervalo es la mitad de su precedente,

observamos que la longitud de [
Designemos con

], es (ba)/2 .

el conjunto de los extremos izquierdos ,

as

obtenidos, y sea el extremo superior de . Tal punto est situado en [ , ]. Por

la continuidad de

en , existe un intervalo de la forma ( , + ) en el que

|

Si =

1.

este intervalo tiene la forma [ ,

(1,20)
+ ), y si =

tiene la forma

( , ]. La desigualdad (1.20) implica:

|
De modo que
intervalo [

es acotada por 1

| |

| | en ese intervalo. Sin embargo, el

] est contenido en ( , + ) cuando n es lo bastante grande

para que (ba)/ 2 < . Por consiguiente f tambin es acotada en [

], en

21

Captulo I

Conceptos Bsicos

contradiccin con el hecho de que f est acotada en [

]. Esta contradiccin

completa la demostracin.
Si f es acotada en [a, b], el conjunto de todos los valores f(x) est acotado
superior e inferiormente. Por consiguiente, este conjunto tiene un extremo superior
y un extremo inferior que designamos por Sup f y por Inf f, respectivamente. Esto
es:
Sup f = Sup
Inf f = Inf

\
\

para cualquier funcin acotada tenemos Inf f f(x) Sup f para todo x en [a, b],
ahora veremos que los valores Inf f y Sup f estn en [a, b].

1.18 Teorema 10: Mximo (Mnimo) Para Funciones Continuas

Si f es continua en un intervalo cerrado [a, b], existen puntos c y d en [a, b]
tales que: f(c) = Sup f y f (d) = Inf f.
Demostracin:
Basta probar que f alcanza su extremo superior en [a, b]. Para el extremo
inferior basta tener en cuenta que el extremo inferior de f es el extremo superior de
f.
Sea M = Sup f. Supondremos que no existe un x en [a, b] para el que
f(x) = M y se llegar a una contradiccin. Sea g(x) = M f(x). Para todo x en [a, b]
ser entonces g(x) > 0 con lo que la funcin recproca 1/g es continua en [a, b],
pongamos 1/g(x) < C, con lo que f(x) < M 1/C para todo x de [a, b]. Esto est en
contradiccin con el hecho de que M es la menor cota superior de f en [a, b]. Por
consiguiente, f(x) = M para un x por lo menos en [a, b].

22

Captulo I

Conceptos Bsicos

Nota: Este teorema demuestra que si f es continua en [a, b], el Sup f es su

mximo absoluto, y el Inf f es su mnimo absoluto. Luego, en virtud del teorema
del valor intermedio, el recorrido de f es el intervalo cerrado [Inf f, Sup f].

El termino mximo, (mnimo), tienen dos sentidos, uno referente al valor

absoluto, ya visto y otro a un significado relativo.

1.19 Definicin 5: Mximo Relativo

Una funcin f, definida en un conjunto S, tiene un mximo relativo en un

punto c de S si existe un cierto intervalo abierto I que contiene c tal que:

f(x) f(c) para todo x I S.
El mnimo relativo se define del mismo modo con la desigualdad invertida.
Es decir, un mximo relativo en c es un mximo absoluto en un cierto
entorno de c, si bien no es necesariamente un mximo absoluto en todo el conjunto
S.

Mximos Relativos

Mnimos Relativos

23

Captulo I

Conceptos Bsicos

1.20 Definicin 6: De Extremo

Un nmero que es o un mximo relativo o un mnimo relativo de una
funcin f se denomina valor extremo o extremo de f.
Estos puntos extremos se caracterizan por la anulacin que toma la tangente
de la funcin, cuando se hacen horizontales.
Para los efectos de clculo de estos puntos extremos tradicionalmente o
desde un punto de vista clsico se trabaja haciendo las derivadas igual a cero y
donde se anula encontramos un punto crtico, que indicara el extremo, como lo
indica el siguiente teorema:

1.21 Teorema 11: Anulacin De La Derivada En Un Extremo Interior

Sea f definida en un intervalo abierto I, y supongamos que f tiene un
mximo relativo o un mnimo relativo en un punto c interior a I. Si la derivada
f (c) existe, es f (c) = 0.

Demostracin:
Definamos en I una funcin Q como sigue:
Q(x) =

si x c,

Q(c) = f (c).

Puesto que f (c) existe, Q(x) Q(c) cuando xc, con lo que Q es continua
en c. Queremos demostrar que Q(c) = 0. Esto lo conseguiremos demostrando que
cada una de las desigualdades Q(c) > 0 y Q(c) < 0 nos lleva a una contradiccin.
Supongamos Q(c) > 0. Segn la propiedad de conservacin del signo de las
funciones continuas, existe un intervalo que contiene a c en el que Q(x) es positiva.
Por tanto el numerador del cociente Q(x) tiene el mismo signo que el denominador

24

Captulo I

Conceptos Bsicos

para todo x c en ese intervalo. Dicho de otro modo, f(x) > f(c) cuando x > c, y
f(x) < c cuando x < c. Esto contradice la hiptesis de que f tiene un extremo en c.
Luego, la desigualdad Q(c) > 0 es imposible. En forma parecida se demuestra que
no puede ser Q(c) < 0. Por consiguiente Q(c) = 0, como se afirm.
Nosotros no utilizaremos el mtodo de la anulacin de la derivada para el
clculo de los valores extremos, puesto que vamos a suponer que no conocemos
dichas aproximaciones es decir:
f (x) =

lim

Utilizaremos la propiedad de que tendremos un mnimo local o un mximo

local, cuando en el entorno de un punto hay un cambio de monotona decreciente a
monotona creciente o de monotona creciente a monotona decreciente
respectivamente.

25

Captulo II
Funciones Racionales
2.1 Polinomio
Definicin 7. Polinomio
Una funcin f es un polinomio si:
f(x) = anxn+an-1xn-1+. . . a1x+a0
donde los coeficientes a0, a1, a2, . . . an son nmeros reales y los exponentes
son enteros no negativos.
Se puede pensar en una funcin polinomial como una suma de funciones
cuyos valores estn dados por akxk para algn nmero real ak y un entero no
negativo k.
La expresin en el lado derecho de la igualdad en la Definicin 7, es un
polinomio en x, (con coeficientes reales) y cada akxk es un trmino del polinomio.
El trmino a0 es un trmino constante. Se llama polinomio tanto la expresin del
lado derecho de la igualdad como la funcin que dicha expresin define. Si an 0,
entonces an es el coeficiente principal de f(x) y se dice que f es de grado n.

2.2 Funcin Racional Polinmica

Una funcin racional polinmica es el cociente de dos polinomios.
Entonces f es racional si, para todo x en su dominio
f(x) =

g
hx

donde g(x) y h(x) son polinomios. El dominio de un polinomio es

, pero el

dominio de una funcin racional consta de todos los nmeros reales excepto los
valores de la variable x que anulan el denominador.

26

Captulo II

Funciones Racionales

En general utilizaremos la expresin:

f:

definidas por:

f (x) =
con

, ,{i = 0, 1,...n}

An se puede generalizar ms escribiendo as la expresin de funcin

racional polinmica con:

f (x) =
con

, ,{i = 0, 1,...n} y {j = 0, 1,...m}

Donde se suele llamar a nm el grado de esta funcin, en adelante para

efectos prcticos escribiremos:

f (x) =

por la razn de que utilizaremos determinantes de segundo orden, y ser

muy cmodo trabajar con esta representacin.
En vez de referirnos al grado, como se menciona arriba, diremos que el
orden de la funcin racional polinmica, es el mayor exponente entre n y m. Esto
es si n > m ser de orden n, y si m > n entonces diremos que la funcin racional es
de orden m, evidente si m = n, entonces es de orden n.
Ejemplos:
f (x) =

ser de orden 3

f (x) =

ser de orden 3

f (x) =

ser de orden 2

f (x) =

ser de orden 5.

27

Captulo II

Funciones Racionales

2.3 Funcin Racional Polinmica De Orden n = 1

En este caso, el polinomio tanto del numerador como del denominador su
mayor exponente es 1, o al menos uno de ellos, lo que representa, una lnea recta o
una hiprbola equiltera.
f (x) =

formada por un polinomio en el numerador y uno en el

denominador. Ambos polinomios son lineales es decir el numerador constituye

una grfica correspondiente a una lnea recta y tambin el denominador. Pero la
funcin no existe para el valor x = 2, ya que aqu se produce un cero. La grfica
de esta funcin racional corresponde a una hiprbola.
Podemos observar que esta funcin es decreciente en las dos ramas separadas por
la recta x = 2.

Funcin Racional Polinmica con n = 1

Si los exponentes de ambos polinomios son uno (n = 1) y los polinomios son
completos, entonces la grfica ser la de una hiprbola, ya que al dividirlos dar
una constante ms un cociente formado por una constante entre una funcin lineal

28

Captulo II

Funciones Racionales

f(x) =

la cual siempre representar una hiprbola.

Para el ejemplo anterior tenemos las siguientes caractersticas:
1.- La funcin no tiene mximos ni mnimos relativos.
2.- Corte con el eje X.
Para y = 0, tendremos: x =

que es el nico corte con X.

3.- Corte con el eje Y.

Para x = 0, tendremos: y =

que es el nico corte con Y.

4.- La curva presenta una asntota vertical en x = 2.

5.- La curva presenta una asntota horizontal en y = .

2.4 Funcin Racional Polinmica De Orden n = 2

Este es un caso ms interesante, ya que con este tipo de funciones se nos
van a presentar valores extremos relativos, en general trabajaremos con la funcin:
f: definida por:
f (x) =

Con respecto a esta funcin podemos sealar que:

Sus cortes con el eje X, se determinar haciendo

0, y buscando sus

races.
Sus Asntotas verticales, se determinar haciendo

0, y buscando

sus races.
.

Tiene una Asntota horizontal que es y =

Tiene un corte con el eje Y, que es y =

29

Captulo II

Funciones Racionales

Ejemplo
Sea la Sea la Funcin Racional Polinmica: f (x) =
1.- No presenta corte con el eje X.
2.- Corte con el eje Y.

y = 4.

3.- No tiene Asntotas Verticales.

4.- La curva presenta una Asntota Horizontal en x = 0.5.
5.- Mnimo:

x = 4.3194

y = 0.4525.

6.- Mximo: x = 0.3473

y = 7.2618.

Funcin Racional Polinmica con n 2

30

Captulo III
Mtodo Mximal no Diferencial
3.1 Generalidades
En este captulo vamos a deducir el clculo de los mximos y mnimos,
para funciones racionales polinmicas cuando el mayor exponente del numerador
o denominador, o ambos es dos, si se cumple para n = 2 los casos de n = 1
quedarn suficientemente justificados puesto que pasarn a ser casos particulares.
El caso de funciones racionales polinmicas de orden 2, asume
caractersticas importantes puesto que aqu comienzan a presentarse mximos y
mnimos locales, a diferencia de n = 1
Sea f : representada por:

y = f (x) =

la funcin con la cual vamos a trabajar, pero antes veamos una definicin
crucial para la construccin del Mtodo Mximal.

3.2 Definicin De Funcin Extrema

Una funcin extrema

, : , asociada a una funcin racional

polinmica de orden n

f (x) =

es el polinomio

donde los coeficientes A, B, C son generados por el producto de constantes con

todos los determinantes de segundo orden posibles que se forman combinando los

31

Captulo III

Mtodo Mximal no Diferencial

coeficientes de la funcin racional polinmica tomados de dos en dos, siguiendo el

orden de los trminos de igual exponente tanto en el numerador como en el
denominador:
(x) =

2
Diremos que

, es la funcin extrema asociada a la funcin racional

polinmica f (x).

Ejemplos:
Si el orden de la funcin racional es 1, tendremos:
f(x) =
el determinante ser
; n=1

=
la funcin extrema asociada x es

tendremos as,

A, con A =

finalmente,

en este caso la funcin extrema es una constante.

Si el orden de la funcin racional es 2, tendremos:
(x) = Ax2+Bx+C
quien tendr solo dos races, demostraremos que una corresponde a un mnimo y la
otra a un mximo de la funcin racional polinmica asociada. Las races reales e

32

Captulo III

Mtodo Mximal no Diferencial

iguales de esta ecuacin no definen valores extremos as como tampoco lo hacen

las races complejas conjugadas.
Sea la funcin racional polinmica:
f (x) =
los determinantes sern:
1 =

; 2 =

; 3 =

; n=2

la funcin extrema asociada ser:

(x) =

2
(x) = Ax2+Bx+C;

Si el orden de la funcin racional es 3, la funcin racional polinmica es:

f (x) =
cuyos determinantes son:
1 =

; 2 =

; 3 =

4 =

; 5 =

; 6 =

la funcin extrema asociada ser:

(x) =

(x) = Ax4+Bx3+Cx2+Dx+E
Esta funcin extrema tiene a lo sumo cuatro races, esto nos conducir a la
obtencin de dos mximos y dos mnimos para la funcin racional polinmica, que

33

Captulo III

Mtodo Mximal no Diferencial

se presentan en forma alternada ya que dos mximos locales no pueden estar uno a
continuacin de otro, ni tampoco dos mnimos.
En general una funcin racional de orden n tendr 2(n-1) puntos extremos,
que definirn a lo sumo n-1 mximos y n-1 mnimos locales, que se presentarn de
forma alternada. Decimos a lo sumo, puesto que las soluciones reales e iguales no
satisfacen un cambio de crecimiento, ni tampoco aquellas que sean soluciones
complejas conjugadas puesto que estas ltimas no cortan el eje X, y ambas se
cuentan por pares.
El problema es determinar los factores que multiplican los determinantes y
as formar los coeficientes A, B, C, . . . estos valores aparecern mediante la
construccin de cada funcin extrema en particular.
Para efectos de simplificacin en algunos casos usaremos la siguiente
notacin
,

Veamos algunos ejemplos

3.2.1 Sea f (x) =

; entonces, =

3
2

5
en el mismo orden como estn los
4

coeficientes de los polinomios, los colocamos en un determinante de segundo

orden, en este caso el valor es: = 22. En general con el polinomio del
numerador y del denominador haremos determinantes de segundo orden
combinndolos como sea posible de tal forma tenemos que:
(x) = 22
El nmero de determinantes que tendr la funcin extrema viene
determinada por todas las combinaciones posibles de los coeficientes de la funcin

34

Captulo III

Mtodo Mximal no Diferencial

racional polinmica de orden n, tomados de dos en dos sin repeticin, esto nos
dar:
C

Si el orden es uno, tendremos un determinante. (Nd, nmero de determinantes)

1

Nd =

Si el orden es dos, tendremos 3 determinantes:

3

Nd =

Si el orden es tres, tendremos 6 determinantes:

6

Nd =

3.3 Deduccin del Mtodo Mximal No Diferencial

Sea la funcin racional polinmica de orden dos f: definida por:

(1)

y=
Para la deduccin del mtodo despejaremos x de la expresin anterior
= y(

transponiendo el segundo miembro al primero previamente multiplicado por y, y

factorizando tendremos:
0

(2)

que es una ecuacin de segundo grado la cual podemos resolver en x para as

obtener:
x=

(3)

Podemos observar que esta expresin no es una funcin inversa, ya que la

misma no es biyectiva, entonces por conveniencia eliminamos el radical

35

Captulo III

Mtodo Mximal no Diferencial

x=
as, observamos que lo que nos queda es precisamente un punto que es el valor del
vrtice de la parbola (2),

Cambio de Ejes
despejando y, obtendremos:
y=
pero este valor pertenece a la funcin racional polinmica asociada, segn el
teorema 7. por lo tanto esta expresin ser igual a la funcin racional en el punto
de cambios de crecimiento.
=
que sern las x donde estn los valores crticos de la funcin racional polinmica
asociada.

36

Captulo III

Mtodo Mximal no Diferencial

Luego se tiene que:

2

2
2

0.

multiplicando ambos miembros por 1 y escribiendo el resultado en forma de

determinantes:
x2+2

x+

= 0.

De aqu construimos la funcin extrema

(x)=

A=

x2+2

x+

B=2

C=

Notemos que de esta manera obtenemos los factores que multiplican los
determinantes (1, 2, 1), que llamaremos Factores Triangulares.
Finalmente, si tenemos una funcin racional polinmica de segundo orden
f(x) =
Su funcin extrema asociada es:
(x) =

x2 + 2

x+

Esto nos conduce al siguiente teorema.

3.4 Teorema Mximal

Si (x) es una funcin extrema asociada a la funcin racional
polinmica f(x) entonces las races reales y distintas de (x) = 0,
determinan los valores extremos de f(x).

37

Captulo III

Mtodo Mximal no Diferencial

Veamos algunos ejemplos

3.4.1 Un caso a observar es cuando las funciones son enteras, por ejemplo:
f (x) = 2x2+4x8 podemos escribir como f (x) =
entonces (x) =

2 4
0 0

2
0

4
0

8
1

8
1

4.

Note que el caso en que el denominador de la funcin racional

polinmica sea una constante la funcin extrema coincide con la derivada de la
funcin racional, esto es,

3.4.2 Sea la Funcin Racional Polinmica

(x) =

2 7
1 2

2
1

3
8

7
2

3
8

Funcin Extrema

(x)= 3x238x62

Races de :

x1 = 10.7429189

Mnimos Locales:

x1= 10.7429189 y1 = 1.846042

Mximos Locales:

x2= 1.9237478

x2= 1.9237478

y2 = 0.37618

38

Captulo III

Mtodo Mximal no Diferencial

3.4.3 Sea la Funcin Racional Polinmica:

(x) =

4
4

7
4

4
4
2

7
4
4
4

11
35

11
35

7
4

11
35

Funcin Extrema
(x) = 44

192

289

Races de : No corta el eje X

Mximos locales: No existen
Mnimos locales: No existen

4
4

7
4

11
35

39

Captulo III

Mtodo Mximal no Diferencial

3.4.4 Sea la Funcin Racional Polinmica

10
20

Funcin Extrema
(x) =

60

10

Races de :

x1= 0.1692

x2 = 60.1662

Mximos Locales:

x1= 0.1692

y1 = 0.5021

Mnimos Locales:

x2= 60.1662 y2 = 1.9918

40

Captulo III

Mtodo Mximal no Diferencial

3.4.5 Sea la Funcin Racional Polinmica

3x

2
5

8
1

Funcin Extrema

(x) = 10

Races de :

x1= 0.0232

x1 = 8.6232

Mnimos Locales:

x1= 0.0232

y1 = 8.0232

Mximos Locales:

x2= 8.6232

y2 = 0.6232

86

41

Captulo III

Mtodo Mximal no Diferencial

3.4.6 Sea la Funcin Racional Polinmica:

4x

12

9
5x

Funcin Extrema

(x) = 92

Races de :

x1= 1.5

x2 = 0.3261

Mnimos Locales:

x1= 1.5

y2 = 0

Mximos Locales:

x2= 0.3261

y2 = 13.44

108

4x2 12

45

6 2 5x

42

Captulo III

Mtodo Mximal no Diferencial

3.4.7 Sea la Funcin Racional Polinmica:

6x
2

1
9x

Funcin Extrema

(x) = 54

Races de :

x1= 0.083

x2 = 2.0089

Mnimos Locales:

x1= 0.083

y1 = 0.1067

Mximos Locales:

x2= 2.0089

y2 = 24.9956

104

43

Captulo III

Mtodo Mximal no Diferencial

3.4.7 Sea la Funcin Racional Polinmica:

Funcin Extrema

(x) = 24

8x 3
16x 5
18

Races de No Tiene
Mximos Locales: No Tiene
Mnimos Locales: No Tiene

8x 3
3 2 16x 5

44

Captulo III

Mtodo Mximal no Diferencial

3.4.8 Sea la Funcin Racional Polinmica:

5x
7

6x
x 11

Funcin Extrema

(x) = 37

Races de :

x1= 0.5119 x2 = 3.4848

Mnimos Locales:

x1= 0.5119

y1 = 0.1429

Mximos Locales:

x2= 3.4848

y2 = 0.8205

110

66

45

Captulo III

Mtodo Mximal no Diferencial

3.4.9 Sea la Funcin Racional Polinmica:

3x

5x 6
x 11

Funcin Extrema

(x) = 3

Races de :

x1= 0.7693

x2 = 21.2307

Mximos Locales:

x1= 0.7693

y1 = 0.384

Mnimos Locales:

x2= 21.2307

y2 = 122.384

66

49

3x2 5x 6
x 11

46

Captulo IV
Generalizacin del Mtodo Mximal
4.1 Generalidades
Podemos pensar que es posible generalizar el Mtodo Mximal para
obtener valores crticos de una funcin racional polinmica cuando su orden es
mayor que dos, y as encontrar sus mximos y mnimos relativos sin la aplicacin
del clculo diferencial.
Aunque no realizaremos la deduccin para n

2 en este trabajo, veremos

que una serie de caractersticas de estas funciones nos permitirn postular una
solucin adecuada.
4.2 Caracterizacin De La Funcin Extrema

Los coeficientes de la funcin extrema se generan con los coeficientes de la

funcin racional polinmica.
Ejemplos:

4.2.1 Dada

f(x) =
genera a la funcin extrema
(x) = a, b

2 a, c

b, c

4.2.2 Dada
f(x) =

genera a la funcin extrema

47

CAPITULO IV

Generalizacin del Mtodo Mximal

(x) =

5 2
1 7

5 1
1 4

2 1
7 4

Las races de la funcin extrema son los valores crticos de la funcin

racional.
En este caso tendramos la funcin extrema (x) = 33x2+38x+1 cuyas races
1.1246

son:

0.0269 estos son los valores crticos de la

funcin racional polinmica asociada.

Observamos que la parbola es la funcin extrema y los otros dos ramales
son de la funcin racional. En este caso existen un mximo y un mnimo.

(x)

f(x)

Si demostramos para n = 3, el caso n = 2 ser un caso particular de n = 3 y

as sucesivamente. Los casos n = 3 y n = 4, se pueden demostrar con las
soluciones de Tartaglia y Crdano para las ecuaciones de tercer y cuarto
grado, puesto que estas ecuaciones tienen soluciones por radicales, luego es
posible demostrarlo en general usando mtodos numricos o induccin
completa.

48

CAPITULO IV

Generalizacin del Mtodo Mximal

Si la funcin racional polinmica tiene un polinomio de grado cero en el

denominador estamos en presencia de un polinomio y su funcin extrema
asociada

corresponde a la curva tangente del polinomio en cualquier

punto.
Ejemplo
4.2.3 Si f(x) =

su funcin extrema asociada es:

(x) = 25x4 12x3 6x2 16x 3

Si la funcin extrema es una recta paralela al eje X, no hay valores

mximos ni mnimos locales en su funcin racional asociada.

Si todas las races de la funcin extrema son complejas, la funcin racional

no tiene ni mximos ni mnimos locales.

Si la funcin extrema tiene valores mayores que cero, la funcin racional

asociada es creciente, en caso contrario la funcin racional asociada es
decreciente.

Si en la funcin extrema (x) = A

que A

tenemos

0 la funcin racional asociada presentar primero un mximo

local y luego un mnimo local. En caso contrario la funcin racional

asociada presentar primero un mnimo local y despus un mximo local.
Siguiendo las reglas de la formulacin presentada para obtener las
funciones extremas de funciones racionales polinmicas de segundo orden
podemos hacer una aproximacin a la solucin para encontrar los valores
extremos cuando n

3.

Los mximos locales y mnimos locales se presentan en forma alternada.

49

CAPITULO IV

Generalizacin del Mtodo Mximal

La frecuencia y distribucin en que se presentan los exponentes de la

funcin extrema, dependen del orden de la funcin racional
polinmica, en la siguiente relacin aritmtica:
Orden de la funcin racional

1 2 3 4

Exponente de la funcin extrema 0 2 4 6 2(n-1)

Si tenemos una funcin racional polinmica de orden n, el nmero de

determinantes que debemos calcular es Nd =
Orden de la funcin racional 1 2 3
Numero de Determinantes

, Siguiendo las series:

4

1 3 6 10

n
2

Los coeficientes de estos determinantes en su formulacin son simtricos,

puesto que ellos siguen una regla segn la teora combinatoria.
Estos determinantes son tomados de acuerdo a la teora combinatoria,
segn el orden de la funcin racional polinmica (nmero de objetos);
tomados de dos en dos, sin repeticin.

4.3

Triangulo Extremo
Con las caracterizaciones anteriores podemos construir un ordenamiento

triangular donde cada columna que se sume es un factor que multiplica a la

variable de la funcin extrema con su respectivo exponente y cada uno de estos
nmeros que hemos llamado Factores Triangulares multiplica un determinante. El
exponente del trmino principal de la funcin extrema comienza en 2(n1) y
decrece hasta 0.

50

CAPITULO IV

Generalizacin del Mtodo Mximal

Nos quedara para n = 2

2a,c
a,b

b,c

x2

x1

x0

(x) = a,bx2 + 2a,cx + b,c

Para n = 3

3a,d
2a,c
a,b

2b,d
b,c

x4

x3

x2

c,d
x1

x0

(x) = a,bx4 + 2a,cx3 + (3a,d + b,c) x2 + 2b,dx + c,d

(x) = Ax4 + B x3 + C x2 + D x + E
Para n = 4

4a,e
3a,d
2a,c

2b,d

a,b
x6

3b,e

b,c
x5

x4

2c,e
c,d

x3

x2

d,e
x

x0

(x) = a,bx6 + 2a,cx5 + (3a,d + b,c) x4 + (4a,e +2 b,d)x3 + (3b,e + c,d) x2 +

2c,ex + d,e
6

(x) = A x + B x5 + C x4 + D x3 + E x2 + F x + G

51

CAPITULO IV

Generalizacin del Mtodo Mximal

Para n = 5

5a,f
4a,e
3a,d
2a,c

3b,e
2b,d

a,b

b,c

x8

4b,f

x7

x6

3c,f
2c,e

c,d
x5

2d,f
d,e

x4

x3

e,f

x2

x1

x0

(x) = a,bx8 + 2a,cx7 + (3a,d + b,c) x6 + (4a,e +2b,d)x5+ (5a,f + 3b,e +

c,d) x4 +(4b,f +2 c,e)x3 + (3c,f + d,e)x2+ 2d,fx

+ e,f
8

(x) = A x + B x7 + C x6 + D x5 + E x4 + F x3 + G x2 + H x + I

Ejemplos:
4.3.1. Sea la funcin
f (x) =
cuya Funcin Extrema asociada es:
x

1
1

12
16

2
2

(x) = 4

1 47
1 71
12
60
16
56
48

1
1
47
71

88

60
56
60
56
576

12 47
16 71

1628

sus races son:

3.4625

3.4325

4.624

= 7.4059

3.4625

= 0.7626

mnimo local

3.4325

= 0.0097

mximo local

4.624

= 0.0131

mnimo local

= 23.3714

mximo local

= 7.4059

52

CAPITULO IV

Generalizacin del Mtodo Mximal

f(x)

(x)

f (x) =
4.3.2

Sea la funcin racional polinmica:

f( x ) =

de donde resultar la siguiente:

Funcin Extrema
(x) = 7x8 10 x7 8 x6 8x5 150 x4 16x3 6x2 10x 19
y los siguientes mximos y mnimos locales:
= 0.619

= 2.5032

Mnimo local

= 0.5963

= 0.83

Mximo local

53

CAPITULO IV

Generalizacin del Mtodo Mximal

(x)

f(x)

f( x ) =
4.3.3.

Sea la funcin racional polinmica:

f( x ) =

Aplicando el triangulo extremo tendremos:

(x) =

5
9
5
9
5
5
9

22
5
8
2
17
9 16
7
22 15
2
1
17
8
22 7
6
3
17
1
19

5 15
9 8

8
16

15
8

22
17

8
16

54

CAPITULO IV

Generalizacin del Mtodo Mximal

22
17
15
2
8

6
19
6
19

8
16
7
1

7
1
6
19

8
16

6
19

15
8

7
1

cuya Funcin Extrema asociada es:

(x) = 283 x8 304x7 501x6 1134x5 800 x4 1872 x3 673x2 474x 139

(x)

mximos y mnimos locales:

= 1.7873

= 3.2657

Mximo

= 0.5187

= 0.3542

Mnimo

= 0.2743

= 0.3679

Mximo

= 0.5753

= 0.0547

Mnimo

= 1.0708

= 0.2973 Mximo

= 1.3821

= 0.3034 Mnimo

55

CAPITULO IV

Generalizacin del Mtodo Mximal

(x)
f(x)

f (x) =

56

CONCLUSIONES
Despus de una revisin del presente trabajo, podemos llegar a las
siguientes conclusiones consideradas importantes:
[1].

Es completamente vlido realizar clculos de valores extremos de

funciones racionales polinmicas de una manera rpida, sencilla y exacta
sin el mtodo clsico, es decir sin la utilizacin del anlisis diferencial.

[2].

Una funcin extrema es un polinomio formado por los coeficientes

ordenados de una manera nica en determinantes, de una funcin racional
polinmica, de tal forma que sus cortes con el eje X, sean los valores
crticos que conducen a valores mximos y mnimos relativos de esta
funcin racional polinmica; y si no corta al eje o lo hace con races reales
e iguales, la funcin racional polinmica no tiene extremos relativos o no
los tiene en el punto donde las races son reales e iguales.

[3].

Si (x) es una funcin extrema asociada a la funcin racional polinmica

f(x) entonces las races de (x) = 0, determinan los valores extremos de f(x).

[4].

El mtodo es til aplicarlo a los alumnos preuniversitarios, que desconocen

el anlisis diferencial, pero deben conocer segn las exigencias acadmicas
establecidas, el realizar representaciones grficas de funciones en especial
las del tipo racional polinmica.

57

RECOMENDACIONES

[1].

Para futuros estudios o trabajos, es conveniente pensar en la demostracin

para los casos donde n = 3 y n = 4, utilizando como recurso la solucin
por radicales de las ecuaciones de tercer y cuarto grado; o utilizar de
manera general y para n 5 mtodos del Anlisis numrico, y reafirmar
mediante la Induccin Completa.

[2].

Incorporar mtodos numricos para hallar la solucin de la funcin

extrema.

[3].

Estudiar las posibles relaciones existentes entre las races de la funcin

racional polinmica, sus puntos de inflexin y caractersticas notables con
las races y corte con los ejes de las funciones extremas de funciones
extremas.

[4].

Realizar estudios de la posibilidad de que se considere el problema de

hallar valores extremos en espacios ms generales, espacios con
caractersticas especiales o espacios de dimensin mayores que dos; donde
sera posible utilizar determinantes de orden tres, cuatro etc. segn la
dimensin, y siguiendo el mismo ordenamiento presentado anteriormente
en la construccin de este tipo de funciones, encontrando valores extremos
de volmenes, superficies y curvas en el espacio sin la utilizacin del
gradiente y otras herramientas para tal fin.

58

BIBLIOGRAFIA

[1].

Dr. Joseph Ehrenfried Hoffman., Historia de la Matemtica. Desde el

comienzo hasta Fermat y Descartes. Primera edicin en espaol, Editorial
Hispano Americana. Mxico. Uteha(1.970).

[2].

Dr. Joseph Ehrenfried Hoffman., Historia de la Matemtica. Desde Fermat

y Descartes hasta el descubrimiento del Clculo y creacin del nuevo
mtodo. Primera edicin en espaol, Editorial Hispano Americana.
Mxico. Uteha (1.970).

[3].

Tom M Apstol., Calculus., Clculo con funciones de una variable, con

una introduccin al lgebra lineal. Volumen I, Segunda Edicin. Editorial
Revert S. A. (1.985).

[4].

Universidad Nacional Abierta., Clculo I., Segunda Edicin, contenido por

LibuskaJuricek, Jess Gonzlez (1.995).

[5].

Universidad Nacional Abierta., Clculo II., Segunda Edicin,

contenido

por LibuskaJuricek, Jess Gonzlez (1.995).

[6].

Universidad Nacional Abierta., lgebra II., Tercera Edicin,

contenido

por Luis Gonzlez Ferrer, (1.985).

[7].

Aritmtica terica de los pitagricos: Los Nmeros. Thomas Taylor

Editorial Humanitas 1991.

[8].

Del Clculo Diferencial Tomo I Quinta Edicin., de Carlos MataixAracil;

Editorial Dossat. S. A. Madrid 1957.

[9].

Gallego-Daz, Nuevos problemas de Matemticas., Editorial Norte y Sur.

1965.

[10].

Heber Nieto en: XIII Escuela Venezolana para la enseanza de la

Matemtica: Aplicaciones del Clculo Diferencial

59