P. 1
Sistemas de desigualdades lineales

Sistemas de desigualdades lineales

|Views: 12.826|Likes:
Publicado porCuater Cuyero
Desigualdades en matemáticas
Desigualdades en matemáticas

More info:

Published by: Cuater Cuyero on Jun 27, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/14/2015

pdf

text

original

.~ ~ ~ ~ .....................•.

. ..

leeclones populares de matemitl'cas

SISTEMAS DED'ESIGUAL,DADES · LI EALE.S

AI S_Solodovnikov

.-------

Moscd

nOnVJTJrPHblE llEKW1I1 no MATEMATJ.1KE

A. C. C0J10)lOBHJ.1KOB

CHCTEMbl nMHEHHbIX HEPABERCTB

IH,IlATfnbCTBO "HAYKA» MOCKBA

LECCIONES POPULARES DE MATEMAT1CAS

A. S. SOLODOVNIKOV

SISTEMAS DE DESIGUALDADES LINEALES

Segundaedici 6n

EDITORIAL MIR MOSCU

Traducido del ruse por el ing, Cristobal Garcia Galal

EI libro que ofrecemos al lector trata sobre

la relacion entre sistemas de desigualdades lineales y poliedros convexos ; contiene la descripciorr de los conjuntos de iodas las soluciones para desigualdades lineales; estudia las cuestiones de compa tibilidad e incompatibilidad : en 61 se da una introducci6n elemental a la programaeion lineal que, de hecho, es uno de los capitulos de la teo ria de desigualdades lineales. En el ultimo parrafo se expone el metoda de solucion del problema de! transporte en la progra maci on lineal.

E1 libra no requiere preparacion especial y esta destinado para un circulo amplio de lectores.

Primera edid6n 1980 Segunda edici6n 1984

Ha UCnaJiCKOM .'11bIKe

Impreso en la URSS

!_" Traduccion al espanol. Editorial Mir. 1980

INDICE

Prefacio 7

§ 1. Algunos hechos de la geometria analities 8

§ 2. Sentido geometrico de un sistema de desigualdades lineales can dos 0 tres incognitas 19

* 3. Capsula convexa de un sistema de puntas 25 § 4. Cono poliedro convexo 29

§ 5. Region de soluoiones de un sistema de desigualdades con dos incognitas 36

§ 6 . Region de soluciones de un sistema con tres incognitas 51 § 7. Sistemas de desigualdades linealescon cualquier numero de incognitas 60

§ 8 .. Resqlucion de un sistema de desigualdades lineales mediante la reduccion consecutiva del numero de incognitas 65

§ 9. Sistema homogeneo de desigualdades lineales.

Conjunto fund amen till de soluciones 73

§ 10. Resolucion de un sistema heterogeneo de desiguaJdades86 § 11. Sistemas incompatibles 90

§ 12 .. Canas poliedros convexos reciprocarnente conjugados 95 § 13. El problema de la prograrnacion lineal :103

§ 14. Et "Metoda simplex" III

§ J 5. Teorema de 1a dualidad en la prograrnacion lineal t2.L § 16. Resoluci6n de! problema del transporte 128

PREFACIO

LAS DESIGUALDADES DE PRIMER GRADO 0 LINEALES son aquellas que tienen la fonna

ax + by + c ~ 0

(para mayor simpiicidad dames una desigualdad con dos inc6gnitas x e y). La teo ria de sistemas de desigualdades lineales es una rama de las rnatematicas no extensa, pero sumamente interesante. El interes bacia ella, en gran parte, es debido a la belleza de su contenido geometrico, pues, traducido al lenguaje de la geometria, la definicion de un sistema de desigualdades lineales Con dos 0 tres incognitas significa la representacion de una region 0 recinto convexo y poligonal en un plano, o bien, respectivamente, la representacion de un cuerpo convexo y poliedrico en el espacio. Asi, por ejernplo, la leoria de los poliedros convexos, que es una parte de la geometria tan antigua como eJ mundo, se convierte en uno de Jos capirulos de la teoria de sistemas de desigualdades lineales. Esta teoria tiene partes que agradan el corazon del algebrista ; entre elias, por ejemplo, la formidable analogia entre las propiedades de sistemas de desigualdades lineales y las propiedades de sistemas de ecuaciones lineales (rodo 10 relacionado con las ultirnas ha sido estudiado hace mucho tiempo y con mucho detaUe).

Hasta no hace mucho tiempo podia pensarse que las desigualdades lineales sedan siempre objeto de creacion puramente matematica. La situacion cambia radicalmente a mediad os de los alios 40 de nuestro siglo, al surgir una nueva rama de las matematicas aplicadas - la proqramacio» lineal - con importantes aplicaciones en la economia y tecnica, AI lin de cuentas, Ja programacion Tineal no es mas que una de las partes (aunque muy importante) de la teoria de sistemas de desigualdades lineales.

Precisamente, este no voluminoso Iibro tiene pOT objeto dar conocimientos al lector sobre distintos aspectos de la teoria de sistemas de desigualdades lineales: sobre la parte geometries de la cuestion y los metodos de solucion de sistemas estrechamente relacionados con ella; sobre algunas propiedades puramente algebraicas de estos sistemas y sobre cuestiones de Ia programscion lineal. Para su lectura no son precisos Qonocimientos que superenel curso escolar de matematicas.

8

Breves palabras sabre la historia de las cuestiones tratadas en este libro ..

No obstante que, per Sl.I objeto la teoria de sistemas de desigualdades lineales forma, at. parecer, una de las partes mas fundamentales y elernentales de las maternal/cas, hasta no hace rnucho riempo a ella se dediearan relatlvamente poco. A partir de los (rlrimos arios del siglo pasado raramente comienzan a aparecer trabajos que tratan de unas u otras propiedades de los sistemas de desigualdades lineales. A este respecto pueden rnencionarse nombres de matematicos tales como G. Minkowski uno de los mas grandes geometras de fines del siglo pasado y comienzos de este, conocido, sobre todo, por sus trabajos sobre multitudes convexas y COmo autor de la "geometria de Minkowski": G, F. Voroncy (uno de los fundadores, en Peterburgo, de Ia "escuela de la teoria de los numeros"]; A. Haar (maternarico hungaro, conocido par sus trabajos sabre la "integracion por grupos"]; G. Wey! (uno de los mas prominentes matematicos de la primera mitad de nuestro sigle, sobre so vida. y obra se puede leer en el folleto de I. M. Yaglorn "Herman Weyt", edirona I "Znanie" M" 196 7), Algunos de los res til tados xibtenidos por ellos, de una u otra forma; van reflejados eneste libra {aunque sin mencionar a sus autores], De heche, la teo ria de sistemas de desigualdades lineales cornienza a desarrollarse coo intensidad a part-ir de .105 afios 40 a 50 de nuestro siglo, cuandoel desarrollo impetuoso de las asignaturas aplicadas (1a. programaci6nllneal, convexa y otras variedades la "programacion matematica": la asi llamada "reoria de los juegos" y otras) nace indispensable el estudio profundo y sistematico de las desigualdades lineales. Actualmente.una lista completa de articulos y Iibros sabre las desigualdades lineales contaria seguramente, can centenares de .distintos titulos.

§ 1. ALG UNOS HECHOS

DE LA GEOMETRiA ANALITICA

1_°, Operactones con los puntos. Tracemos en un plano un sistema rectangular de coordenadas. EI punto M tiene en este sistema las coordenadas x e. y que escribimos de la siguiente forma:

M = (x, y) 0 simplernente, M(x, y).

9

El sistema de coordenadas permite realizar can los puntos del plano algunas operaeiones, tales comoadici6n de puntos. y multip/i. cacicn de puntos por un m.imero.

La adicion de puntos se define de la siguiente forma: si M 1 = (XI, Y!) Y M 2 = (X2' Y'Z),' enronces

M 1 + M 2 = (x l + X 2, Y I + Y 2)'

Asi, pues, laadici6n de puntos se reduce a la adicion de sus coordenadas con el rnismo nombre,

El senridogeometrico de esta operacion es muysimple (fjg: 1): el punlo M 1 + M 2es el cuarto vertice del paralelograrnoconstruido eo las segrnentos OM1 y OM2. como lades (a es origen de coordenadas) .. Los QUOS Ires vertices del paralelogramo son M I> 0, M2·

y

Fig. 1.

~sto mismo puede serexplkado de otra forma: el punto MJ + M2 se obtiene'<del punto M2, prooediendo a la traslaeion para1ela de este ultimo en direccion al-segrnente OM I ya una distancia iguala la longitud de este segmento,

Larnultiplicacion del punta M (x, y) par un mmreroerbitrario k se realiza conforme a 1a regia siguiente

kM = (kx, ky),

EI sentido geornetrico de esta operaci6n es aun mob simple queel dela operacion de adicion: siendo k > 0 el punto M' = kM yace en eI rayo OM,. ademas OM' = k- OM; siende k < 0 el punto M' yace en la prolongacion del rayo OM mas alia del punta 0,. ademas OM' = I kl· OM (fig, 2).

La deduccion de la interpretacion geornetrica que acabamos

10

de dar a estas dos operaciones sent un ejercicio no malo para nuestro lector "').

Estas operaciones son muy comodas para traducir hechos geometricos al lenguaje del algebra. Daremos algunosejemplos de tales traducciones.

I) £1 seqmento M 1. M 2 esui compuesto por todos los puntos de la forma

SIM! + s2M2,

siendo 5.1 Y S2 dos cualesquera numeros no neqaiivos, cuya suma es lqua! a 1.

y

M

o

*,.4(*<0) Fig. 2.

Aqui, un heche puramente geometrrco, Ia pertenencia de LIn punta a1 segmento M 1M2, se expresa en forma de relaccion algebraica M = $1 M I + SlM 2 can las limitaciones para $1 Y $2 establecidas anteriormente,

Para demostrarlo, veamos el punto arbitrario M situado en el segmento M.!M2. Trazando Iineas rectas, a traves del punto M. paralelas a OM 2 Y OM I obtenemos el punto N h situado en el segmento OM I Y el punta N 2 ,situado en el segmen to OM2 (fig. 3). Supongamos que

M2M 51 =M2M1'

MM s - I .

+:» M·' l.. 2

+) Si el lector desconoce los fundamentos de 1a teoria de los vectores, COllIO es sabido, bajo el punto de vista de la teoria vectorial, nuestras operacio~ signiflean 10 siguiente;. el punto MI + Mz es el eXlr~ del vector OM.! + oM2 y el punro l<;M, el extreme del vector k· 0 M (con la condicion de' que el origen -de este vector es e)

punto 0). .

II

los numeros s, y S2 no son negatives y su suma se iguala a I. De la semejanza de los respectivos triangulos hallamos

ON, M2M ON2 MIM

OM, = MzMI = SI, OM2=M1M2 = S2 .•

de don de se deduce': N I = s,M I; N 2 = S2M 2' Pero M = N J + N 2, par 10 tanto M = 5,M, + 52M2' Par ultimo, observaremos que cuando eJ punta M recor.re el segmento MIM2 en direccion de M, a M 2, el numero 52 adquiere todos los valores desde 0 hasta 1. La afirmacion 1) queda demostrada.

r

M

M,

M,

o

Fig. 3.

Fig. 4.

2) Cualquier punta M en fa recta M 1M l se expresa de Ja forma IMI + (I - C}Mb

siendo r lin cierto numero.

Verdaderamen te, si el pun to M yace en el segmento M 1 M 2. entonces nuestra alirmacion se deduce de 10 anteriormente demostrade, Supongamos que M yace fuera del segmento MIM2. Enlances a el punta M I yace en el segmento M M 2 (como en la fig. 4), 0 M2 yael: en el segmento MM!. Supongamos, par ejemplo, que riene lugar el primer caso. Entonees, conforme a 10 ya dernostrado,

De don_de

l 1-5

M = -MI- --Ml = !Ml +0 -1}Ml>

S S.

12

1

siendo 1=-. Proponemos al lector exarrunar eI caso en que s

M l yace en el segmento M M,.

3) C uando e I parametro S crece desde 0 hasta eo, e I punt 0 s B recmTe e! rayo OB*1, )' el PUIIIQ A + s8, el rayo salient« de A en direceiim a OB. Cuando s decrece desde 0 hasta - co, Ins puntas sB y A + s8 recorren rayos complementarios a los indicados anteriormente. Para demostrarlo basta con fijarse en las fig. 5 Y 6.

A +sB I I I

I

I

I _k---

I -~- 58

I ..... ---

V-B

o

A

fig .. 5.

Fig. 6.

De la afirmacicn 3) se deduce que, cuando ~ varia desde - 0-:.; hasra + ex: el punto A + 5B recorre la recta que pasa por A paralelamente a OB.

Esui claro que las operaciones de adici6n y rnultiplicacion por un nurnero tam bien pueden realizarse con puntos situados en el espacio, En este caso, conforme a la definicion.

M, + Ml =(Xj + x2., Yt + Yl, ZI + Z2). kM = (kx, ky, kz),

Logicarnente todas las afirmaciones dernostradas .anteriormente seran justas tambien en el espacio.

Para dar fin a esta parte tomaremos un acuerdo, que mas adelante nos servira para formular muchos hechos con mas claridad y laconismo. Precisamente, si :tf' y 2"son dos cualesquara conjuntos de puntas (en un plano ° espacio), acordarernos considerar par su "surna' % +!l el conjunto de todos los puntos de la forma

., Se su pone que el P lin to B .es dist i n I o de I origen de las coordenadas, O.

13

K + L, siendo K un punta arbitrario de $, y L. un punto

arbitrario de ft. •

En las matematicas hace ya tiernpo que se urjliza una escritura especial para indicar la pertenencia de cnalquier punto a un conjunro determinado .. Concretamente para indicar que el punta M pertenece al conjunto .A se escnbe M E.,f( (el signa E sustituye la palabra "pertenece"), 0 sea, x: +.!t es el cenjunto de todos los puntas de la forma K + L, siendo K E:;f{" Y LE!t.

Partiendo del sentido geornetrico de la adicion de puntos, podemos deducir una regla simple para adicionar Ios conjuntos punt uales x- y !tEsta regJa consiste en 10 sigu ien te: para cada punta KE:f es precise formar un conjumo que. resulta de !l mediante su traslado paralelo al segmento OK.: a continuacion todos los conjunros, obtenidos de esta forma, se unen en uno. Este jiltimo sera .x' + q.

Daremos algunos ejernplos .

K P I

/'

I I / I

I

J o

. ~ ~

j /

I I

I I

~/ ~

Fig. 7.

Fig. 8.

I, Supongamos q tie elconjunto :f{' estacompl;leslo por un punto K. mienrrasque Ycontiene un conjunto de punroscualquiera,

El conjunto K + [f es el resultado de un traslado paralelo del conjunto 'I al segrnento OK (fig. 7). En particular. si 'i' es una recta, entonces K + if" sera una recta paralela a :t. Si en este easo la recta !f pasa par el origen de las eoordenadas. entonces K + !l sera una reel a pa ra lela a :! que pasa po r el pun 10K (fig. 8).

2. $' y Y' son segmentos (en lin plano 0 en el espacio] no paralelos entre si ([is. 9). Entonces el conjunro .. :f{' + ff' es un paralelograrno con lados iguales y paralelos a ,;:f' y Y [respectivamen le j". ; Que res ulta cuando los segm en lOS Jf ) :t son pa ra lelos 'J 3 . .A es lin plano, y :i WI"! segmento no paralelo a este plant),

14

El conjunto x: + !t es una parte del espacio, comprendida entre dos pianos paralelos a x: (fig. lO),

4. :;f(" y !! son circulos -de radios rl Y r~ con sus respectivos centros PL Y P~, que yacen en un mismo plano 11:. Entonces ::tC + !l es un circnlo que yace en un plano paralelo a 1t con radio '1 + r2 Y centro en el punto PI + P2 (fig, 11).

~

\ \~

\ ,

\ / V

o

Fig. 9.

Fig. 10.

Fig. 11.

2°. Sentido geometrico de ecuaciol1es y desiqualdades de primer qrado can dos 0 tres incognitas.

Examinemos la ecuaci6n de primer grado can dos. incognitas x e y:

ax+by+c~O. (1)

15

Considerando a .x e y como coordenadas de un punta en un plano, es 16gicoque surja la pregunta : ~ q ue conjunto en este plano forman los puntas cuyas coordenadas satisfacen la ecuacion (1)7 0 mas breve: ~que coojunto de puntos determina la ecuacion (1)7

Daremos respuesta, aunque quizas sea conocida para eJ lector: la multitud de puntos, determinados por la ecuacio» (1), es una linea rect~ en un plano. Eo efecto, si /j #- 0, entonces Ia ecuacion (1) se reduce a la forma

.y = kx + p,

'Y, como es sabido, esta ecuaci6n determma una recta. Si por el contrario b = 0, entonces la ecuacion se reduce a Ja forma

x =h

y determine una recta paraleJa aJ eje de las coordenadas.

Semejante pregunta surge tambien coo relacion a la desigualdad

ax + by + c ~ O. (2)

i. Que conjunro de puntas determina en un plano la desigualdad (2)?

Tarnbien aqui Ta respuesta es simple. Si b * 0, entonces la desigualdad dada se reduce a una de Jas dos Iorrnas

y ~ kx + pay ~ kx + p.

No es diflcil observar que a la primera de estas dos desigualdades satisfacen todos los puntas situados "par encima" de la recta y = kx + P 0. en esta recta, mientras que a Ia segunda, todos Jos puntas situados "por debajo" de la -recta y = kx + P 0. en la misma (fig. 12). Siendob = 0 la desigualdad (2) se reduce a una de [as forrnas

x~h 0. .x~h;

a la primera de. elias satisfacen todos IDS puntos_situados "a la derecha" de la recta x = h a en esta recta; a la segunda, todos los puntos situados "a Ia izquierda" de la recta x = h 0 en dicha recta (fig. 13).

Asi, pues, La ecuacion (1) determine en' un plano de coordenadas una linea recta y la desiqualdad (f), uno de los dos semiplanos en que esta recta corta dicho plano (consideramos que esta recta pertenece a cualquiera de los dos 'serniplanos determinados pot ella misma).

16

Ahora resolveremcs euestiones analogas con. relacion.« la eeuaeien

ax + by + C2 + d= O.

(3)

y a Ia desigualdad

ax + by + cz +d~O:.

(4)

clare esta que para ello x, y, z debe ran considerarse como coordenadas de lin punto ell el esp.acio ..

Ftg. 12.

o

y

-

"", . /11

~~~~~

x",h Fig. 13:

ElresuJlado,camo noes di{1i:::il prever, sera el siguiente, TEORE~V.. La ec)uaC;Oll (3) decermil1G e1l e/ espacio cierto plano, y la desigualdad (4), uno de los dos semiespacios .ell lQ;~ que die/lo plano coria a todo el espacio (el rnisrno plano se considers per-

17

tenecicnte a cualqurcra de los dos sennespacios determirrados por ell.

DEMosiRACION De ires numcros G. I> 'j c- por 10 menos uno es diferente de cero , sea .. pot ejernplo, c#.O Entonces Ia ecuacion (3) se reduce <I laforma

z = kx + Iy + 1', (5)

Designemos pot Yel conjunro de punros 1'.1 ('<, y, =1 que veri" Iican La ecuacien (5) .. Nuest ro fin es demostrar .que Y! es un plano.

Vearuos que puntas de 'f pertenecen al plano de coordenadas yOz. Para clio considcramos qPt: en la ecuacion (5) x "" O. T enemosentonces

z = Iy + p,

(6)

ASi, pues, la interseccion de fleonel plano yO: 1:5 la reel" II, deterrninada en este plano por Ia ecuacion (6) (fig, 14~

z

Fig. 14.

De la rmsma forma hallamos que Ja nuerseccion de ~f cOP el plano x_O.z as la recta I!, dctcrrmnada ell eSLC plano por la ecuacion

z = k x + p.

Lasdos rectas U )i i' pusan POt el punto I?('D. D, ]I).

Designcmos po r It el plano q U~ conuen c Jas rectas If )'1 Demoslrem~s que )"( pertenece alconjunm Y.

Para cllo sera suficiente- estableccr el StgUlefite heche la recta

18

que pase por cualquier pun to A € I' paralela a Ii pertenece a !to

Primeramente hallaremos cualquier punto B, tal que DB lIu.

En el plano yOz Ia ecuacion = = ly + p determina Ja recta u; por consiguiente, la ecuaci6n z = ly determina una tecta paralela a u, que pasa por el origen de las coordenadas (en la fig. 14 se da en linea a craws) .. En catidad de B se puede tomar un punto con coordenadas y = I, Z = l. yaciente en esta recre.

EI ponto arbitrario ..4 E L~ tiene las coordenadas x, 0, kx + p.

El punto B elegtdo por nosotros, tiene las coordenadas O. 1, I. La recta que pasa por A paralelamentea tI esta compuesta por los puntos

A + sB = [x, 0, kx + p) + s(O, 1, I) = (x, .s, kx + P + sl~ siendo s un numero arbitrario [vease la afirmaci6n 3) en el reparto 1 ~). Es facil cornprobar que las coordenadas del punto A + s8 verificao la ecuacion (5.), es decir, A + sB € ft. Con ello, queda demostrado que el plano 11: pertenece totalmenle al conjunto !/,

Nos queda por dar el ultimo paso, 0 sea, demostrar que !I coincide con 1£, es decir, que el conjunto !t nocantiene ningun punto fuera de n,

z

Fig. 15.

Para demostrarlo exarninemos rres puntos: el punta M (xo, Yo, =0), satuado en el plano 1t: el punto M' (xo. Yo. Zo + s), situado "sobre" el plano 1t (E > 0) y el punto M" xO, Po- =0 - e], situado "bajo" eI plano n; (fig. 15). Como M € 1r. entonces =0 = kxe + tv« + P y, par consiguiente,

19

Zl) - e < kxo + Iyo + p.

De esto se deduce que las coordenadas del punta M' satisfacen la desigualdad estricta

z >,b.; + Iy + p,

y las coordenadas del punto Mil, la desigualdad estricta z < kx + Iy + p.

Por 10 tanto, M' y "1" no pertenecen a5t. Esro demuesira que . !l coincide con eJ plano :It. Ademas, de nuestros razonamientos, se deduce que el conjunto de todos los puntas. que verificar\ la desigualdad

ax + by + cz + d :;<:0;

forma uno de los dos semiespacios ("superior" 0 "mfenor"] en que el plano :It divide redo el espacio,

§ 2. SENTIDO GEOMETRICO

DE UN SISTEMA DE DESIGUALDADES LINEALES CON DOS 0 TR.ES INCOGNtTAS

Sea dado el sistema de dcslgualdadcs 01:(+ b1y + "I ~ 0, ) G1X + bzy + Cl~ O.

..

o;"x + b .. y + c '" ~ 0,

(I)

con dos incognnas x e y.

La primcra desigualdad de este sistema deterrmna en un plano de coordenudas xOy cierto semiplano n" Ia segunda, el semiplano n2 y asi sucesrvarnente. Si cualquier par de numeros ;1:, Y. satisface todas las desigualdades (1), entonces el punio M (x Y) pertenece a todos los semipianos n I' n 2- ...• ITm <\} nnsmo tiempo. "En otros ierminos, el punto M pertenece a la interseccibn (parte corn un] de dichos scrniplanos: Es ficil ver que la interseccion de una cantidad finita de sermplanos representa una region pohgonal ;)f-. En la fig. 1.6 se muestra una de estas posibles regiones or" A lola rgo del contorno de esta region, Sf

20

dan rayas drngidasi:laciaeI irHerioI' de Ja region. Eslas rayas <11 mismo liempo, indican a que lade de. cll:dl:l recta yace el respectivo sermplano; 10. roismo mdiean las Ilechas,

Laregioll, 0 recmte. X' se llama r.egi6n tie sotucionesdel sissem« {I). AI mrsmo nempo indicamos que la rcgion de soluclones no siempre es liinitada: comoresultsdo de 12 inleFSecci6n de varies scmjplunos puede surgir !,amblen una regi:6n ilimitada COm"0i por ejernplo, .la region dada en la fig, 17. Teniendo en

y.

Fig. [6.

_. C _

Fig. 17.

cuenta I!I heche de que c! contorne de [a reglOn.:::t esra Jormade por If".dZ{)S. Je reetas (0 por reeias completas], consrderamos que £ es una reyiim ,po{jyvna'i [observaremos que euando la region jf es tuunada se llama simp.lemenle po/iuono") de "';O/UCiOlZI<S del slst(>'ma (1)]. Claro est:i que tamb,lcn. 'es po'sible el caso cuando no hay m Ull puuto Com un a todos los serniespaeios eousidera-

.1 Aqui debemos haeer I,IlIa adY~rltncja pllraevitllr malcniendld(,)~ Fn ~I curso escotar de geomctr111. por "roligono"sB entrcude !lrlll [mea eerrada ()Qmpllelil;lpOr scgmentos de recta&. Miennus [l!nt" en 111 Inc.I'illUU .~obre deslgoaldad.es Iinealos e-sle (.ennInG slgnificIJ no I" proPId lmea srno cl eonjunto de lodo$lo~' puntos del "limo. !lllllrt·!liflJ:~ por .'11" [es deem :~'aclenlcs dentro ~) en Ja mtsma linea], Mjjs .adclante el termuro "poligcno" $1: mrerpreta precisameme en esre utrimo scnude

21

dos, es decir, cuandola region :1(- esta "vacia", esto significa que el sistema (1) es conrradictorio. Este caso viene dado en la erg, 18.

La region de soluciones :1(, es siernpre convexa, Recordaremos que, segun la definlcion general, el conjunto de puntos (en Un plano o espacio) se llama _CQNV£XO, sJ junto' con dos cualesquiera de SitS puntos A r B imacontiene todo el segmento A.B- En III fig. 19 se demuestra la diferencia entre conjuntos convexos yno convexos,

x

fig. 18.

fig. 19.

La convexidad de la region de soluciones % se deduce del propio procedimientc de Iormacion de esta region; pues, esta ultima. se ha obterndo mediante la interseceion de vanes semiplanos, cada uno de los cuales es un conjunto cenvexo,

Adernas, para que no quede ninguna duda con relacion a Ia convexidad de %. dernostraremos el siguienlc lema

22

"LEMA, La jnle,rseccion de cualquiernumero de conjuntos cont1e:<O$ es un conjunto cOllue:xo.

OI!MOSTRACION Sean :It't y:,('2 dos conjuntos convexos y :K" su interseccion, Examinemos' QOs puntos cualesquiera A y B pertenecientes a .% (fig. 20). Como AE JY 1, B_ E .%' IY el conjun to % les convexo, eutonces el segmento AS pertenece a x: 1- De fonna analoga el segrnento AB pertenece a ':£" z- 0 sea, el segmento AB pertenece.ul mismoriempo, a los dos conjuntos $1 y Jr,l y, par consigulente, tambien a la interseecion de ambos :%. Con, esto .queda demostrado que .:;(' es un conjunto convexo, Una, reflexion analoga nos demuestra que la interseccion de cualquier nurnero qnc obligatoriamente de dos) de xonjuntos convexos es un conjunto convexo,

Fig. 20.

Asi, puesce! lugar geornelrico de los puntas cuyas coordenadas satisfucen todfM la,~ desiqua/dades (I), o. fa region de sotuciones del sistema (f), es la J'egiim convexa YPQligonul f. Esta region surge como resultado de /(1 tmersecc(im de todos los semiplanos. que correspondel1 a las tlesigualdades del sistema dado,

Examinemos el case de tres incognitas, Ahora tenemos dado elsisrema

(11., .. '( +. bl.Y'. + C._I. Z +. d.I .. ?. ·.0, } (lZX + bzY + C1Z+ dz:? 0"

. . . . . . , . , . (2)

amx + brnY + elnz +d", ~ o.

Como es sabido por el parrafo 1, cada UDa de estas desigualdades determina ciertosemiespacio, Pot _10 tanto, .la regIon. deterrninada porestesisrema. representara Ia interseccion (parte cornun] de m semiespacios, Pero laintersecclon de una cantidad fimta de semies-

23

pacios es cierta region convexa -y pohednca .x: En la fig. 2l se da un ejemplo de tal region, siendo m = 4, En este ejemplo 1<1, region -"r representa un simple tetraedro {mas exacto, ,;( esta compuesta por todos los puntos que yacen dented y en las superficies del tetraedro], Y, en general, no es dificil comprobar que cualquier poliedro convexo puede obtenerse a consecuencia de la intetsecci6n de una cantidad finita de semiespacios?", Claro que

8

Fig, 2i.

tambien es posible el easo cuaodo la region .:£ no es hmitada (se extiende infinitamente]: un ejemplo de tal region se da en la fig. 22. Por ultimo, puede suceder que no existan, en general, puntas que satisfagan a todas lasdeslguaJdades_ consideradas [el sistema (2) es eontradictorio], entonees la region % esta vacia. Un casu semejante esta representado en Ia fig: 2.3.

Espeeialmente, debemos detenernos en el caso cuando entre las desigualdades (21 hay dos

ax + b_v + cz + d. ): 0,

., Esta parte necesua una aclaracion semejante a la dada en la pag 2Q. La cuestion es que en. el CUIliO escolar de geometna, par "pobedrQ" se comprende .una. sllperJic~ cerrada, compuesta por caras planes .. Nosotros vamos a depositar en este termmo un conterudo, mas amph 0, denommando por .. po hedro", no a Iii propia superficie, sino al corljunw de todas las puntos dod espaifo abarcados poreste [naturalmerue, este conjunto .mcluye tambien la misma superflcie, pero solamente como pane).

24

- ax - by - cz - d ~ 0,

tales, que ruedan ser sustituidas por una sola ecuacion ax + by + cz + d = o.

Esta ultima deterrnma cierto plano Jt en el espacio, Las otras desigualdades (2) determinan en el plano IT cierta r:egion cenvexa y pollgonal, la cual sirve como region de soluciones .del sistema (2). Vernos, que 1m al.sa panicular de region catH/ex'Q y poliedrica en. et espacio puede .~ertilr una l'egi6n conoexa y poUgonQ/ ell u.n plono .

. Fig, 22.

\'--------'r~\ ~f

Fig. 24.

En la fig. 2410 region 'Jf"es un triaagulo, constituido por 1a interseccion de cinco sem iespacios: dos de ellos estan lim ltados por un plano "horizornal'<a )' los otros tres forman en la raterseecion. un prisma triedro "vertical",

Por SCI Ull ·caso analogo al de dos incognitas. deoominaremos la region .::£ per region de soiuciones del sistema (2). Subrayamos. una vez mas !a circunstancia de que la region ,f jior ser Ia

25

mterseccion de un eterto nurnero de sermespacros, es Iorzosamcnte convexa,

o sea, el sistema (2\ determine ell el e~p(ldo una region :f(. cOIweXa y pol!ednca. Esta Li/rim(l es resuttado de ta rnrersecclqll de todos los semies pOcios qee ;<>(J! i,~fiJi'en las dl?~(1J1J(1ldadf' s del

sisrema dado. .

si Jf' es una region limitada, cntonces sc denomma, simplemente, poliedro de soluctones del sistema lIt

* 3. CApSULA CONVEXA DE UN SISTEMA DE PUNTOS

Imaginernonos que en un plano con aspcctuxemejante al de una hoja sin limites de madera eorurachapada, Co los pnntos Aj, .42, •.. 1 Ap estan clavados prquetes. F.stlrando, como cs debido, on laze de goma, abarquernos con eol todos los piquetes (en la fig. 25. Ia linea de trazos). A continuacion dejemos eJ lazo contracrse en Ill. medida que 10 perrnitan los piquetes El conjunto de punros, abarcados por el laze despues de conrraersc. se muestra en rayado en la fig. 25. Esta mulutud represents,

Fig. 25.

naturalmen tc, un pohgono COllV~I(O. Este ulumo sc llama fapsv1a fonr'eXU del sistema de I)UntQ~' A h A~. ". ,4.11'

Reahzar semejante expcnmento cuundo los puntos A I ,A.l, ... , A p se situan no en un plano smo en cl espacio, pracncarncnte, es

26

bastante dificil No obstante, demos libertad a la imaginacion ) supongamos que hemos logrado meter los puntas Ai> A2, •.•• Ap en un SllCO de goma fina y -solida. Esle saco se contraera hasta que no corniencen a irnpedirlo algunos de los puntos, Par fin llegara eL momenta en que el saco cese de eontraerse (fig. 26). Claro que aL llegar estc memento, el saco torna la forma de un poliedro convexo con sus vertices en algunos de los puntos At. Az •... , A,. La region del espacio abarcada par esre polledro tambien se llama capsula convexa del sistema de puntos A1• A2• ,. , .4,

Fig. 26.

La defirucion que aeabamos de dar a Ia capsula convexa, aunque es muy evidente, no es del lodo irreprochable desde el punto de vista de la "esincrez matemauca", A continuacion darernos su definicion estricta,

Supongarnos que A" A2, ..• Ap es un conjunto arbitrano . de puntas (en un piano 0 espacio) Exarmnemos todos los puntos

que puedan rener la forma .

(1)

siendc St. ,I~.. • ~p cualesquiera nurneros no negauvos, cuyasuma es igual a la unidad

.I"t. $2, •..• Sp ~ 0 J 51 + S2 + . + -'p. = I. (21

Db! !NlelON E! conjunto de puntas de- fa forma (I} con fa condicion (1), se denomma capsula convex-a del sistema de puntas .4 j, A;:, ..

27

, .. , Ap y se desiqna

(AI> A2• "" Ap).

Para convencernos de que esta definicion no dillere de la anterior, vearnos primeramente el caso p = 2 Y P = 3. 'Siendo p ='2-, tendremos dados dos punros A.I 'f A2. EI conjunto (4 I., A2), confonne a la afirmacion 1), parrafo I, es el segmento A1A2•

S'j P = 3 tendremos dados tres puntos A I, A2 Y AJ, Demoslre,rnos que el conjunto (Ah A2i A~> esta compuesto 'por rodos los puntos que yacen deotro y en los lados del triangulo AJ A2.A3' Y en general, demostremos el siguiente lema.

I.EM.A, EI eonjunt« < A!. ' ..• Ap'- i. AI'> esta cornpuesro pOT todos los posibles segmentos que- unen eI punto AI' con los punios de! conjunto (AI>, > Ap~l)"

DEMOSTR!\CION. En 10 SUCeJ;IVO, para comodidad de escrrtura, designaremos el conjunto (A\. _,., Ap~ I) por.l( ",-'J y eI conjunto (A.. • ... Ap-I, AI'> por .ilp•

Veamos cualquier punto A E"H 1" Este punto tiene la forma

A = sIAl + ... + Sp_jAp-1 + spA,,,

siendo

SI. "', sp s.o, 5j + ... + sp = I

SI s".= O. entonces A EAt ,,-1>,0 sea, el conjunro "",.-1 es parte tie .4 p" Si sp = 1, entonces A= A.p'·o sea, el 'punto Ap pertenece a .At p' Asi pues, .,If p contiene a .A J7'- I Y al punro A~, A .continuacion dernostraremos que cuatquier segmtrnro A' A_I" slelldo A I E.it 1"- I, perteneee totalmente a Atp'

Si A es un punro de tal segmento, entonces

A=tA'+sA" (t.S;?O,f+s=I).

POf otra parte, segun la definition del punto A', tenernos A'={JA1+- + (p-tAI'.j

(lIi ... rp~J :;?::O, tl + ., + Ip-L = 1): por consiguiente,

;t=tf,AJ + .... +i1p-tAI'-l +,~Ap.

Suponiendo que [(, = $j, ;.:, (/,.-'1 = 5..,-1, S = ·s,. obtenemos (.1) y (2), Con esro qu.ed:ademos'trado que A E.it~. As]. pues, cualquiera de!os segmentos indicados pertenece totalmente a .it p'

21;

Nos queda par comprobar que el conjunto .41 p no tiene otra cosa que no sean dichos segmentos, es decir, que cua/quier prmto A de .JI p pertenece a utlQ de los seqmentos a COil sidera r.

Sea A E.-It P' Entonces tenemos (1) y (2). Se puede considerar S-p:;6 l, de 10 conrrario, A == Ap y enronces no nos quedara que demostrar, Pero siendo s" 'f; I, entonces S I + ' .. + Sp-l = 1 - sp ::> > 0, par 10 tanto podemos escribir

( [ Sl A

A=; 51 + .. -+Sp~d _. 1+'"

SI + .. + Sp_1

Sp_1 A ] A

... + , v- t + :;p~p'

Sj + ... + 51'-1

Laexpresion entre corchetes deterrnina cierto punto A' perteueciente a J{ r'l. ya que los coeficien tes de A J, ••• , A p -It en esta expresion, J)O son negatrvos y su suma es igual a 1. 0 sea;

A= (s\ + ... + sp-dA' + sp,4p.

Puesto que 10S coeficienres de A' y Ap tampoco sop negatives y su suma eS igual a I. entonces el punto A se encuentra en el segmento A.'Ap- Con esto finalizala demosiracion del lema.

Ahora no es dificil cornprobar que las definiciones evidente y estricta, que dames a la capsula convexa al comienzo de este parrafo, sort eq ui va lentes, En efecto, independientemen te a cua I de las dos definiciones urilicernos como base, el paso de la capsula conveKa del sistema AI> ... , A,_11l la capsula, convexa del sistema A j, .,., Ap_l, Ap transcurre en ambos cases conforme a una misma regla: el punto Ap debe unirse mediante segmentos can todosIos punros de la capsula convexa N:I'a AI, .•.• Ap-1 (can una definicion evidente de capsula convexa dicha regla se marnfiesta directamente; si la definicion esestricta, esta regia forma el coutenido del lema). Ahara, si tenernos en cuenta que sicndo p = 2, conforrne a arnbas definiciones, obrenemos un mismo conjunto, a SeH. el segmenro A jAl, entonces la equivalencia de las dos definiciones se hace evidente,

Mas aun no hernos justjficado por complete el termmo "capsula convexa", pues, todavia no tenemos dernostrado que el conjunro (A j, A 2, , .. , Ap) es siempre convexo. Hagarnoslo a continuation.

Sean A y 8 dos pun tos arbitrarfos de este conjuntc:

A = slA I + szA2 "t- ... + spAp, 8 =. 'IA1 + liA2 + . -. + IpAp->

29

siendo

.iI' . _., sptl., ... , tp ~ O. s,+ ... +S,=tt+ ... +ty=L Cualquier punta C del segmento AB tiene 1a forma

C = sA + tR,

siendo s, I ~O, s+ t= 1, (4)

de esto se deduce

C =s(s,Aj + .,,, + spA,,) + r(t,AI + .. + l,Al') =

= (SSl + tt d AI + ... + (ss, + Up) A".

(3)

Conforme se deduce de (3) y (4) los numeros que son coefidentes de Aj• "', AI> no son negatives y su suma es igual a 1. Esto significa que el punto C pertenece al conjunto (.-4 I> Al, . ... , A,.). .es decir, que este conjunto es convexo.

At mismo tiernpo, no es dificil cornprobar que (AI' A~ ..... A,) es elconjun!o menor entre lodos los conjuntos convexos que coatienen los puntos iniciales AI> .4.2, . " AI" e-s decir, que este eonjunto va incluido en cualquiera de tales conjuntos. Bsra afirmacion se deduce directamente de la demostracion del lema anterior, y de la definiclQn de eonjunto eonvexo.

Esie heche da explicacion a la denominacion de "capsula convexa", AI mismo nempo da una explicacion mas al heche de que el conjunto (At, A2, "', A~) puede ser obtenido par ei proeedimiento descrito al pnncipio de este parrafo. Es que el conjunto abarcado por eJ lazo de goma (0 sacode goroa) despues que este se contrae todo 10 posible alrededor del SIstema de PUUIOS A 1> 42, . _ _ Ap, es, precisamen leo el menor conjunto convexo que cootlene a dichos puntos,

~ 4. CO NO POLIEORO CONVEXO

Comenzarcmos pN SU definicion,

cOlIi(j POUt::D~O CON\iEXO se llama Ia ilHerScl'('i(}n de un ru'unero Iimitado de semiespactos, CI.I.I'OS pIanos confine: o iimillts pa.~arl J!"I' un mismo punio; este ultimo SI? l!tmw l:ertite del cono.

Primerarnente indicaremos que relacion ticne cI conccpto de cono poliedro corrvexo con respecto a los sisiemu» de- desi-

30

gualdades lineales. Nos llmitaremos a uri C<150 particular, precisamente, al caso cuando el vertice del cono es eJ origen de las' coordenadas, Esto significa que todos los pianos confines pasan por el orrgen de las coordenadas, Ahora bien, .la ecuacion de un plano qUI; pasa por et origen de las coordenadas tiene la forma

ax +by+cz =0

[el termino independiente de esta ecuacion debe serigual a cero de 10 contrario (0, 0, 0) no sera sclucion], Asl, pues; un eono poliedro convexo COT! el veruce en el oriqen de las eoordenadas es 10 region de soluciones de cierto sistema de desigualdades

homoqeneas: -_-,

GIX + b,y + CJZ ~ O.

0lX + biJi + C2~ ~ 0,

Q",X + bmy + C",Z ~ O.

Naturalmenie, tambien es valido 10 inverse: iii region de soluciorres de un sistema de desigualdadeshOnio~neas siempre

s

Fig. 27.

representa oierto conn pohedro convexo con el vertice en el origen de las coordenadas,

Ejemplo de cono poliedro convexo puede ser una region convexa en el espacio, cuyos confines 0 llmites es cierto ling.ulo poliedro con el vernce S, - alga parecido a una piramide convexa, ilimitada y sin base. que se extiende sin Iimites desde su vertice+(en la fig, 27 se da una de estas piramides can cuatro caras].

3'1.

Tambien pueden haber cases 'lllcI!Q_s interesantes, pm eJemplo:

L Un semiespacio (fig, 28; a). En este "cono" vernce puede ser eualquier punto SEn; siendo 1t plano .conffnde dicho semiespacio. 2_ La interseccidn dedos semiespacios, cuyos planes confines se cortan pot una recta I (fig. 28. b). 'Verlice puede ser cualqurer punto Sel.

/fI:!If/ff ~ _

II) ~ 0)

b)

Il!!l1JJ

tf)

f)

3. UI\ plano. Naturalmente, que: cualqurerplano 'It en ~l espacio puede considerarse como la interseccion de dos semiespacios, situados por d,Herentes lados den (fig. zs, c). En, este caso, veruce puede ser cualquier punta S e 'It:

4. Un semiplano (rig. 28, d). Verliee S puede set cualquier punta 'de la recta confin.

5. Una recta. En el espacio,cada recia / puedeobtenerse mediante 1a interseccieu de tressemiespacios, cuyns planes confines paSa·n POf r (fig,,28~ eJ EI ver(ic-e 'S puede ser cnalquier tpunto dela recta ~

6. Un angulo hneI:lOJql~e f800'), en un plano varbitrarro ,Tt

32

(fig, 28,.fl. Este ang.ul\" puede resultar de Ia Interseccion del plano 1t: con d:os sellljes,pacips (i;COmO ccncretamentej),

7. Un rayo (fig. 2:8,9)' Un rayo puede ser considerado como 1.<1 mrersecclon de una recta con un semiespacio. Verlke S es el origen del rayfl,

8, Un punto. Un "cono' s-e11)¢j_anlc puede obtenerse temandc la parte comun entre un rayo ~ un respective semiespacle

(fig. 28, h). ."

Claro q.uc los ejerrtplos enumerados de t a 8 difteren (unos en rnener, pINS en mayor g.raiilQ) de Is. habitual urilizaeion de la p"labra "cono", pew nosvc·mo§ Q9!igadQs a ccaformamos eon elio si queremos conservar la, definicion general de cone poliedro convexo, dada, al -principio deeste parrafo,

Ahora proeuraremes demostrar, eo una's palabras, que l_os tonjunl<os qu« acabarlios de e'!umera'r repr.e,se!llal1 todo« ioscono» C01H'eX()S en el e.spatio>

Supongamos que f1 significa cierta eantidad de semiespacios, cuya interseccion constituye -elcorro eonsiderade .;¥ - .!Siendo p =. L nuesrra afirmacion esv;alida; plies-to que .entences X- es un semiespacio, Uri' simpi'e:ca.lcu!o,,· q'Ueproponemps hacer+al lector, mueslra que siendo nuesrra afirmacion valida para el CODa obtenido mediante lamterseccion de p semiespacios, 10 sera tambien ,pam un cono ebtenide mediante la interseeciou de p + ls:e'mlcspacios, De esro, conforme al principia de: 'induccien matematicacernplera, se deduce que nuestra afirmad6n es val.ida Rara cualquier p.

Los cones convexos poliedros contienen mechas prcpiedades mreresantes, mas los margenes de este libra no nos: permiten profundizar sobre el lema, no obstante.pioe.ur,aremosexp6i1er algunos heehos,en part(len este parrafo y en p_arlcen el

parrafo 1.2. . .

Foemulemos una defln'lcl6n ma~ o,/s( se quiere, una designacion, Sea HI, E2• "" Bq,el con] un to arbitrano de una can tid_ad finita de pontes (en el espacio). Eo» .105 simooios (Bl• 82 ••. _ .• Bq)

designarelfius et corljunJQ de pr.mtos de til forma .

flBl + 7zB,2 +, .. + tqBq,

siendo 11' [2. ..," t~. numerosorburarios .110 neqaticos.

~Que representa geometricamente el wrijunto (BI<- B1, ••.• Bq)?

Deli! defin,ici6n quedii. clare, que este conjunro represen1a la surna de 105 conjuntos (8,). (8:2), ."'., (8q);· por esc, prlmcra_mente. debemos determinar qu~ representa elconjunto (8.), es decir. el

33

conjunto de puntas de la forma t.B, siendo t cualquier nnmero no negative y B un punto Iijado. La respuesta II esta Ultima pregunta es evidente: SI 8 es el ongen de las coordenadas, entonces elconjunto .lB) tambien comcide can esre origen, de 10, contrario (8) es un rayo que parte del origen de 'dichas COOfdenadas y que pasa por el punta B. Ahora observemos que la suma de cualquier conjunto can el ongen de (as coordenadas nos da nuevamente este mlsmo conjunto ; can esto queda clare que al examinarel conjunto (.8" 82• _ ' .• B,,) no perdemos nada, 51 conslderamos todo« los ptmtos BI, 82, .,. I B difimmres del origen de las coordenadas. Ell eMf? caso, ei cOlljunro lBhEl' ",, B~J representaru la Slima de /011 raycs (BI). (B2), -, I lBq}.

La ultima observacion hace casi evidente cl rsiguiente lema. LEMA Elcclljilnto (BI• "" Bq-1, B'll es la Jmlon de seqmentos, que U/le)} coda punto del con junto (BI' '. , Bq-1) COl! cada pun to

del rayo (Bq} . .

Una estricta dernostracion de este lema se hace por el mismo procedimiento quepara demostrar el lema analogo del parrafo 3, recomendamos al lector realizarla por su cuenta.

Partiendo de .este lema, es facil deducir que. (BJ, 82) .es un angulo, una recta. (l bien un rayo (fig. 29. a, b, c). A conunuacion

o

c)

oJ

b) Fig. 29.

sera facil esrablecer que (B" B~. 83) cs uno de los srguientes conjuntos: una piramidc triangular ilirmtada, un plano. un semrplano, un angulo, una recta 0 un rayo. Ahora esta clare que. entre los conjuntos (81• 82, .' _, Bq) y los conos poliedros convexos debeexistir 'Una relacion estrecha. Y esta relacion efectivamente existe, Para mayor claridad formularemos las respectivas afirmaclones en forma: de dos teoremas.

TEOREI>4A J EI conjunto (81, 82, .•• Bq). 0 bien eoincide con

34

todo el espacto, 0 Men representa cierto cono poliedro cmn'exo can el veniCe en el oriqen de las coordenadas.

En efecto, el conjunto (8'1 82• _ ;"" Bq), puedecoincidir con todo elespacio, 10 demucstra ~I siguiente ejemplo, Considerernos cuatro puntas HJ, fIz, 83, ,Ih situados de tal forma que los rayos (B I)' (E21. (8;), (B4,), consrituyen, par pares, angulos obtusos. (fig. 30). Cada uno de los conjuntos: (B1, 82, B3), (Bj, B2, B4);

o

Fig. 30.

(Bi, BJ, 8~), (82, B3, H4) representa una piramide triangular ilimitada con el vert ice en eJ origen de las coordenadas, Evidentemente, elconjunto (E" B2" 83, 84) conriene cada una de esias pirarnides. Ahora bien: Ja 'union de dichas piramides coincide con fodo el espacro,

TEOREMA 2, Cualquier cono poliedro convexo can el vert ice en el oriqende las coordenadases un conju 11 to .de la forma (81" B 2, . ,: ., 8q).

DEMOSTRA'CI('iN DEL HOREMA I La darernos en rasgos generales.

Utilizaremos.para ella el metodo de induccion matematica completa. La confirmacicn del teorerna, siendo q = i,es evidente, Supongames, ahora, qml este teorema se cumple para los conjuntos de la forma (Bi, '_', B4) y,'basandonosen' este heche, demostremos su validez para el conjunto (B1> ... , Bq, B4+ J

Conforme alpresupueste de induccion, (Bi, ."., Bq) representa o todo el .espacio, 0 bien cierto cono poliedro convexo en este espacio, El primer caso, practicamente, no necesitademostracion, puesto queentonces (Bl' ... , B,,84+ des tambien todo el espacio, Sea que tiene lugar el segundo caso: (B" .,., Bq) es el

35

cono poliedro convexo x . Conformc al lema, el conjunto (8" _." BQ' 8q+j) es la UOtOn de os segmentos que van desde cada punta del conjunto j( hasta cada punto del rayo (Bq + 1.)' Pero, como hcmos demostrado antertormente, cualquier cono poliedro convcxo Jf es, 0 bien una piramide convexa ilirnitada, o bien uno de los conjuntos I - 8. Exarnmando para cada uno de estes dos cases, la union de segmentos que acubamos de indicar, no es difici] convencerse [hagalo el lector par su cuenta) de que esta union, 0 bien coincide con todo el espaeio, 0 bien represents de nuevo uneono policdrc eonvexo. Asi pues, el teorma es valido para conjuntos de la forma (.ad asi como tarnbien para (B" ." .. Bq. Bq+ 1), puesto que 10 hemos considerado jusro para (81. _ .. , 8q), De ello se deduce que este teorema es valido para cualquier q.

D[MOSTI;tACION OiL TI.OREMA z Supongamos que Jf'" es un, CODO poliedro oonvcxo con. el verriee en eI ongen de. las coordenadas 0 Como hemos drcho, :;t 0 bien es una piranude convexa ihnutada, o bien una de los conjuntos t -8.

Supongamos que % es Una piramide, Elijarnos un punto en cada una de sus aristas: obtenemos un sistema de puntas BI> 82• "', Bq, Afirmamos que er ("onjul1w (BI" Bz. .. Bq) t's. precisamente, :;It

Fig. 31.

Para dernostrarlo examincmos .un plano cualquiera n, que corta todas las aristas de la pirarnidc Jr' Obtenernos los puntos 8'1, 8]_, '''' ~ (fig. 3l). Es evtdenie que

81 = kjB,• B2 = k1Bl, •.. , B~ =kqSq.

siendo kl• k2• • k" ciertos numeros no negatives,

(II

36

Supongamos ahora que H es cualquier punto de nuestra piramide difereure de su veruce O. EI rayo OB se cruza con el plano 'It en cierto punto H'. Es evidente que B' pertenece a Ia

capsula convexa del sistema .B~, B~, , B~ Y por [0 tanto

8' '=' sIB'1 + 52Hz + + s4B~,

siendo $" S2, •••• s'f numeros no negatives -ouya suma es igual a 1. AbOTa, si tenemos en consideracion a (1) obtenemos

8'."" slk1B1 + szk2B2 + ... + Stk~B"

Y reniendo tambien en consideraci6n que B' =< kB (k > O), obtenemos B = IIB1 + tlB2 + ... + t"Bq.

dande

sk

tl=T (i=1, 2, ... , q).

Asi pues, hemos demostrado que cualquier punta B de la piramide $' perteneee al conjunto (81\ 821 '" I B,). La inverse, es decir, que cualquier punto del conjunto (8" 82, •••• 8,) pertenece a Jf'" es evidente. 0 sea, :;t'" coincide con (B], 82, ••. , 8.,,),

El caso en que .;]f" es uno dclos conjuntos exclusives 1-8, se analiza sin dificultad alguna y par eso se Iq concedemos al lector.

§ S. REGI6.N DE SOLUCrONES

DE UN SISTEMA DE DESIGUALDADES CON DOS INC6GNITAS

Ahara. nuestra tares es dar Una descripcion eflCaz a rodas las soluciones de sistemas' de desigualdades lineales. En este parrafo esra tarea se curnple para sistemas can dos Incognitas .'G e y. No obstante a que el nnmero de incognitas no es grande (solo dos], procuraremos analizar est os 'sistemas desde posicrones generales. es decir. de tal 'forma que los resultados as! obtenidos puedan serfransferidos facilmente, a sistemas can mayor numero de incognitas.

AI fin de cuenras, la solucion de cualquier sistema de desigualdades lineales se reduce a la sclucion de WlQ serle de sistemas

37

de-ecuaaones lineales. Nosorros consideraremcs da solucion de sistemas de ecuaciones lineales como a Igo simple; como una operacion elemental, y no nos desconcertaremos, si para utilizar el metoda propuesto tenemos que realizer esta operacion muchas veces.

1°. l.EMi\S tNDISPENsABta Sea dado e1 sistema de desigualdades

Qlx+bly+c) ~o,}

0IX + b2y + Cl ~ 0,

• . . , . . • . (1 J

o.,x + b,.,y + e", ~ O.

Resulta conveniente examinar, junto con este sistema, el siguientc

sistema de desigualdades h()'7wgeneas. -

UIX + bjJ' ~ O. }

Q2X + b2y ~ 0,

~m~; b~y ~ 0,

(2)

y tam bien el sistema correspondiente de ecuaclOnes hCll!lOgeneas. atX+b~Y=O'}

ellX + b~y = 0,

. • . . . _ (31

U",x + b",y = 0

La region de soluciones del sistema (I), en un plano de coordenadas )COy, la designaremos por ,X", la del sistema (2), por :;r 0 Y la del sistema (3), POT it. Esla claro, que of! C'.if' 0 (el simbolc c: significa "incluido en" "')

LF.MA I Se cttmple la inclusion

X + .;I[ 0 c:,':;( ,

es decir, hi suma de cualquter solucion de WI t/,~Icma. d« de.sigr.wldade:s dado COrl cualqwer solucia» del siSTema corre:spOndieme lie

.1 i'lo se debe con l'undir el snnbolo c: con el simbolo e uti\izado anteriormente, Este lilt lIDO se uuiiza en el caso cuando se trata de ta pertenencia de un punto cualquiera a un. conjumo cuaiqllfercf Cuando se quiere indicar que Lin ronjw(ro es parle de Ol'ro, se uliliza el simbolo c

38

destqualdodes homoqeneas, es nueoamente solution del sistema dado.

DE"MOSTRACION, Sea A un punto arbitrario de ;,r 'I B," un punto arbitrario de .:K o- Bntonces son justas las desigualdades

atX'A + btY ... + C1, ~ 0 Q2XA + b2y" + Cz ~ 0,

QIXB + btYli ~ 0, aZXB + b2ys ;;;:: 0,

y

!1 .. XA + b,;,YA + em;:: 0 Q",XB+ b.,yo;;;:: O.

Sumando eada una de las desigualdades escritas II la izquierda con las correspondientes escritas a' la derecha, obtenemos

al (XA + Xs) + b, ()'A + )lB) + CJ :;3 01

al (x ... + XB)+ b2 (YA + YB) + C2;;;:: 0,

a", (XA +)(.8) + Om (y,. + YS) + em ~ O.

Estas desiguaJdades signifloan que el par de numeros x,{ + .'(9 e YA +)lB - coordenadas del pun to A + B - es.solucion del sistema .inicial (I), es decir, que A + BE Jt". Y con esto queda demostrado el lema.

LEMA z I) Si un rayo, con oriqen en el pun Eo A, pertenece totalmenieoi conjunto x . y si P es un punta arbitrano de este rayo, enronce.~ P - A E:>r fl.

2) Si una. recta pertenece totaimente al eonjunto $', y SI A Y P son dos puntos arbitrarios ell esta recta, enrollees P ~ A E Y'.

DE\>fOSTRACJON 1) Designarnos el punta P - A par B. El rayo considerado esta compuesto por puntos de la siguiente forma

A + sB; (4)

donde $ es un numero arbitrario no negarivo (fig. 32). Segun la condiclou, cualquiera de estes dos puntos es sclucion ,del sistema (I), es decir

OJ (X.4 + SXB) + b_J (YA + SYB) + ('1 ? 0, U2 (XJI + &'(B) + h2 (}I.A + '~Yll) + Cz :;,: O.

(5)

am \x~ + s:Xs) + b", ()iA + S.VlI) + etri .~ O.

Veamos, por ejernplo, Ia primera de estas desigualdades, Puede ser escrita de Ja _ forma

(al-"A + bl}'.l + ("I) + ~(alxB + blJ"o);;;-' 0

39

Puesto que esta desiguaidad es justa can cualquier :s;' 0, entonces el coeficiente de s, como no es dificil ver, bene que SCJ LUl numero no negative:

"IXB+bjYB~O.

Analizando de forma analoga las demas desrgualdades (5) se puede obtener:

a",xs + b",Y!l ;. O.

por 10 que vemos que el punto B pertenece al conjunto X- Q

A

Fig, 32.

La demostracion 1) se realiza de forma analoga. La recta considerada se compone por los pun las de la forma (4.\ donde s es un numero arbitrario, Per eso las desigualdades (5) son validas para cualquier valor dey. De ello se deduce que. en cada una de estas desigualdades, el cceficiente surnano de s debe igualarse a cera, es decir,

alXn + b\Y8 = 0, alXll + b2Yll = 0,

amxlI + bmYll = O.

Par 10 tanto, BE:t. El lema queda dernostrado

40

Facitmentevemos que Jos lemas 1 y 2 sou validos para sistemas con, cualquier nUmero de lncQgnitas.

2°. Caso. en que el sistema de desiguaidades (1) es tIOrmi:Jf.

Examinemos nuevameate el sistema de desigualdades (1') y su sistema correspondiente de ecuaclones hornogeneas (3~ Este ul1imo sistema tiene solucion evldtnt~ x = 0, y = O. Esta solueien se llama mila. Para jn;yesti_gar .elsistema (1) resulta importantesaber si el sistema (3) tiene tambien soluciones no -aulas. Con este fin IntroducirnosIa siguiente,

DEFINICIC:iN Un ststema de desigu(rldades lineales se llama normal si 511 respectiio sistema de ec~aciones lineales y homogeneas tlene solamente so!uc!cmnu}a.

En etras palabras, un sistema de desigualdades es normal. 51 el conjunto .!?, determinado anteriormente, siendo region de solnciones de! correspondlente sistema homogeneo de ecuaciones, contiene solamente un punto (el origen de las coordenadas).

8st! clare que el concepto de sistema normal conserva su sentido para cualquier aumero de incognitas,

No es dificil demostrat que un sistema compatible de desiquoldades es normai ei, y solo si, lareqiim de sus soluciones :t( no cQntiene ili una recta.

Efectivamente, sl el sistema es normal, 0 sea, el conjunto !l' contiene 5610 el origen de las coordenadas, entonces la region .:Ii" no contiene rectas: esto se deduce Inmediatamenre de la segunda afirmacion del lema 2, Cuando el sistema no es normal, el conjunto Y contiene, pDf lo men os, un punta B d iferen.te del origen de las coordenadas. Por .supuesto todos los puntos de la forma kB. siendo k un numero cualquiera, tambien perteneeen a 2"11<). Pero, en dicho caso, sea cual sea el punro P E;;t{'· (y un punto aSI forzosamente existe, puesto que eJ sistema es compatible y, por to tanto, la region ;j( no est a vacia), el conjunro de todos los puntas de [a forma P + kB (siendok un:oiunero cualquiera], segun el lema. 1, pertenece a j('. Esre conjunto, como es sabide, es - una linea recta, Entonees, en el caso, cuando e' sistema no eli normal. la region :£ contiene una recta. -Con esto queda demostrada, par complete, Iaafirmacicn subrayada enteriormenre

A eouiinuacion examinaremos la region de sol uciones del

,) Si los numeros x, Y. z, siendo coordenadas del plJfl10 B, satisfacenu un sistema homogeneo de ecuacicnesventonces los numeros -kx, J.:.v. kz; siendo eoordenadas de! punta kB, tum bien satisfacen este sisreme.

4\

s,i:~tema (l) -su poruendo que este 51,S tema escom pat ib le (la r.eglO'n jf" no esta, vacia] y normal.

Ante todo, particndo del heche que la regron )f no nene .rectas, deducimos que. esta region, tiene vertices obllgaiormmenfc. AiconceptQ'de veruce.le 'dani6~ el .siguiente sentldo"~0crctm0a !a "interpretacion int.ujtiva de. "'vertice'?).

"~rtke de, la regIon .;t se Nama el PUI1lQ dee .f5tq 'l'e:glqn ,que naeswunto interno 'con' respectt» a nmguI1 se,gme.nto situado totalmente en ;y(, En otras palabras, verfice es un punro A IE;)Y' el cual es. origen 0 extreme de cualquier segmento; piHteneCJenre a$;quepasa pot A(flg. 33, a. y b. siendo el punto II UI1Q de 'los ver:t'ices:; en Ia fig, ,33, bla regi6n,;t('" es unsegmenro).

A

'Fig, .J3~

E:,<:)J1.l.c arem os "on mas detalle, pprque'b region convexa X nene vertices. SIX yace en una recta) enronces es urr punta, un segmento 0 bien UII rayo y el contenido en ella 'de vertices es evidente .. Veamos los contornos'de a', cuandoesta region no yace en.' una recta .. En este case, :J/esla c0mptle~l.a poi' segrnentos y rayos [rectas cm:npteta:s g' no corrtiene). Es evidente vque e! extreme- de c.ualqJ..llCHI -de estes segmentosy- el-origcn de cuulqmcr

rayo seran losvertices de:ft - '

La determinacion de .Ios vertices de la rcgron Jf'n o represen I!! gran dificultad .. AritCloaoobservarernqs que la j~eslm'a. dejiigtl::i.lda:d delsistema (.0 euel plano de (;o'orqern~das xOycorresponde, !l' un semiplano, cuyafec-t-aCQnJi'n I, se determina ,par laecuacron

. '

:ai): + biY +- C, =0 (i = J, 2~ , " m)

Por 10 visto el punto Ad~ la regi6.l:l $. es VCl'tlCC .cn a~:ueJ, y s61:o ena_qu~l caso cuando pertenece a dos ,rectas confines dJXet:¢1)reS.

Acordtuemos Ilamar regula" cualquier subsistema de Bos e.clIa-

42

ciones del sistema

"lx+btY+Cj=O, } Q2X + b zy + CJ = 0,

w • ~ • • • • ~

am>: + b",y + em = 0,

con Ia condicion que este subsistema tenga solamente una solucion (x, y).

Por la caracterisnca dada anteriormente a los vertices se deduce el siguiente procedimiento para hallar los vertices de Is region :;("

Para hallar todos /oSl'ertiNs, es preciso hallar la soluclon de todos lo.~ subsistemas requtares del sistema (6) y eleqir aquellas soluciones que satisface« el sislem.a illit;ia{ (1),

Como quiera que el numero de subsistemas regulares no supera C;, (num~ro de combinaclones de orden 2 de. m elementos), entonees el numero de vertices de la region j{' tampoco puede ser superior. 0 sea, el numero de vertices es [inito,

OBSERVAClON De 10 dicho ianteriormente se deduce que si la region :J(" de soluciones de un sistema normal no tiene ni un solo vertice, entonces esta region esta vacia y el sistema no tiene soluciones (es incompatible).

EJEMI'LO J Halla!" todos los vertices de la region X, determi-

nada por el sistema de desigualdades

x + J' + 1 ,,0. } x -2y ~ 2';:;: 0,

2x - y - 4 ~O,

(6)

Resolviendo los subsisremas

x + y + .1= 0, } x + y + 1 = 0, 1 x .. - 1y - 2 = O. }

x - 2y - 2. = 0, 2x - y - 4 = 0, J 2x. - J.-' - 4 = O.

(todosellos resultan regulates), hallamos tres puntos.

(0, - J). (t, - 2}, (2. O),

de los cuales :>010 el segundo y tercero satrsfacen a todas las desigualdades dndas, Entonces, vertices de [3 region % son los puntos

A1(t, -2) v A212, rn

t'

43

Yohamosal sistema (:11_ Scan

At. A'll" AI"

todos los vertices de la region Jf', E! conjunto (A hAl, ' " AI"> es capsula convexa del SiStema de puntos A l' A2, - ., AI". que tambien pertenece a x', puesto que S' eseapsula convexa. Pero entonces.rsegun el lerna L tambien el conjunto

(A), A~, _", A,,)+Jfu

perteneee a ;;t", Demostraremos que csta surna, de hecno. coincide 'can ,.:if:, es decir que C8 valido el siguiente

T!fOKE.M .... SL UlJ sistema 4e desl.qualdades ItS nOl'l1I<ll" I'nl'ollce.~

(1,).

sienifo· A b A l, "_, AI" todas los tertices de fa region X , DEMOSTItACI0'N Sea P un punro arbitrario de la region X' diferente de los vernces de esra region, La recta A I P corta la region convexa ,;t', 0 bien po r un segmenio A! A (fIg, 34), 0 bien par

-

A,

Fig, 34.

Fill, 35.

00 rayo, cuyo. origen es Al (fig, ]5) En 61 segundo case P - A 'L ,E X' 0 (lema Z'I por 10 tanto P € A J + X Q En e.l primer caso reflcxionamos asi: Sl el pumo It yace ell III ansta hmitada ArAj de Is region y( '(como en Ja fig, 34), entonces P pertenece a, la capsula can vexa de pun 108 A j. A /< Ai; st es que. d punto A Y3:C¢ en la arista ilnrutada con ciri'gen en el venice A i {fig. 361 entonces, segun eI lema L tenernos qUI;: A ~ Ai + Jf !h Y poi 10 tanto Pe<Aj, A,;> ... jf t" ASI, pues, en todos los casos el punta. P

44

resulta pertenecien te a 1 conjunto <A" A l' •. -, A,> + :I( o- El' teorema queda dernostrado.

PueSIO que e! proeedimiento de hallar los vertices has es ya conocido, para una descripcion completa de la region f queda solamente por saber como hallar la region :;( 0' Esta Ultima representa Una region de soluciones del sistema normal y homo-

genco (2). Pasernos a su descripcion, -

l;ig,36.

3". Sistemade deslgualdade~ normal _II }JOmoyeneo (.2), Cada una de las desigualdades (2) deterrnina un sernipJano,cuya recta confln rasa por cl origen de las coordenadas La parte cornun de estos

semiplanoses .)( 0' .

En csre caso, entre las. rectas confines hay por 10 menos dos ditcrentes riel sistema (2) es normal'], POf consiguiente, :it o-

o bien coincide coo cl ongen de las coordenadas (x = 0, y = 0),

o es un rayocon su vertiee en el origen de las eoordenadas,

o bien representa cieno angulo, mcnor que 180~. con el vertice en cl ortgen de lascoordenadas. Conociendo dos puntas B, y Bl, yacrentes en disrmtos lades de este angulo (fig. J7), todos los demas punios de- dicho angulo seexpresan de 111 forma

B =IIBI + t1H2• (8)

siendo I j Y 12 numeros arbitranos no neganvos. Hallar los puntos B1 'y Bl no es dificil, si se nene ericuenta quecada uno de ellos: a ) pertenece a $' o. es decir, sa tisface el 'sistema (2), y b) yaceen el contorno de %0, es decir, satisface a una de las ecuaciones (3). Si $- 0) es .un rayo, entonces en lugar de (8)

45

tenemos

(9)

siendo BI eualquier punto de este rayo [diferente de su origen) y. t un numero arbitrario no negative,

EJEMPLO 2 Hallar la regioa .J{( 0 de solcciones del sistema

x + y ~O. } :t - 2}' ~O,

2x-y~O.

(10)

y tambien la region .;t- de soluciones del. sistema dado en el ejernplo L.

o

f'ig. 31.

RESQlUCH~lN "£1 sistema (10) es normal: la unica

sistema. homogeneo de ecuaeiones correspondiente

x+y=O, }

x-2v = O.

lx - J = 0,

solucion del

(II)

es (0, 0).

Elijamos uupunto oualquiera que sausfaga la pnmera de las ecuaciones (Ll] [pero diferente de (0, 0)]. por ejernplo, el punto C (- 1. 1). Una simple ccmprobaeioo nos convence de que el punto C satisface no todas las desigualdades (10), por consiguieme, ni esre, ni otro punto cualquiera del rayo OC (difcrcnte del origcn 0) pertenece a .%0' Examinando el punto - C, res decir, eI punte O. -1)] hallarnos que este pertenece a ~ e- 0 sea,

46

B I = (I, - n El punlo (2, 1) sansface la segunda ecuacron ; este punro rambien es solucion del sistema (lO)' por to tanto Bl: = (2, n La regu;mJf;, esta compuesta por los puntos (fig. 38)

flBL + fLB, = 110, - IJ + '2 {2, !J = (I, + 2t~, ~!I + 12). siendo r I y t 2 n umeros a rbitrarios no nega IJ vos,

y

• 'ig. 38.

y

o

Fig. 39 .

Dirigiendonos aL sistema de desigualdades dado en el ejemplo 1, observamos gueel sistema homogeneo de desigualdades correspondiente a el es, precisamente, (10), Par el teorema demostrado anteriormente, tenemos

Jf = (AI' Az> +.if 0.

donde A I (!, ~ 2) Y .4 z (2, 0) son vertices de la region ::;Ii. Asi pues • .:;( esta formada par los puntos (fig, 39).

s(l. -2) + (1 - .~J(2. 0) + III + 212, -(j + '2) =

= (2 ~ s + t I + 2t 2, - 2.~ - t I + r 2), siendo s cualquier numero del intervale [0, 1] Y tj, 1.2 cualesquiera numeros no neganvos.

I:Jf:\U'LO J Hallar la region de soluciones del sistema

2x - y?- 0, }

-4x + 2y:?- 0,

"( + y?- O. ,

Procedendo 10 rmsmo que en el ejemplo 2, hallamos solamente

47

un rayo:

B = I (I, 2) = (r, 2t), (I?- 0),

(fig. 40).

'SJEMJ>I.O 4. Hallar la region de soluciones del sistema

2x - Y?- O'}'

x + y?- 0,

-3x+ y?- O.

En este caso ninguna de las ecuaciones 2x- y =0, x + y = 0, -)'x+y=O,

tiene soluciones [exc.epto (0, 0)] que satisfagan todas las desigualdades dadas, La' region ,j( ~ esta cornpuesta por un punto CO, 0)

que es el ongen de las coordenadas. '

J

x

o

Fig. 40.

40 Caso cluUldo el sistema de desi{}tlaldades {O rto es normal.

Esto significa que La mgion de soluciones :t del sistema. homegeneo de ecuaciones (3), contiene no s610 el origen de las coordcnadas, Pot 1q tanto, todaslas ecuaciones (3) determinan en un plano una misma recta. y esta recta es It,

Conforme al lema L Ia region :>e- contrene, Junto con carla uno de sus puntos P, la recta. P +!I (recta que pasa por P paralelamente a !t. Veamos cualquiei recta ;-'T no paralela H fl. CorJQ.

48

ciendo que puntas de In recta .'Y" pertenecen a Ja region :X [designaremos val conjunto de estes puntos por dt F)' podemos hallar la propra region .:Yf. puesto que entonces % = :;to or + !f (fig. 40.

La ecuacion de la recta Yes aJX + bl}' = O. En esta eeuacion uno de los coeficientesv n, 0 hi es diferente de cero: sea, por

,Fig. 41.

ejernplo, /;1 'I' O. Entonces encalidad de recta .Y. no para lela a fl, se puede tornar eI etc y {su -ecuacion es, .x = 0), En este caso el conjunto Jf 9 (designemoslo ahora por :t) es parte del eje y situado dentro de X. Para hallar este conjunto se debe conslderar en el sistema (1) que- x = 0, Enronces tendrernos el sistema de desigualdades

b I}' + t' I ~ O. }

bzy + c~ .~. O.

(12)

bmy ~ c~; 0, .

(Jon una mcogmta y, cuya resolucion no presenta dificultad .'1,

--------_-_ .

• ' Observarernos que el srsterna (12), considerado como un Sistema de desrgualdades con una incognita, sera ya normal Pues, de 10 contrano, el sistema homogeneo correspondienre a el tendra solucion nula y", j- entonces el sistema (3,1 rendra solucion (0; ,.*) no pertenectente a !I

49

Observaremos que el conjunto .JIl;, puede ser un conjunto vacio [entonces :ff tambien esta vacio], un punto, un segmento 0 un rayo (pero no de todo el eje y pues de 10 contrario :K es todo el plano, cosa irnposible], Hallando este conjunto, detcnninarnos Ia region .:i:, ya que

(13)

[si !l no es paralelaul eje y),

EJEMrLO s Hallar 10;1, region df' de soluciones del sistema

x + y - l ~ 0, }

-x - y + 2~ O~

2x +2v + 3 ~ 0_

Es facil ver que este sistema no es normal y que !! es una recta x+ y = 0,

(no para lela al eje y) suponiendo que x = O. obtenemos el sistema y - 1 ~O. }

-y+2~0,

2y + 3 ~ 0,

por eJ cual se ve que ,:It'v' tmerseccion de .)(' can el eje Yo es un segmenro con Los extremes C1 (O 1) y CJ,(O, 2). Es decir, f es un conjunto de puntas de la forma (fig. 42)

(6, y) + (x. -x) = (x, )'- x),

siendo x numero arbitrario, e y cualquier nurnero en el intervalo de I a 2.

Para fmallzar nos detendremos b(evemente en un teorema, el ella I se derive de los resultados obtenidos anteriormente. En el caso bidimensional que analizamos ahora (es decir, cnando todo transcurre en un plano) este teorema no causa gran irrrpresion, y 10 mas justo seria considerarlo -como punto de partida pard generalizar en el caso "a-dunensional", Este ultimo se analiza en el parraro 7.

TEOR£MA CualqlJier (no vacl(J) region poligonal conl'ex:a, J(" ell 1111 plano puede ser represenr"da en fonma de SitmQ

<A~, A~l' .'" Ap)+(B11 Bz, "" 8q). (14)

El primer sumando de esta suma es una capsula rconvexa de clerto sistema de puntos AL> A" ,., AI': eI segundo, un conjunio de -pun Ins de In forma .f1B1+llBl+ .. +1,8q• siendo I» 12' ,_, I. numeros arbrtranos 00 negatrvos.

-1-225

so

La demostraclon de este teorema puede dane en unas palabras.

Ve:amosel sistema de desigualdades que determma a.;£:, Si este sistema es. normal, se cumple la ¢:cuaCion (7);teniendo en cuenta .que, 'en esta ecuacion, ~Q es uno de los conjuntos de Ia forma (81) B.l~ (Bd I) (0) (erigen de coordenadas), hallamos que, en, el easo, cuando el sistema es normal" nue:straa,firmaci60 es valida, Cuando el sistema no CiS normal, se cumple la ecuacien (13) de Iii. cual tambien se deducela determinecion de ;r en Il' forma necesana (l~por que?).

Fig. 41.

A.,.

o Fig. 43.

Observaremos, que si todos los pUD,tos AI> Al, .. '" Ap coincidencon el origen de las ceordenadas O,enlonces tambien el comunto (Aj, A2, ... , Ap) coincide+con 0. Enesti:: case, de, Ia suma (L4) tjuedara solamente el segundosumando. En el elISO cuando .los ,puntos -B,. 82, . , .. ... ,8« coinciden con 0, .el conjunto (BI' 82,;, •• , B,) lambien Coincide con O' y de la suma (14) quedara solarnente et primer sumando,

E.lleorema reciproco laptbiCnse cumple, si bien. con cierta ot;jed6n.

TEOREMA. CU<1lquler .conjr.mto de 10 JOfTI'W

(AI, A1 •.•• , A,,) + (B\, 8.1, ..• , Bq),

en ua plano, es todo el plano, 0 bien cle~taregi6n poligonal uonvexa

en dicho plano; .

La demostracioa ell 10 suliciente ,evidente. EI segundo .sumando, es decir, Ill, region.:K 0 = (8\, Bl, ...• B,l es bien todo el plano, bien un semiplano, un angUiq (menor que 180°), unrayo, 0 un punto (origen de las coerdenadas], El primer sumando Jf' I = (.4 I, ~'l' "', A,> representa cierto polfgono convexo. Elconjunto :;(" I +:.r 0 puede: obtenerse mediante traslaciones 'paralelas de :Jt'fja lossegmc:mos OK I (sie.ndo Kl

51

cualquier punto de J(" d y tomando Is union de los ccnjumos obtemdos (fig. 43~ No es dificil comprobar que, de ta] forma, se obtiene todo el plano (asi sera siendo :;r'(J todo el piano). 0 bien cierta region poligonal convexa en dicho plano.

§ 6. REGION DE SOLUCIONES

DE UN SISTEMA CON TRES INCOGNITAS

Despues de un minucioso analisis, dado en el parrafo anterior. al analiza:r ahora sistemas con 1 rea incognitas, podemos reducir al minima Ia teoria indispensable.

Junto con el sistema inicial

~l~ +. bt.Y ~ C.lZ ~ ": }

a,.x + b,..y + r:: ... z + d.., ~ O.

(I)

de nuevo, 10 mismo que en el parrafo 5, examinaremos dos sistemas:

~l~ +. b1•Y ~ elz ~ O,_ }

a .. x + b",y + C",Z ;:?: 0 .

(2)

y

"~ + b:Y + c" ~o, }

U",-x + b""y + C ... 1I = 0

('3)

Designaremos nuevamente la region de soluciones del sistema (I) por :f[. la del sistema (2), por ;j( 0 Y 13 del sistema (3). por !t. Utilizando la terminologia acordada anterlormente, se puede decir que Yr representa cierta region poliedrica convexa en el espacio y :ff 0. un conn poliedro convexo, Los lemas t y 2 del parrafo 5. como: ya indicabamos, eonservan su validez lambi.en aqui.

10. Caso en que e1 sistema de desigua ldades (I) es normal.

En este caso la region :f{' no contiene .rectasy, por 10 tanto, tiene, por 10 menos, un vertice, Efectivamente, si X- yace en un plano (cosa posible conforme se .indica en el parrafo 2), entonces

~.

52

:Y{" es una region poligonal convexa sin rectassituadaen dicho plano y, por eso, conforme se explica en elreparto 2° del parrafo S. obligatoriamente tiene que tener vertices. Veamos los contomos de la region ,:1(' cuando est a no yace en un plano. Diehos contornos estan forrnados par caras planas, cada -una de las cuales, siendo region poligonal convexa q lie no contiene rectas, tiene que tenet vertice, Ahara bien, no es difieil ver que el vertice de cualquier cara es, a1 mismo tiempo, venice de la region .)f".

En cada vertice A de la region ,'f' convergen, por ]0 .rnenos, Ires pianos confines. para 195 coates el punto Aes el unico punto comun. En efecro, de no ser asi, todos los pianos confines que pasan por Atendrim que coindicir 0 tener una recta comun, Pero entonces un segmento 10 suficientemente pequefio, que este situado en el plano - cornun confin 0 en Ia recta comun conlin, pertenecera a x; 10 que contra dice a la definicion del venice,

La acabado de exponer nos obliga a inscribir moditicaoiones evidentes en el procedimiento de hallazgo de los vertices, descrito en el punto r del parrafo 5. A saber, subsistema regular ahora deberernos llamar, no al subsistema de dos, sino de tres ecuaciones del sistema siguiente,

a,x + b,V + ':Z + d, ~ 0, }

a .. x + b",y + C",Z + dm = 0, _

(4)

con la condlcicn de que la solucion [x, y,z) de este subsistema es (mica. Siendo esta la interpretacion de subsisrema regular, el procedimiento para hallar los vertices se conserve cxactarnente el mlsmo que antes, concretamente:

Para hailar todos los vertices de la regir;m % es prectso hallar las soluciones de todos los subsistemas requlares del sistema (4) y eleqir aque/las soluciones que satisfacen e! sistema inictal (1).

Tambien conserve so Iuerza el teorema tratado en el punto 2° del parrafo 5: ~as rnodificaciones que se deben mtroducir en 11:1 demostracion de dicho teorema, son evidentes, Conserve su validez tambien la observacion de que un sistema norma! no tiene soluciones cuando la region .:r no posee vertices.

EJEMPlO j. Hallar los vertices de la region:£, determinada por el sistema de desigualdsdes

53

2x -I- Y + z - J ~ 0,) x + 2y+z-1 ;'0,

x + y + 2z - I ~ 0,

.x+y+z-l ~O, En este easo el correspondiente sistema crones tiene la forma

(5)

homogeneo de ecua-

1> + Y +, Z= 0, )

x + 2y + z= 0,

x + y +22' = 0, . x + y.+z =0.

Resolviendo esie sistema, hallamos que Ja unica solocion es (0, 0, 0); el sistema (S)cs normal,

Para hallar los: vertices tendremos que examiner lodos I.o's

posibles subsistemas de Ires ecuaciones de! sistema (4);

2> + v + z -, 1 = 0., } 2x + y + , - 1 ~ 0, }'

x + ly + z - I ='0, x + 2y + z- - i = 0,

x+y+2z-1 =0: x+y 2-) =0:

Q.x + y + z - 1 = o.} x + 2y + t - I = O. }

x + y + 2z - I = 0, .:( + )' + _2 - 1 = 0,

:<-+ y + ;:: - 1 =O~ x + y + ~ - I = O.

Realizandc los calculosllecesarios, hallamos que. todos los subsistemas Son regula res y- que sus soluciones son los punros

(~. +, -}). (0. 0, 0, (0, I, O. (I. Q. 0).

entre las cuales la primera no satisface cI siS_lema (5), rrnentras que (as Ires resumtes 51 10 satisfacen, Por 10 tanto. vertices de la region :fl' son;

A I (I. O. 0), A 2 (0. I. 0), A J (0, 0, 1).

2(. SiSfema normal y }lOmogelleo de de~j1(JrlQldade.y (2), Cads uno de lots 'desigualdades(2) detormina un sernicspacio, euyo plane :conflno limite pasa por el origen de las coordenadas,

En esre caso 13 interseccien de los planes conflrres es un unlco pun to, el origen de las coordenadas [icl sistema (2J es normall],

:54

EnOI_fOS terminos, el conjunto :r 0, siendo region desoluciones del sistema (2), representalJll cono poliedro convexo con un I'm/co vertice, Por Ia ienumeracion de CODaS poliedros convexos dada en el 'p:irrafo 4.se deduce que, en nuestro easo, ,:II'Des o una piramide convexa Himitada 0 bien un angulo plano; unrayo 0, fmalmente. up punto (oxigen de, Iaseoordenadas]. Este ~Itimo caso 10 dejarernos de momento a un lado. En todos los rdernas casos jendremos:

j(' I> '=(:8" H2_, ... , B,),

siendo 81" 82, •• " 84 cua.I,esquiera, puntas_ - uno :por cada arista - del cono Jfl o (veaseel teorema 2, parra(04)._ Estes puntos se pueden hallar partiendo de las siguientes condiciones, Cada uno de ellos: a) pertenece a jf' 0, es decir, satisTacx:el sistema (1) y b) pertenece a la linea de interseccion de, dos caras disrintas, es decir, satisface dosecuaciones no proporcionales 'Id del sistema (3),

Si resulta que el .nnico punto que satisface las condiciones a) '1 b) es(O, 0, O),entoDces Ia region ::It 0 coincide correl origen de las coordenadas,

EJEMPLO .2, Hallar laregi6n$(J de seluciones del sistema

2x+y+z~O.

X + ly ... z ~ 0, .}'(6) iX-+.l! + 2z;':'0,

x+y+z~O,

Y,a continuaeion, ia region % de sotuciones del sistema -dade en el ejemplo L

Observaremos, ante todo, que el sistema (6~eSct~ relacronado con ~ sistema de desigualdades (5), dado en el ejemplo L; a saber, (6) easistema homogeneo cortespondiente a (5}. Por ,10' tantocel sistema (6) es normal.

En dicho easo, .un sistema de dos eeuaciones 'no proporeionales sepllede componer porseis modes. distinros:

x + 2y + z =0, }' - 2>;; + y +z = ,0.. }.... 2\: + y + z = 0, }' x + v + 2z= _Q~ . x + y + 2z ."" 0; X + y + z·"" 0; ,

ij,J Lasecuaeiones ax + by + cz =0 yo',,- + b'JI + c'~= =0 51: llaman "no proporcion.a.les",si no S,C cumple fan solo una de las

a b ('

ioualdades ~_-==; -= -- en estecaso los pianos J~~ti\>'os se cortan

Q -a' If i:'"

pOoT 'una recta,

55

2x + V + z = O,} x:+ 2v + z = O.} .x + y + 2z = 0, }

x + 2y + z = 0; x + y + z = 0; x + y + z = O.

Para carla' uno de estes seis sistemas elegirnos dos soluciones no nulas: (x, ;V, z) 'j (- x, - y, - z). Por ejemplo, para el primer sistema se puede tomar (3, -t, -I) Y (- 3, I, 1); las desigualdades (6) satisfacen unicamente la prlmera de estas soluciones. De aqui obtenemos el PUI)i:o BI = (3, -I, -l), Procediendo 10 mismo COh los otros cinco sistemas, hallam as los puntos Bz = =( - I, 3, -1') y B3 = (-1, -1, 3), 0 sea, 13 region X-.o esta compuesta par los puntos de la forma

IJB) +t2Bz +t3B3 =

= (3t1 - 12 - fl. -t1 + 312 ~ f3, -'(1 - 12 + 3(3), siendo ill t2, ts numeros arbitrarios no negatives,

Veamos ahara el sistema de desigua.ldades(~) del ejemplo l, EJ sistema bomogeneo correspondiente a el, como ya indicabamos, es precisamente (6). Por consiguiente, 11:1 region .::r tiene 13 forma

,(A], Az• A~) + .)(' D.

Y esta compuesta por los puntos

sl'4.l + SaA2 +~s3A3 + tl,~1 + £2B'2 + 13B') =

=31.(1.0, O)+S2(O, I, 0)+53(0, O~ l)+]:IP, -1, -1)+ +(1.(-1,3, -l)+13(,-1, -1, 3)=(;S1+311~r'2-13.

52 - [I + 3£2 - ll' S3 - il - L2 + 3h).

donde (1) 1.2• t3 son numeros arbitrarios no negatives y 51> S.2, S3. numeros no negatives; (luya suma es igual a, L

3°, Coso en que e! ,sisten14 de desig,uald.(ldes (I) no es normal, Esto significa que la regt6n de soluciones !i' del sistema hornogeneo de ecuaeiones (3), contiene puntas diferentes del otigen de las coordenadas. Como 5fse preseI)ta como una intersecciende planes, entonces son posibles dos casos:

1. Yes una. tecta, Conforme aJ lema I, la region X' junto con cada uno de sus puntos P, contiene la recta P + :t. Examinemos cualquier 'plano ,'7 00 paralelo a !t, Conociendo que puntos del plano :Y pertenecen a 18 region :£ [designamos al conjunto de die has puntos pOT :Il",,), se puede hallar Ia propia region :I{' y { que entonces :tf = JI'y + !t.

56

Pero sea coal scala reeta ft. en calidad de plano !T DO. paraleloa ella. siempre puede eligirse uno de los pianos de ceordenadas ;COY1 xOz 0. yO;:, Supoagamos, pOl' ejemplo •. que .!l noes pa.raleIa al plano yOz. Tomamos este pfunopor .fT. En este caso ·el conjuato ;it".r .(designemoslo_ ahora pot ;;f" M) ea una part.e del plano :vO:, .inclUidaen y( (fig, 44). Para halla'este ·conjunto debemos considerar en el sistema (1), x = O .. Entonces obtenernos el sistema de desigualdades·)

b'.Y ~ C.IZ ~ ~J ~ 0,, } (7)

b",y + c",Z + c: ~-O,

el CU111 puede resolverse pOT el procedimientn expuesto en el parrafo 5,

2,'

y

Fig. 44.

Una vex hallado el conjunto jf" y,J> podemos cscribir

:t"= K ~'. % 4- f! (8)

(si la .reeta !1' no. es parateia al plano yOz), 10 que da una descripcion complete de Ia region $'-.

Observacion, oSi resultaque el co.DjllJlto,XJ;I estavaeio, entonees tambien :If' est a vacia.Esto significa que el sistema (It es incomplltible.

.1 Elslslema(7).c-ott).o no ~s diIiciJ: ver, sera ya norIDa I (vease 1;3, r1Qfaarriilosa en la pig" 48).

57

EJEMPLO 3 Hallar Ia region J(' de soluciones del sistema

-2x +. Y+ Z.- L :;:::'O'}'

-3x - y + 4z - I ~ O.

- x - 2y + 3% ;;,. O. _

Veamos eJ correspondiente sistema homogeneo de ecuaciones -2x + v + t = o, }

- 3X - y - 4z = 0, . (LO)

--x- 2-y + 3::: =0.

{9J

Resolviendo este sistema hallamos que Iii tercer ecuacion es consecuencla de las dos jirimeras, 0 sea el sistema, se reduce a las dos primeras ecuaciones, EI conjunto !I de solueiones de este sistema es una recta, Wf la cual se cortan los planes

- 2x + y + 2 "" O.

y

- 3x - Y + 4::: = O.

Elijamos un punto cualquiera B .en la recta. ,ft diferente del origende las coordenadas, Para ello, basta can halJar ires numeros cualesquiera XI j!, z (no iguales a cero al mismo tiempo], que satisfagan las dos prirneras ecuacienes del sistema (f0). Tomarnos, por ejemplo, I, I, \. 0 'sea, i"es una recta 'DB en la que 8 = ,,;,; (1, i, 1).

Bs raei] ves que Is recta !f noes panileJa1Por ejempJo,ai plano de eoordenadas yOz. Suponiendo en el sistema (9) .x = O. obtenemos el sistema normal

y + z - I ~O. } - y + 4: - l ~ 0, '.

-2y + 3" ;;?; 0,

con dos incognitas yy z. La, region de sus soluciones .:r f, r lie puede hallar PDf el procedimiento e;wuesto en el parrafo 5, Realizando los calculos precisos, hallamos que jf' Y.' es un conjunto

compuesro por un punto. Af~' ;) (en el plano yOz). Por 10 tanto, la region 'buscada :f" esta compuesta por rodos los pontes

58

de la fOlDla

A + IB = (0. ~, ~) + 1 (1, It J) = (t, ~ + t. ~ + 1}

siendo ( cualqurernumero no negative (Ia region.X' es una recta paraleta a :I.

2. !l' es un plano. Entonces en ealidad de conjunto secante ff tomamos cualquier recta no paralela a. esre plano; por ejemplo, se puede tamar uno de los ejes de coordenadas. Supongamos que el eje z no es paralelo a !f: tomarnosle POT, ,'r, Para hallar el conjunto :if'1I parte ;del~Je z, incluido en x , debemos considerar en el sistema (l), x = 0 e y = O. Ernonces obtenemos el sistema de desigualdades

('~ ~d~ ~ O".}

t.',,;z + dm ~ Q

que se resuelve sin .gran trabajo .u. Despues de hallar'el conjunto :f('~, podemos escribir {fig. 4S)

:1(' =:f(' • + q, (l2)

(si el plano l' no es paralelo al eje z), 10 que da una descripcion complete de .YC.

OBSJ;:RVACION. Si el conjunto :If, resulta vacio, entonces ,x" tambien esra vacio, Eo este caso, el sistema (_1) es incompatible.

EJEMPLU 4. Hallar la region :If de soluciones del sistema

x - y +z -i- 1 ~ 0, }

(0) - x + )' - z + 2 ~ O.

(11 )

En el caso dado, el respective sistema homogeneo de ecuaclones tienc la forma

x- s + z= 0., } -x+y-z=o_

(14)

A:qui la segunda ecuacion, ,?S consecuencia de la primera, por eso, la region de solueiones del sistema (14) es. el plano !/, deterrninado por la ecuacron.

x- j+z= 0;

.. , EI sistema (11) es normal

Es Iacil ver que esre plano corta el eje .z solamente en UIL punto y, por 10 tanto; noes patalelo' 211 eje z, Hallemos :eJ conjunto $" s.

Suponiendo en el sistema (13) x= 0 e y = O,obtenemo$ el. sistema

t+i,:i;;O,}' - z + 2*'0,.,'

del eual se dcd.uce que

(l51

As! pues, X es el conjunto :r ~ + ft,compuesto por p_un,los de la forma (9, 0, :0) + (x, y, - x -+ Yl= (Xl Y, z - x + p), donde x e y son nom~ros arbitrarios yzsatisface las desigualdades (15).

y

Para fir:tal.iza,r este parlatO. (on'ri.uJaremos dos teoremas qlle sort Iii generalizacion de los. des 6i~imo" teorernas dados en el parrafo 5 para elcaso tridnnensibnal, Paraeno, Iii IIriilUl modfficacion prec is;! en Iii formulacion de los teeremas mencionsdos del parrafo'S consisieen $tls_tituir la piJ.!abra' "plano" P9r "espacio";

'TEOREMA. Cualquie~ reguJn. poliedrica convexat no 1'(","/Q) en ei espaoio puer1e; se .. representada en jdr;,1iJ. d_e slt_ma

(A l' Al, ... ,AI» + (Bt. .Hz •• " .'" Bq).

TEOREMA. Cmllqllier conj)Jnro ,tie la forma

(A h A2 •. " •• ,. ApJ+ (;BJ, 82" , .. , .Bq)

60

en el espacto es 0 coda iii espacio, 0 hien cierI a region CDllwxa y po!iedrica

en el. .

Las demostraciones de estos dos teorernas son casi identicas a. las dernostraciones de los respectivos ieoremas para caso bidimensional. Concedemos al lector la reahzacion detallada de estas demostraciones.

.~ 7. SISTEMAS DE DESIGUALDADES LINEALES CON CUALQUIER NUMERO DE INCOGNIThS

En los parrafos anteriores hemos concentrado nuestra atenci6n en los sistemas de desigualdades con dos 0 tres incognitas. Esto principalmente es debido ados circunstancias: en primer lugar, por el hecho de que la investigacion de estos sistemas no es complicada y est a totalmente dentro de los margenes de las maternaticas "escolares": en segundo (en este caso es un hecho mas importante], porque las soluciones de estos sistemas tienen un sentido geometrico evidente (puntas en un plano 0 en el espacio). No obstante, tienen mayor aplicacion (por ejernplo, en cuestiones de programacron lineal) sistemas de desigualdades con un numero de incognitas n> 3. Pasarlas de largo seria empobrecer considerablernente la exposicion del tema. Por eso, procuraremos aunque sea en forma breve, dar algunas explicaciones para cuallquier caso cuando n > 3.

Para dar una interpretacion geometrica a los sistemas de desigualdades lineales con n incognitas es preciso referirse al llarnado espacio n-dimensional.

Comenzaremos por dar una definicion a los respectivos conceptos, 51 bien limitandonos a 10 mas indispensable.

Conforme a In definicion, un. punro en un espaCio n-dimensional esta deterrnmado por el conjunto ordenado de n numeros

Xj, );2, . + +, Xli'

llamados coordenadas de dicho punto. EI motivo para semejante definicion radica en un hecho fundamental de la geornetria analitica, conforme al cual, un puntoen un plano se caracteriza por dos numeros, rnientras que en el espacio, por tres. En 10 sucesivo en lugar de 1a frase "el punta M tiene las coordenadas x j, X2, " . "" x.", nos limitaremos a la expresion M;:: (Xl>:h, ... , xn) o sirnplemente M (Xl, X2, ... , Xn). EI punta (0, O •. , .. 0) se llama oriqen de las coordenadas, 0 sirnplemente oriqen.

61

En primer lugar.iexplicaremos que se comprende por "segmento' en un especio n-dimeesicnal. SeguneJ pirraro 1, en un espacio ordinario, el segmenro M 1 M '2 puede ser caracterizado como conjunto. de todos los puntos de La forma

's{M. + s2M2.

donde SI Y S2 son dos nurneros rio negatives cualesquiera, cuya suma es igual a. 1. Pasando del espacio tridimensional al espacio n-dimensional, adrnitimos dicha caracteristica pot deftnic.iim de segmento. Mas exacto, sean

M'(" 'j

xi> X2. - .• , x"

Y

dos punros arbitrarios en un espacio n-dimensional. Entonces el segmento M'M,j se llama conjunto de todos los punto« de fa forma

s'M' +.$" M" = (s'x', + s"xr, S'X'2 + S"X~, ••• , s'x~ + s"x_~). (1) siendo s' y s" dos cualesquiera numeros no negatives, cuya suma es 1. Siendo s' = I Y s" = 0 obtenemos el punto M'y siendo Si = 0 y 09" = 1. eJ punto M", 0 sea, los extremes del segmenro M'M", Los demas puntos (se obtienen siendo s' > 0 Y 5"> 0) se llaman puntas internos del segmento,

Entre otros "Concept os, references al espacio a-dimensional, nos sera necesario elconcepto de plano hiperbohco 0 hiperpiano. Este es la generalizacion del concepto de plano en un espacio tridimensional ordinaria. EI prefijo "hiper" tiene aqui un sentido eompletamente determinado. Y es que en un espacio n-dimensional puede haher "planos" de diferentes tipos: unidimensionales (llamados "lineas reetas"], bidimensionales, etc. X> Iinalmcnte, "pianos" {n - 1 j-ditnensionales ~ estos ultimos lIevan el nombre de "hiperplanes",

DEFrNICION. H iperplano en un espacio n-dimensional se I/amael coniunto de puntos M (XI' X2, .• " xn), cuya$ coordenadas satisfacen Ia ecuacicl1I de primer qrado

(2)

en fa ella I. por 10 menos uno de. Ios mimeros, all al, .," an (coeflcientes de las incognitas). I?I:i diferente de (era. Cuando n = 3 la ecuacion (2) torna la forma QtXt + aZx2_ + a3xl + h = O. que es, senplemente. la forma de la ecuacion de un plano en un espacio ordinario, (en el cual las coordenadas se designan porxj, X2, X3 Y no por x, y. z como es habitual],

Con relacion al hipcrplano (2) redo ,eJ espacio n-dimensional

62

se divide en dos partes: region en 1a que se cum pie 1a desigualdad

a]-xi + G1X2 + .,. + GnXn + b~ 0" Y region en Ia que

alx\ + alXZ +- ... + anX~ +b,,;:; o.

(3)

(4)

Estastegionesse llaman semiespacios. Asi, pues.vcada hiperp1ano divide todo elespacio endos semiespacios, para los cuales, este

hiperplano es partecomun, ,

El concepto de cuerpo convexo tambien se generaliza en el easo n-dimensional. Un conjunto de puntos, eri un espacio n-dimensional, se llama convexo, si junto con dos cualesquiera de SU& puntas M' y M" contiene tam bien todo el. .segmento

M'M'''.,

No es dificil demonstrar que cualquier semiespacio lis un conjunto torHfexo.·Efedivamente, supongamos que los puntas M' (x;:, '.', x~) '/ M" (x';; xz, ... , x~) pertenecen alsermespacio (3). Demostremos vque cualquier punto M ene! segmento !vI'M" tambien pertenece a este semiespacio,

Las coordenadas del punta M se expresan .de 1a forma

(I) 0, que es 10 mismo, de Ia forma .

Xl = SX't + (1- .s)x1, X2 = .sx'\ + (1- s)x~,

(0 ~ s ~ 1).

, ('1 )"

x~ = SX n + - SX"

Sustituyendo por estas expresiones en el vprimer rniernbro 'de (3), .reclbimos

Qj.(#'j + (1 - s)xi) + a2 (sx;: + (1 - S)X2 + ...

... + a. (sx'. + (1 ~ s)x~) + b = s(ajx'; + a2x2 + .. ,

... +a"x~) + (1- s)(OjX'; + a2x~ + ... + a.x~) + sb+ (1' -s)b [hemps sustituido el numero b pot la soma sb + (1 - s)bJ, 10 que es igual a

s[a1x', + ... + a,;x'• + bJ+ (1 ~ s)[a,x~ + , .. + a~x; + b]_ Cada una de. las dos sumas" cornprendidas entre corchetes .no es negativa, puesto que ambos puntos M' y M" pertenecen a1 semiespacio (3). POT 10 tanto, toda la ex presion escrita tam poco

63

es negativa (pues, s ~O ,Y (1 - s) pO). Conesto queda demostrado que terrninologia geometrica debera correspondera un sistema de semiespacio es convexo.

Despues- . de todolo expuesto, no sera dificil comprender que terminologfageometrjca debera oorresponder a un sistema de desigualdades lineales COn n incognitas. 'Sea dado el sistema

:a1X-~ + Q2Xl + ... + a"x" + a ~ 0 I hlxj + b2x+ + ._. + b"x~+ b ~O,

CjXl + c2X'2 + ... + c"x" + -C ~ 0.'

(5)

Cada una de las desigualdades escritas deterrn in a cierto semiespacio y todas en conjunto, cierta region .Jf' en un espacio a-dimensional, formada porIa interseccion de una cantidad finita de semiespacios, La region .7C es convexa, puesto que tambien 10 es cualquiera de 105. semiespaciosque I~ constituyen,

De forma analoga a] caso tridimensional; Ilna: regiOn en 1m espacio n-dimensional, siendo ista la interseccion de un nUmero finito de semiespacios, se denomina region poliedrica eontexa y en el caso cUilndo dicha interseccion. es un conjunto lim itado , simplemente, poliedro convexo. Aqui el termino "conjunto limitado" debe interpretarse en el sentido de que las coordenadas de todos los puntos de la region considerada no superan en valor absolute a cierta constante c:

Ix l' ,._;; c, "" [x, 1 :;;; c para jodos los puntos de la region dada. o sea, el conjun.ro de puntas (!:n un espaeio n-dimensional, c~yas eoordenadas satisfacen el' sistema (5); es una region Jf" po1iedrica convexd, [armada por la interseccion detodos 16s semiespacios que corresponden a las desiqualdades 'del sistema dado.

Subrayamos una vezmas que llamamos a esta region poliedro convexo cuando es limitada,

Los.rnetodos de, 'description real' de la region $" exarninados eli eel 'parraJo 5 para sistemas . con dos incognitas yen el parrafo 6 para sistemas con tres incognitas, puedenser, urilizados, con las' modificaciones correspondientes, 'para casos de n incognitas, No obstante, no nos detendremos en elios,puestoque una deseripcion complete necesitaria rnucho espacio. Ademas, siendo grande la cantidad de incognitas', estos rnetodos se hacen poco eficaces: su utilizacionesta relacionada con caleulos sumamente desmesurados.

Es notable' que los teoremas generales sobre la estructura de conjuntos pnliedricos convexos en 110 espacio tridimensional, conservan

64

totalmente su validez para espacios rHl,imensibnales aunque su demostracion es mas. complicada, Nos Jimitaremos a dar ia formulacion de estos teoremas y las aelaraciones indispensables a elias.

T£OREMA t, La cdpsu[a convexa de cUil[quler sistema jinjlO de pimios. A to A 2; -., A pes· wi paliedro convexo.

Para mayor precision, subrayamosque este i.eon!maestablece relacion entre dos tipos de conjuntos defmidos de diferente forma: entre .la capsula con vella de un sistema de puntos AI, A z, .,. , Ap, designada por (A 1, Az, . _.. Ap) Y- definida como Ia multitud de rodos .los puntos de Iii. forma

siendo Sl, h, .'" », cualesquiera numeros no negatives CU1a surna es i, y poliedros convexos, 0 sea, regiones limitadas, obtenidas como resultado de la interseccion de una cantidad finita de semiespacios,

En espacios bidimensionales -y tridimensionales la validez d.d teorema I .es evidente [aunque. sea por .Ia evidencia del sentido de capsula convexa] mientras que paracasos polidimensi,onales no 10 es Y' requiere demostracion, TEOREMA I (reciproco al I). Cualq~j~r poliedro convexo cotnctde can Jacapsula conoexa. de cierro sistema finito de puntos.

Realmente se puede afirmar aun mas; un poliedro cOlll'exo coincide 'con lacilpsula conoexa de 51'S certices. La definicion de vertice es la misma que parael caso bidimensional [vertice es aquel punto del ,poliedro que no es punto mterno can' relacion a' nmgun segmento totalmente perteneciente a este poliedro), Se puededemoslrat que el numero de, vertices. es- siempre finito.

TEOREMA2. Cualquier conjunto de la forma tBj, Bz, .. " 8,). 0 coincide con todo el' espacio, 0 bien representa cierro cono vpoliedro COnveXQ con el vert ice: en el origen de Ias coordenadas,

Recordemos que el simboto (Bj, B2< .,., B,) slgnifica el conjunlO .de todos los puntos, representados de Ja forma

'{rBl + 12B2+ ' - + tqBq,

.siendo it; fl' ,I:, cualesquiera numeros no negauvos, Un: cono poliedro convexo se define como la interseccion de urrnumero finlto de semiespacios, cuyos hiperplanos confines tienen un punto comun (vert ice del cono), La justeza del teorema 2 en un espacio tridimensional fue demostradaen el pa rrafo 4 [ieorema 1 § 'LCon relacion al casu pclidirnensional, vease al final del § 9.).

Tf:OREMA 2. Cualquier eono poliedro CO/ll;eXO CPIl e/ vir/ice en el oriqen de las coordenadas puede ser repre sentado como (B 1, B2• _... B.) ..

Su validez para casos tridimensionales fue demostrada en el parrafo 4 (teoi"em!l .2 § 4). Con relacion til caso polidirnensional, vease al final del § 12),

TEOREMA ) (",Iquit'-!" region contexa poliMrzca putde ser representada ell [orma de .\'I/mg .

65

(AI> A1, ... , Ap) + (B), 82, .... 8q). [Vease al final del § to).

TEORfMA 3', COO/quiu sum(l de /(1 forma indicada representa Q todo el espacio, 0 cierta region poliedrica convexa en esre espaclo_

§ 8.RESOLUCI6N DE UN SISTEMA DE DESIGUALDADES LINEALES MEDIANTE LAREDUCCION CONSECUTIVA DEL NUMERO DE INCOGNITAS

Por el curso de algebra de III escuela media, nuestro lector conoce el procedirniento de resolucion de un sistema de ecuaciones lineales, que consiste en .la reduccion consecutiva del numero de incognitas. Para sistemas con tresincognitas x, }', Z, el contenido de este procedimiento se puede describir de la siguiente forma.

En cada ecuacion de un sistema dado la incognita z se expresa mediante las incognitas x e y. A continuacion, las expreslones obtenidas (en las que figuran solarnente x e y) se igualan una a otra. Resulta un sistema nuevo con dos incognitas x e y. Por ejemplo, si el sistema inicial es

2x ~ 3y + z_ == -1'} x - y + 2z = 5,

4y - Z = 5,

(1)

entonces resolviendo carla una de las ecuaciones con relacion a z, obtenemos

z = - 2; + 3Y1- 1, 51

Z=-z-X+2Y+z-, z=4y-5;

(1 'j

igualando, despues, las expresiones de los segundos rniernbros (es suficiente igualar consecutivamente la pnmera de estas

5-12'

60

expresiones a las .resiantes]; obtenemos el sistema

. 1 I 5}

-' 2x+ 3y- 1 = -~X. + ~y + ~

... 2· 2···:2'.

2,x+ 3y- 1 =: 4;p - 5.

con dos incognitas xe y. Con respecto al sistema (2) se puede utilizar el mismo procedimiento: de las ecuaciones (2) hallarnos

(2)

3 7 } ..

Y=S·x+-s'

~Y = - 2x + 4, .

despues de 10 cual obtenernos .la .ecuacion

3 7·

S:x+s-= - 2x+4,

(2~)

con una sola incognita x. Resolviendo esta eauacion, hallarnos x = ·l;acontiri uacion, . del sistema (2') hallamos y = 2'}, por- ultimo, del Sistema (f') obtenemos z '" 3:

Resulta quecosa 'parecida ·p'uede realizarse con cualquier .sistema de desigualdades lineales. La resolucion de un sistema de desigualdades ton nincognitas x" .•. , XnoCj, Xnse reduce; por este procedimiento, a Ia resolucionde' un sistema de desigualdades con II -.I incognitas Xi., .. , x.~ 1 ;asu vez, el sistema obtenido puede set reducido a un sistema con n _. 2 incogrritasxj. ,.,' x. ~ 2 Y asi sucesivamente, hasta obtener un sistema de desigualdadescon una inccgriiiax.. 'La resolueion de unsisterna can una irrcognita.es ya un problema completarnente elemental, De tal forma' obrenemos I~ posibilidad ·9(: ·hallar (par \0 menos en principia) cualquier solueionde un 'sistema .inicial de, desigualdades:

As! pues; sea dado un sistema de desigualdades lineales con n incognitas xli X2 ••. ,' x., el cual, para mayor cornodidad de referencia, Ilamarernos en lei sucesivo ;'sistema' (8)",

Alcxami.nflr el sistema (8) surge unavserie de, preguntas: /,:senl e.s(es'isJema compatible? si es que sl,;::como hallar todas :s us soluciones? :;::c6hla estan fo rmados lossiidemas incorn patibles de desigualdades? A todasestas.preguntas Ia respuesta seta dada en 'este parrafo y en el siguiente, AI· m ismo tlem po; resulta, muy uti] ligar a cada sistema de. desigualdades lineale~ un sistema .!).uevo.,cuyo n,u~ero de.vincognitas es inferior en una

67

unidad al numero de estas en eI sistema inicial; Ilarnaremos este nuevo sistema, sistema asociado.

Pasamos a su descripcion,

Examinemos eualquier desigualdad del sistema (S) Esta tendra la forma

(3)

Si a; = 0, dejamos esta desigualdad sm modificaciones, SI a" < 0, entonees pasamos el termino a"x" al segundo miembro de la desigualdad, y dividiendo ambos miembros de la misma por un nurnero positive - am obtenemos una desigualdad de la forma

En e! caso euando u" > 0, todos los sumandos, menos a"x". se trasladan al segundo rniernbro de la desigualdad, 'j dividiendo ambas partes de esta desigualdad par am obtenemos la desigualdad

x".~ C,Xl + ,., + C"-lX.-'1 + C,

As], pues, rnultiplicando cada desigualdad del sistema inieial per un numero positivo convenicnte obtenernos un sistema equivalente at primero de [a forma

PI. ~ X,,,
P2 ;:::'-x~.
Pp~ x,';
:1:" ?- Ql'
Xn ~ Ql.
x, ?- Qq;
RJ ?- 0,
R). ?- 0,
R,?- 0, (Tl

68

sicndo PH .... , P,; Q" ,.,' Qq; RI. "" R, expresiones de la forma a1."(1 + , .. +'_d"-IX,,-:1 +a (que no contienen X")*l.

EI sistema (7Jpuede escribirse en forma, mas breve:

r, ~ x, .. ~ Q~,}

Ry ~ 0,

siendo ~ cualquiera de Los nurneros 1, 2, "" ~, cualquiera de los numeros 1,2, ' .. , q y y, cualquiera de los nurneros 1, 2, __ ., r.

Analicemos Junto con cl sistema (1') el sistema

P, ~Q~,} (5')

e,» °

(siendc ~ cualquiera de los numeros 1, 2,."., p; ~,cualquiera de Los numerosI, 2" ,. , q y y, cualquierade [as numeros I, 2, .,' , r) can n - '1 incognitas x l' '-." x"_ 1 **',

Acordamos Hamar a. este sistema asociado [can relacion al sistema inicial (S) 0 al sistema equivalentea d. (T)].

Entre las soluciones de los sistemas (S) }'(S') existe una rclacion cstrecha. La expresion de esta relacion es el siguiente teorema:

, TEOREMA 51' eli cualquier solucion del sistema (S)eliminamos el valor de la Ii/lima incognita xm obtenemos cierta ,~olucion de! sistema asociado (8'),

A la vncersa: para cuaiquier solucion del sistema asociado (5') se puede hallar un calor determinado de La incognita x"' que udherientlolo a esta sotucion, nos da IIna solucion del sbtema iniciai (8).

La primera afirmacion de este teoren;laes evidente [si cualq uier conjunto de valores de [as incognitas satisface el sistema

,* I Na I ural mente, si en el Sistema (S) no. hay ni una desigualdad cnla que a. < 0,. entonces en el sistema tTl Ialtara cl primer bloquc. De lorma analoga, SI no 'hay desigualdadcs :con(l, » '0,. entonces en cl sislcma(T) faltara el segundo. blcque Por ultimo. si 'en (S) no hay desigualdades con a. = 0, entonces en (T) faltara el tercer bloque.

-vs: results que en el sistema (T) ill/If! ~/ primert:

II segundo bloque, enronces (S'Jeslara compucsio solamente por las dcsigualdades R .. ,':;:' 0, Si en (T) falta el tercer bloque, entonces (S,!

tendra, solamcnte las desigualdades 1',:"'- QI'- .'

69

CS),entoJ\~ elite ctwjuntotam\),iensa!isfa_qe el .sistema (T}: 'Pew en to rices con este misrno conjunto tarnbien se curnplen todas lasdesigaaldades de'! sistema, (S')]. Demostrernos la segunda,

Sea

cualquier soluciondel sisfema (S'). 'SasIituyenclo los valoresindicados de las ineognitas ren las expresiones- P ,I," -. PI'; QI. . •. , Qq:

R.I •...• R., obtenemos eiertos numeros n. "., p~; Q~, ... , Q~~

R~, ... , R~: Para, eUos deben 'cllmpi"lrse las desigcaldedes: " 1

P~ ,;::: Q~~ (4)

1., 2, . ". P 'lP.

(siendo (L -cualquiera de los nirmeros 'cualq uiera de, los nnmeros 1.,'.1. ,;., q) --y'

R~;~O

(5)

(siendo y cualqurera de los numeros. 1< 2, . '. rl

£1 primer grupo deesta~ desiguuldades. [0 sea la (4)]. demuestra que cada uno de los nurneros Q~. . .. , ~ noes mayor que cnalquiera de los; riiimerosPY, .' , P~. Pero, eli tal casQ,0,b\i:gatoriamenle habra un: numero x~, cornprcndido entre todos los nhmeros QV ..... , QY y' todos los numeros p~. ~". P~;

P~~ x~ ~ Q_g.

o siendo -:t. cualq uiera de los n umcros I,. 2, .,., p; y I}, cualquieea de los n umeros I , 1, .. ~, q {fig. 46.). Ahora bien, estas

x~

eo ~ <:l _ ...

01 Of af pi pf pr n

Fi~. 46.

des{gualdades; junto con .las desigualdades (5) signifi<:an queel conjunro de valores de las incognitas

Xl = xV, ..... ,Jf~-'l = x~ _ l' X'. = x~

es .solucien del sistema (1) 'Jj, por consiguicnte. tarnbien de (Sj.

Elteorema .es.ta demos ltado; ,

Cos dos SigU~e,I).lCS: COIt'lplcmeiltos 4 este teorema jugaran ert io sncesivo Oil papel uuporl:1!-nte.;

70

1. EI sistema ($) de desigualdailes lineales -es compatible en aquel y solo en aqueJ caso,cuando es compasible el sZslenra asoetado a il (S'). Eina es una consecuencia directa del teorema demost rado.

2. Todas ias solecvmes.del sistema imc~ai (S) pttedens.er obumfdas de la sig,II_1I!Jlfe jO(l1)a; a .cod« soluctbn ;t?,; , .. , x~ _-I del sistema ascciado (5') debera agregarse cualquiera de 16s numeros x~, comprendidos entre todcs los numeros 'Qt , .. , Q-~ y todos los numeros p? ' .. P~. Esta afirmacion, de-heche, rue ya demostrada durante la demostracion del teorema antenor,

Unas palabras acerca del vsentido geometnco de este" teorema.

Supongamos que (S) es un sistema de desrgualdades con tres jncognitas X; y!, 2 El ststerna aseciadn {S) es un sistema can' dos Incognitas x, Y:

Designamos por X" (S) la region de soluciones del sistema (S) [es cier- 1(l c.onjl,rnlQ de puntos en el espacro) Y pOT X' (S') la region de selucioneg de] 'srsterna IS') (un conjunto de .puntos en un plane], El teorema demcstrado, en. et len·gulIJe: de la geometria. '(;ignlfica 1.0 slguienle.

La reg/6n Jr (S') es fa prO}'l'cciorr. de Iu reyiim %(S) ell un plano ae coordenadas xQy.

Asi, pues, para un sistema arbitrarro (S) de desigualdades Imeales con ineognnas Xl. Xi •• _ •• x, herrros Iormado un sistema asociado nuevo (S'l. ouyas incognitas son XI. X7 ••.• , X,,-l' A su vez, para el sistema (S') se puede componer un sistema asociado (S") (cuyas incognitas son x I' X1, _ .. , XI1-2), para este ultimo, un sistema asociado (S"'). etc, Continuando esre proceso, despues ide una serie de pasos, obtenerrrcs, el sistema (S("-1.)) cornpuesto por desigualdades con.una incogn ita .x l' De I~ a flrmacion 1 hecha ameriormente 56 deduce que el vslstema (S) es compatible en aquel, y s610 en aquel caso, cuando es compatible el sistema (s(n-tl). Ahara bien, resolver el problema sabre la compatibilldad o incompatibilidad de un sistema con, una mcognita no representa diflculrad alguna. De- t;>J forma, tealizando caloulos sumamente Simples. podemos detcrminar, si es compatible eJ SIS lema (S) 0 no.

Supongarnos que dicho sistema es compauble, Entonees surge cl problema: resolver 'este sistema 0,. hablando mas concreto, determinur todas .sus soluctones (todos los conjuntos de valores de las incognitas para los cuales se carnplen Ias desigualdades del sistema .dildo).Obraremos des-de eJ sigurente PUQt·o de vista [aunque al rtmc1pJO le parezca 'extrai'l"iJ a nuesrro lector] ~ ei sh(lemu (S) estara resuelto, ('Jwndo esten lormatlas los sWem05 (S'). ($"). . _ (st~- 11), En que esta basado este punlo de vista. 10 veremos a connnuacien, pcro antes mtroduciremos una.

71

DEFINICI()N EI conjunto de vaicres de las k primeras incognitas

x~, xt .. _, x~

se llama admisible, cuando puede sec prolongado hasta la soJuci6n del sistema inicial (S). es decir, cuando existen tales nurneros ;I;{f 1. ".. x~ gue el can junto xY, ... I x~, .'t.~ ... h -... x~ es solucion del sistema (8).

Una vez formados los sistemas (S'), (S"), erc., obtenernos la 'posibilidad de:

1) hallar todos los valores adm.isibles de la incognita Xl [del sistema (st" - 1l)J;

2) hallar para cualquier valor determinado y admisibie de .xt todos los valores de la incognita x 2 compatibles. eon eJ.-es decir, unos. _ valores que junto. can x? formen un conjunto admlsible [estes se hallan mediante sustituciones de 4en el

'sistema (S("-2»): .

3-) hallar para cualquier conjunto determinado yadmisible x? i~, todos los valores de la, incognita x) compatibles con 1=1 [estes se hallan mediante sustituciones de.'I:? Y x~ en el sistema (S<If-31)] y as! sucesivarnente,

Preeisarnente en este sentido debe mterpretarse nuestra-aflrmacion de que' e1 sistema (S) se cons-idem resuelto una vez formados los sistemas (S'), (S") •...• (Sl~ I)).

EJE,MPLO Resolvamos, en eel seatido indicadc, el sistema

7x + 2)1- 2z -4 ~O, '}

- x -) - z + 4 ~ O.

- 2x + 3y+ z - I ~ 0.'

5x -0-)1 + Z + 2;<: O.

Resolviendo cada desigualdad de este sistema con relacion a z, obtenemos yn' sistema de III forma

7

iX + Y -2~i:,

-x-y+4~z,

z~2:c-3y+[ z;;:: -5x+y --2

(~)

72

EI sj~(ema asociado tiene la forma 1

2.: x, +- jl - 2: ~ 2x - 3y + 1,

--~ x + y - 2 ;;:., - Sx + y - .2,

-:< - y + 4 ~ LX - 3y + I,

- x - y + 4 ;-:, - 5x + y- 2

0, despues de la reduceion de terminos semejantes, 3

-zx + 4)1 -3 ~ 0,

17 0 TX:;-:- •

- 3x.+ 2y +:; ;;:::,0. 4x-2y + 6~ O.

Resolviendo cada desigualdad con relaeibn a .v. obtenemos un sistema de la forma

3 3,

Y>---"'+".. 8'" 4'

3 3 y~- £x- .2'

2x+3~y,.

X~O.

EI sistema asociado '3 el tiene la forma

2x+3~-2_x+2.. }

8 4'

- 3 3

2x+3;"'"2x-2'

x ~:O.;

esteoltimoes equivalente a Ia desigualdad x ;-: O.

0' sea, el sistema -m-icial es compatible. Confonne al punro

(8)

13

de vista a que nos atenemos, los sistemas (8), (7). (6) dan solucion al. problema planreado. A saber, 18 desigualdad (8) muesrra quee.tiste una solucion [x, y; t) del sistema inicial, COn 'cualquierx no negative, 51 se elig~un valor concreto de x, entonces porel sistema (7') se pueden ]lallar los pcslbles valores de y. Si se eJigen uncsvalores concretes de x C y" entonces por el sistema (6) se hallan los valores posibles de z:

Sea,por ejeruplo, x = I, emonees. pOT e] sistema (7), obtenernos Iaasiguientes desigualdades que limi181.l' a y:

3

.5:?:Y~8·

SeA; porejemple, y = 4. Suponiendo en el sis~elIla (6), x == T Y Y = 4, obtenemos desigualdades que lirniran a z:

11

->."

2 :;.0" "'.,

-1;::q, z;::. - 9,

z ~ - 3

-0 simplernente

- 1 ~Z~' -3.

'Si.!pondiend~. porejernplo, z = -2" obtenemos unade las.soluciones del sistema' inicial: .x == 1, Y == 4. z == - 2.

§ 9. SISTEMA HOMQGENEO DE DESIGUALPJ\DES LINEALES.

CONJUNTO FUNDAMENTAL DE SOLUCrONES

En el' parrafo 8 hemos analizado el mctocloutilizaoo pa'ra hallar 'sol uciones de sistemas de desiguaidaoes lineales, No obstante ,II tcdoa Ios rneritos evjden~es de: e.slemetodo. !iar s91upJbn con el a unaserie de problemas no es posibler por ejemplo.ieaee metoda no pennite determinar e./ cOl1junro- de todas las soluciones de un sistema. de desigualdades dado, Precisamente a esta cuesrion estan dedicades los dossiguientes par.mfos del presente libro, Las principales dificultades, como "eremos, van. ligadas .al analisis

74

de sistemas homogeneos, este problema se I.ralaen ei presente parrafo: .el _casogeneral (esdeci.r, de sistemas de desigualdades no homcgeneos] Sf analiza en el p<\na:fo j O. r\demas, nbexis,t¢ la; n~esidad irll:per.iosa de limitarse a cases de doso rres incognitas; desde el com ienzo, examinaremos sistemas compuestospor c ualquier numero- de desigualdades yeon cualquier numero de incognitas, Para comodidad del lector dividirernos 10 expuesto en una serie de apaN;ido$.

V. fimd6n lineal .de.» tJr{}um:enrf)~, La. forma general de, una desigualdad homogc:mea con n incognitas es

aLXL + dzX2 + .. , +aft))~ ~ 0.

Ve~mQs por separado- '41 ex:prtsi6n

tJlXL + a).X2 + ... + G"X".

(I)

dada en .el primer miembro de la desigualdad. Estaexpresion se llama funcilm lineal. En calidad de argumentosse loman n variables x" -X~, - ._, x •. Por cierto, sepuede considerar quelil.. fUll.cion (1) d~pende no. de II argumenros .. sino de uno. £Slc argumento-es-el punto

X =, (Xl> Xl, ... , x,,). situadeen un espaclo n-dlmensional,

En 1'0.- sucesivo, acordaremosdesignar la funcion (1), brevemente •. por '4X):.

L(X) = a.~xl + a1,;(2 +, .... +UHXn;

si es vque se dan; no una, sino varias Iunciones como esta, entonces las designsmos por LI (X), [;.2 (X), ere, -

Estabfecerrios. .dos pr:opieaades de tim~ Iuncion lineal, que son': 1-.

L(kX) = kUX).

slendo XCl1al'p:iier punto y k cualquiet nurnero, 2.

L(X + Y) = L(X}+ L(YJ.

siendo X e }' .dos puntos cualesquiera .. La propiedad 1 se deduce, de fOl'maevidenle de la igualdad

at (kXl') + illl(h-.J + ... + Q.(k.x)n =

75

Ahora 'demostrarernos la propiedad .2. Sean

X = (x!~ X:h-'" x.) e y= Crl> 1'2. "'_1 Yo)'

Entonces

L(X + YJ = UJ (XI + .vI) + 112 (X2 + YIJ + ...

... + a~ (~" + y,,) = (alXI + alJ(Z + .. + OnX.) +

+ (alYI + G2Y2 + .. ' + a.y,,) == L(X) + L(Y). -ZO', Alg~nas propieaade$ de las so luciones de lin sistema JlOmoge;wo de desigualdadesllheales. Sea dado el sjstema homogeneo -de ,rIl desigualdades Imeales con II incognitas:

a I X I + U2X2 + - .. + G"Xn ~ 0 (J. desigualdad], 0';(1 + b1xrt: ... + b~x" ~ 0 (2' desigualdad),

c,XI + C2Xl + ... + c .. );. ~ 0 (m' d esigualda d).

Designando IQs primeros miembros de esras, designaldades respectivamente por: LI.(X)' L2 (X), .. I Lm (X),el sistema dado adquiere la forma

LI(X);'O,) L2 (X);?; O.

Lm(X)?O .

(21

. siendo

x = (Xl. Xl •.... x,,)_ Hacemos las dos siguientes aflrmaciones:

1. Si eJ pumQ X es solucton del sistema (2) y It. es un l1umero (Ila/quieta no negatiL'O, entoncese! puma kX es nueuamenie soitlcfOrl del sistema .(2),

~. St X e Y SOil dos soluciones del sistema (2), entonees X + y e.~ nuel'amente solution del sistema (2).

Estas Q9S aflrmaciones se deducen facilmente de las, propledades de las lunciones lineales, demostradas en el aparlado L". Efectivarnente, sea r cualquiera de los' numeros I. 2, " , . m: Tenernos

L,(kX) =. u; (X) ~ 0

76

(puesto que Ie;;;. 0'1 L;(X};;' 0), y ademas

L,(X + f) = L/(X) + L1(1') ~O, (puesloq;ue L;( X) :~ Oy L; (Y) ~ OJ.

De las .a.tirnmciones ~ y '? se dedut;e directamente ~1. siguiente eorolano,

St ciert!)); punios Xl, X", X p son saivcione« deT

siSl.l!ma "(2), emOllfiS' hidJq~'ier .punto de la forma

hX1 + k"X1 + ... + kpX" (3)

stendo]: lk'2' "". kp numeros ItO ttegarilJos,. tamfll¢n. es ~oluci6n del Sis/emil "(2l

EncfecfO. cada uno de los. .puntas k1X1_ k-"X21 .'~' kpX", conforme a la afirmaoiop I, es solucion 'det sistema (2),pero entonces lambl~n lasnrna.de estes puntas; conforme ala afirmacion 2, sera so]ucion del sistema (2).

Acordaremos denommar cualquier purno de Ja forma (3), en ta que I,,, kl. ,..", kp son numeros no negatives, por combinaeib« riO negmir:(/ de los purrtos X I, X;l> , .. , X p' Enfonces,el corolarlo deducido t:englones anteriores, admire l!l sigliient¢

form uhtci'on : .

Una c.ombl/rile/on no .neyatrw de cuatquler mimera de sall(~ alanes ·del sistema homoyeneo (2) es nllt?vamenre $olt.don de este SI.Weml1.

3". ConjlltHojiindamenrul de .~oltu·tOlle·.{ Introdueimos la.siguiente defin iet6.n :

El conjunto de 110 nurnero Iinito de ·solbcranes

XI, X2 ••. ,' Xg

del sistema homogeneo (2) se lIamac01VWllQ jimdaml!!J!oi de seluciones, si eualquler .solucion X de este sistema puede SeT dada por Ia formula

X = bilKj + kzX 2 + . , +k;Xp (4)

sicndo k r- k,,< ... , k:p numeros no neganvos, EIieste caso, por 10 tanto, la f6~tn.ula (4), en I,i cual A: I' k2• • ._.,kp SOl) cualesquiera numeros no negatives, da postbilidad pam deterrninar IlJth);~ las soiucUJn't'sdel Sl.Slema (2). Poreso, queda clare, que Ja determinacion-de un conjunto fundamental de soluciones es un prcblerna de primera import~ncia parae1 analisis del sistema (2).. £J obJet!vo 'de nuestras for·mac.~Ol;:lessC'r<!:. prceisameme, la elal50tacion de ).111 algotilmo que ~p0rmiia, mediante openrcrenes sumamenre

77

-simples, hallar el conjunto fundamental de solnciones para cualquier sistema (1) .

. 4°. Formacion de lITl wmjlll1W [undomenta! para un sistema compuesto p.or 1I,na ,de'sigUi1idJld, Formemos el.conjunto fundamental de soluciones para Ja desigualdad

.{j ,x 1 + (l2X2 + ,'" +:(In;'X" ~ 0, (5J

donde los numeros a l" '01, .,., all' no son, al rriismo riempo,

iguales a cera. '

Con este fin examinaremos, :Junto con ill deslglla:ldad(5),

la ecuacicn,

(6)

Par las propiedaoes de una funcion lineal, demostradas en el apartadol 0, facilm-entc: se deducen las dos siguientes aflrmaerones: 1. Si X es una solueion cualquiera de la ecuacien (6) y k cualquier nurneno. entonces kX es nuevarnenre solucion de la ecuacion (6).

2: SiX e Y son dos soluciones dela ecuaoion (6j,entbnces X + Yes nuevamente solucion de la ecuacion (6).

Concedemos al lector la demostraclon de estas afirmaciones, Con fo rme a la pondidon,en Ire los numeros al" a 2, •. _ , ail los hay rIO iguales acero. Supongamos;por ,ejemplo,q_,ue :a.;<:, O. Entonces 'Iaectlacio-o 'puede. ser expresada de la forma

I

x. = - -(alx.! + azx-z + ... + a"_~.x~_l)· (6')

u.

Suponiedo Xl = J, x~ == 0, ...• Xn- J := 0, hallarnos. por la

ultima -eeuacion

es solucion de La ecuacion (6'); De forma analogavse puederr obtener las. soluciones

I ')

a2'

XJ,=(O, 1, ... ,,0, - - "

-, an "

X "-1 = (0,'0. I "" l, _ 11"_1_)_ a~

78

Supongamos, ahora, que

, X, =(:;1.10 :Xl .... , ~tr-h EI")

(7)

es cualquier sclueion de. la ecuacion (6), Conforme a (6'), obtenemos,

I .. ,

u:. = - -(tlllXl + ".7.(X1. + ... + 0n- 10:"_ d = a.

=~'1(-~)+(X2(~)+ ··+Ct.._LX

. a~ a. ,

Exarninando el-punto (IIK1 + Ct2X2+ _ .• +Ct._1X"_1 =

:: O:L ( I., 0, ... , - ::) + r.tz (0, 1 •.. ,. ::) + ...

( . an-1)

-., + EIn.-I· 0, O •..•. 1. - --u;;- ,

nos convencemos de 'que Sus coordenadas coinciden can las coordenadas del punto X_ Par eso es valida la igualdad

(8)

Ahora, agregamosa [as pun tos antes canst ruidos X I, X 2 •... , X" _ 1 uno masc

(9)

Por las propiedades de las solucionesde la ecuacion (6), dadas al priacipio de este pun to •. se deduce que el punta X ft (~lfnbien es solucion. Ahora no sera dificil demostrar el siguiente hecho: '(;ualqlJier soluckin X de la ecuactan (6) es una t'Ol1'loil1ocian no neqatto« de soluciones X t, Xi. , .. ~ X"-l' X".

En efecto.jea t:i. un numero posn iva que supera a cualquiera de los numeros l:x I I, I Ct2J, .... Ja,,- L1. De (8) y '(9) se deduce que

X = (::1'1 + <:() Xl + (et2 + 0::) Xl + ... + (1);,;,-1 + ct)X~_ L + ~X"'

10 .que sirve como dernostracion de nuestra afirmacion.

Para abreviarlaescrttura, mas adelante, designarernos el primer rmembro de !'a ccuacion (61 per L(X} Elegimos una soiucion cualquiera de la ecuaclon «X) = 1 Y destgnamos csta solucion

79

poe X" + I: Afim'iamos que, el COlljlitllO de pun tos Xl, s., .... , Xli-I> X"" X":,, I,

(10)

-es el corljullto fundtJme~tal de :S(1I~iofles 'Para '~a desigl!ald{l.d (s).

En efecto.cadauno-de.los puntos.indieados sali~fa.ce la desigualdad (5), S IIponga_m OS, ahora que X' es cualqaier solucion de esta desigualdad; par constguiente, L(X'J = a, siendo a ,;i:l 0. Entoncesel punta

x = X' -aXn+1 satisfaee la ecuacion (6), pues

L(x) = U.X') - dl.(Xn+d = a - a·l = 0.

Expresando ahora

X' = X -I- aX~+1

y teniendo en cuenta que el punto Xes ana combinacion no _negativa de puntas Xl. "., X,,_I, X~, queda claro que X' puede ser representada en forma de combinacionjio negativa de los puntos (10)~

Veamos up ejemplo concreto, Supongamos que es precise formar un conjunro fundamental de solueionea para ia desigualdad

-2x'l- 4Xl + X3 ~ 0 can tres incognitas Xt. X2, x).

Primeramenteescribimos la ecuaoion

-2X,I, -1Xl + .q =0.

la eual resolvemos con relaeion a una de [as ind6gnit.as-, pOor ej:emplo., .a X3:

(11)

Xi, = 2Xt + 4(Xi·

Ahara consideramos; consecutivemente, una de las incognitas XI 0 X2 (qu¢ Corman el segundo miembr,o de Ia ecuaeien] igual a I y Jill;" restantes, it cera. Obienemos las sign i¢ntes sol!Jciones:

X, = (1, 0, 2), Xl = (0, L 4).

Seguidameate tomamos e,D calidad de X 3e1 punta Xa = -(Xl+ X1) = (-I., -1, -6)

>" pOl! ult-ijrl_o, encalidad de X.._ tomamos una de las soluciones

80

de la ecuacion

-2):1 - 4x,2 + X3 = 1, por ejemplo, X .. = (0, 0, I).

Los puntos X I_ Xl. X 3, X'4 forman el conju nto fundamental de soluciones para la desigualdad (11). La solucion general tiene la forma

X= kjXI + kZX1 + k3X3 +k .. X4 =

= kd!. 0, 2) + k~(O. 1,4) + /e31-i, -1. -6) + k .. (O. 0.1),

o bien.

XI =k : -k3' X2 = k2 - /(3,

x~ = 2kl + 4k'l ~ 6kJ + k .. , siendo. k" kl' k~, k4 nurneros arbitrarios, no negatives ..

5°. Transformacion de un coniun:« Ji.mdameiutll de soluciones agregando al .~istemtl Ilna de;s{gualdad 111l1S. Para aprender a Iormar eonjuntos. fundamentales de soluciones, cxaminaremos primeramente el .siguiente problema

Sea dado 1;'1 sistema homogeneo

Li (XJ~ a,} i; (X) ~ 0,

(2)

• - I ••

L",(X) ~ 0

de desiquaidades lineales. Snponglln1os. seguitfumente, que e,~ C0I1Qcik d col'ljun'to fimaamenta.1 de so/u(tim'lcs

XI' X2 •••. , Xp

para este sistema. Es precise confeccionar el conjunto fimdamt>ntal de ,soiuclones para UII sistema, obt.ellido ~regllndd of (12) tinll desigualdad mas

L(X)~ O.

(13)

Las soluciones del sistema (12) .son exactamente todas las combinaciones no negativas de Iospuntos X h X2 •••• , Xp- Entre diehas eornbinaciones debemos elegit aquellas que satisfacen fa desigualdad (13) y. ademas, forman el conjunto fundamental de soluciones para ei sistema (12), (13),

81

Con .relacion a la funcion L(X)..,. primer' 'miem:bro de In desigualdad (P) - todos los: puntos ,Xl. X 2" •• " X p sepueden dividir en grupos: puntos para los cuales L(X) > 0, punros para los cuales L(X) < 0 y, por ultimo, puntos para los cuales LCX) = 0., Designamos 10s puntas del primer grupo por xt, Xi. . .. , xt, kisdel' segu ndo, por X'L. X 2" .., XI y" Ios del tercera.por X~: xg; .. ,' XJ.

As], pues

x t . ' .. '. X;:-, )(1-, .... xt . X? -, - ., X~,

son losmismos puntos Xl. X2• , •. \ Xp• pero posiblemente situados en otro orden,

Naturalmenteque todos Iospuntos X: (Ct. = I J ••• , k) sarisfacen la desigualdad ,(13). Lo mismose refiere a X~ ,(y = 1, ... IS). En cuanro a los PUDtO'S X~ (~= 1, ... > 0, entre ell os no hay hi uno' que sea sol ucion de la desigualdad (J 3). N o obstante, con eada par

x: X';:.

(un punto "positive" y otto "negativo'tlse puede confeccionar una combinaciorr no inegativa

ex; + bXi (14)

de tal forma,que satisfaga la condicion L(X) = O. Para ello se debe tomar

\

us,

Efectivamenre, los: numeros a y bs:on posinvos y., ademas,

L(aX: + bXi") = aL(X}) + bL,(Xi)=

=-L(Xi) L(X;') + L(X;)L.(X~),= O.

Designarnos el punta (L4). en el que a Y' b,tienen los valores indicados anteriorrnente, par X~'p:

X~p = -L(x~)X: + L(X:)X~" (16)

Respuesta al problema planteado da el .siguiente

TEOREMA...lns pumas

+ .' + '0 .0 0 " .0 0

XI. '.-', xt , Xi> '" X" Xi)' Xu, "', X~i (17)

en total 'est an' esctritos k+ 's +ki'Pl,inI9s) forMan :el conjutito fundamental qe .~(duCl:onfs para el sistema' (i 1), (L 3),

82

Para demostrar esle teorema.resprecfso demostrar el siguienre. '~F.M" CrUlil/lHl.'r ('nmbinacft,n de pumos 110 ne(JutivQ X: Y X~ pllt:(le ser expn:sc.ula eomo 1#1l1 'combilUlcionno tllfgm,lvd de [Juntos X~-, X~~ o ;nmhiim. como ullacbmbinac-ioll no l!egattv{1 de punto~ Xl, x~~.

DFMIlSTRArr\)N [lFL. LEM,4 Sea

X = ,r X: +- dXi

una combmscion no negativ.a de puntas X~' Y X&', Exarninemos Junto con X el punta

X·D, -u;yt + I.'X',-

.~- ..... " I.':,~.

dondc los numcros a y 'h' esran determinados porlas formulas (l.~).

Comparamos dos razones: : y ~" 5i la pnmera es mayor

que Itt segunda, enronees considerando d" = A:'Y _£ = A + )1" donde

, , g

IJ > O. lendrcmos:

X = (All + Ilq) X; + fi.bXii = AX~6 + flaX;!

es declr, fit punta X puede ser expresado en forma de combinacion DU riegativ'a de x: y X~~. Si dichas razones son 'iguaies.

X "Xl] Y 'I . ,c d ,

entonces = r; ~:". .por U limo, SI ~ < -h ,entopces, cons!-

" {I"

c d

derando - = ,. Y -b = A + 1.1, donde "I. > 0,. obtenemos

, CI

g = AX~~ + IlbXjI.

El lema esta deinosrrado,

l1l:MQSTin .. (ION DliL TWREMAeAntetodo. observemos que cada uno de los puntcs (17) salLsfacc"el Sistema. (12), (H). Pot 10 tanfo, para demosirat el teorema, nos queda solamente comprobar 10 siguiente: ~i cualquier punto Xes solucion del sistema (12). (13). entonces esue punto puede expresarse en forma dacorabinacion rio li,egat'i va de i{)s puntos (l7),

Siendo solucierr del sistema (12), el punto X seexpxes$en forma de comblnacron no .aegariva de puntas func1amenlales XI> x.z •. , .• x, de este sistema:

X =. Y'l,Xt +. i-a\X~+ + b,XI + .. ,

." *biX,~ + (IX? + ... + C.X~l'~ (18)

donde tcdos.los coeflcienres GJ, "" ali> bl• - • b/. CI• , •. , c3. son no: negatives.

si todos [05 mimeroe b." .•• , b, son Iguales a, cero"e:monql'ls

es evidente qlle no hay nada que demostrar, Supongamos, par lo rantc.qne entre estos numeros los hayestrietamente positives, Observarnos que entonceaentre los numeros (11., '-', Uk tarnbien los habra estrichlmentepositivQs: de 10 contrario resultaria que

L(X) = 0[£.(1\~) + . + b,L(Xj) + Ci t,(X¥)+ ... + ('.L(X~),

cosa imposible, puesro que X satisfaee la desigualdad (13J.

S1Jpong~mos, para determinar, que {II > 0 Y bI > O. Valiendonos del lema, podemos sostituir Ia .suma ,Q'IXt + blXi por una 'combinacion no negativa de los puntos Xi, X-~l" e de los puntos Xl, xy I Si en la expresion para el punto Xse realiza tal sustitti.ci6n, entonces La cantidad lotal decoefieientas de Xi, ., . . . , , X,,+, XI, ., . , Xt;_, dlfcrentes de cero, disrnieuye por 10 menos em L Si en veste -~so resulta que en .la. exppcs.lonobtenida, nuevamente para X. no todos los coeficientes de XI' .,., 1<1- son nulos; entonces 'se precede otra vez a la sustitucion de una ;de laS, s.u,fnnsrle 13 forma «x; + bX; por una. -ecrnbinaeicn no negariva: de' los' puntas. xt, xffl 0 de los puntos x~, X~~;C0mo l:esuitadQ,la cantidad de coeficientes de X t, -,- -. X:. XI'" ,X)-, <bferentes de ceto, disminuye ol~' vez por 19 rnenos en 1. AsJ continuar!!. hasta obtener una expresion para el punro X. en [a cual todos lcscoeficienres de XI> ' ., XI. sean iguales ,11 cere. De tal, 'modo obtenemos una- igualOad de la forma

X .'~r-i-+ + 'Xt+ ~d vI) ·vO. + Xfi . = alA I ..... ll~~. l.. ":11-" ~iI '+ C.11~'1 +.,. c).'

... 1\'

.en la', gue todos los coeficientes del segundo rniernbro son rnayores o ig,uah;sa. cero, Pero esro es prccisiimente la expresiori requerrda para X. El reorema esta demostrado .

. 6-1 Exflirfm~:w)' m~toM de formatioll de !II! Ci'm/unlo fwulamen" tal .de sotu-cion.es. H xaminernos un sistema arbJl rarlo de dc:s1gUfi.1- clades, homogeneas lineales. Para la primer desigualdad de este sistema se. puede formar un conjunto fundamental de solueiones (por'el metodo deserlto en el 4e aparrado), Agrega:n'd0"a esta primera: desigualdad Is. segunda, y basandose en ~1 teorema del 5" -aparradopodemos fornrar un eonjunto fundameOilii de soluciones

6"

84

para el sistema compuesto p.0~ las des prlmeras desigualdades. Si a continuaeionagregamos 13 tereera desigualdad y- seguimos este proceso sucesivamente, obtendremos e\ conjunto fundamental de soluciones para todo eJ sistema inicial de desigualdades, De tal forma se demuestra la existencia y al mismo tiernpo se -da el rnetodo de Iormacion de un conjunto fundamental de soluC]O}l~.

Naturalmente, si en un sistema de desigualdades dado hay un subsistema. para el cual podemos inmediatamente determinar. el conjunto fundamental de soluciones, enronces en calidad de punta IntCJaI se debe tornar este subsistema, agregando sucesivamente al cual las resrantes desigualdades, despues de una serie de opcraciones obtenemos el eonjunto fundamental requerido,

F:lEMPLO Para e) sistema

es RTeClsQ' ballar todas las soluciones no negatives, es decir, todas las solucioncs que satisfacen las condiciones

Xl ~O'l

;(2 ~ 0,

x" ~O, X4 ~ O.

(10)

MCJor dicho, es precise hallar la solud6n cormin para el sistema (19). (20).

No C$ dlfiell ver que para eJ sistema (20) el conjunto fundamenial ser.a cl eonjumo de los puntos

XI=(C.o, O. 0). X? =(0,1,0,0) X 3 = (0. 0, L. 01, X 4. = (0, O. 0, 1)

[efectivamentc, cualqurer solucion (:Xl, eL2. CLJ. ':;(4) del sistema (20) puedc cxpresnrse en la forma :I] Xl + -'l.2 X2 +!X3X~ +'14X 4J. Agregamosal sistema {2m la prirnera deJas desigualdades (19) y purl! el sistema asl obtenido. confeccionamcs an conjunto fundamental de soluciones, utilizando <:1 reorema del 5'? apartado, Para comodidad de cakllios cornponemos la siguiente tabla

85

o

'-IIXI
0 'I -3
o -4
0 5
-6 XI 0
..\"2 0,
X",, 0 0
X4 0 0 o

En cada renglon de, esta tabla se rut unodeios puntas fundamentales!?ara- elsistem;a (20), asfcoJl1o el valor- de, la fu nci on L1, (Xl para este punta. Por la tabla vemos que el unico. punto del jipo .X:· es X 3;, tos, puntos .del tipo X ~ son X I. X 2. ](4; puntas del !i,po X~ en esteeaso no hay.

Hallamos los puntos del tipo X~~, Que son:

X~~ = 3X 3 +5X I =(5, D" 3, 0\,

x'gz "" 4X;J + 5X 1 = (0. 5,4, 01· X~2 = 6X:3 + 5X", = (0, 0, 6, 5).

Para no, compliear fa escruura, CD 10 SUCCSIVO designaremos esios puntos por YI• Vi, Y4. (respectivamente), yen lugar de X,J escnbirernos 1-:3.

, Los. puntas YJ, Yi, 1-'2, Y4 forman el conjunto fundamental de.soluciones para )JU' sistema compuesto POf- (~O))' ]?OT laprimera

desigualdad de (t9). - -

A dicho sistema agregamos Ja segunda desigualdad de (l9), y ecmpenernos fa siguierile-Iabla:

o

--t

Yl II :0 0
Y1 5 0 3 0-
r-,- 0' :'i 4 e
'[
Y4 0 0 6 5 -lJ

86

En la tabla vemos que Yl, t'2 cumplen 1a fuJieion de 'Ios puntos Y:; YJ, Y4l la de los puntos YiI, mientras Clue puntos del tipo

Y~ no hay. .

Hallamos los puntos del tipo y~"

ytl = 3eYI + Y3 ='(15, 0, 10, .0) = 5 (3" 0 2 .0), yjj = 3Y:\. + 3Y3.= (.0; 15, 15, O)= 5(0, 3,3, .0); Y?4 = i3 Y1 + Y,j = (65, 0, 45, 5) = 5 (13, .0, 9, i), Y~4 ,= i2 Y, + 3 Y4 == (.0, 65, 7.0, 15) = .5 (0, 1.3, 14,3).

Los puntos Yl' Yi, n3. n3. YY., n4 forman el conjunto fundamental de solucionespara el sistema (l9). (2.0). La solucion general tiene la forma

X =-al'l + bYi + C~Y?:3+ dY~3 + eY~iI- + fY~4 =

= a (5, D. 3, G) + b (.0, 5, 4, .0) + 5(' (3, .0, 2, .0) +

+ 5d(P" 3,,1, .0) + Se(13, 6, 9, 1) + 5[(.0, .13, 14, J),

siendo a, b, c, J. e, f cualesquiera n.umeros no negatives,

Si considerarnos a = kJ' b- = ki, ,5(' = k" Sci = k4' 5e = k j, Sf = = k.." entonces obtenernos para X Ja representacion

X = k , (5, 0, 3, .01 + k1. (a. 5, 4, U) +' k) (3 • .0, 1, 0) +

+ k .. (0. j, 3, 0) + kdl3, 0, 9, L) + 1.:6 to. rs, 14, 3), (21)

siendo kJ• kl' ,_, It" numeros arbitrarios no negatives.

Para finaHzar este punto, seiialarernos que junto con la .demostracion de la existencia de un conjunto fundamental de soluciones para eualqurer sistema -ho.rnogeneo de qesiglJaldades lineales, Sf:c demuestra Illml:iien el teorema 2' del p<l'rrllfo 7 sabre 11l estruerura de cuaiquier CODa poliedro convexo (vease pag, 64).

* 10. RESOLUaON DE UN SISTEMA HETEROGENEO DE DESIGUALDADES

Ahara. cuando hemos aprendido a Iormar 13 solucion comun para un sistema homogeneo de desigualdades, no AQS sera dificil resolver un problema semejante -CQn relacion a un sistema d¢ desigualdades arburario, es decir, heterogeneo,

81

Sea

Q1Xt + Q1X"1 + ... + a.x" ~ a, } ,b,Xl + b1X2 + .-. + box.. ~ b,

(I)

. c;x, +'C2~1 ~ .• + C~\.·.·~ c,

un sistema arbitrano de desigualdades Iineales con fl incognitas Xl. X2. "', X". Examinemos Junto con el el sistema homogeneo

a, IX, + G2Xl + .,,, + a~~~ - at ~ 0,)

b1xJ + b1Xl + .. , + b,.x. - bt ~ 0, (2)

••• _ ••• I •• i ...

CIXj + C2X2 + ... + C"x" =c: ~ 0, con n + 1 incognitas XI> Xl> ..• , x". t,

Entre las soluciones de los sistemas (ll y (2) existe una relacion de determlnado contenido. Precisamente, si Xl> ,\:l, '" x,..' es una solucion cualquiera del sistema (2) y. adem as, t > 0, entonces los mimeros

(3)

seran solucion del sistema (1).

En -efec.to, veamos, pot ejemplo, la primera desigualdad de (2).

Esta se cumple para Los mimeros Xl, Xl. _ , ., XII' I, o sea,

Q,XI + u2X2 + ... + a"x,; ~ as.

Dividiendo los des miembros de esra desigueldad por el numero positivo l; rendremos

alx, + a2.i:i + . , . + a"x"·~ ii,

pero esto significa que eJ cd:pjunt{J de numeros x\. Xi. X" satjsface,la ptimera desigualdad de (1). Un calculo semejante puede realizarse con respecto a cualquier desigualdad de (2): de! aqu i.

pues, se deduce nuestra afirrnacion, .

No es dified observar que ouaiquier solucion del sistema 11) puede ser obtenidapor el metoda indicado, En efc;p{o,. si ,iI' ;ii, .. , • ", X" es una solucion cualquiera del sistema (1), enronces los numeros XI= xl> Xl = XZ, ... , x~- = .-(~, (-= 1 satisfacen el sistema (2) Y ';D este casu son valida!, Ias igualdades (J)_

ASI, pues, para hallar todas las soluciones ,\.\, X2, _. _, i. del

88

sistema (l),se debeuhaltar todas las soluciones del .sisterna (2), .pata las cuales I:> 0, y- transformer oada una de ellas conferme a las formulas (3).

E.iEMPlO. Supongamos quees pr eeis 0_ ballar todas las soluciones del sistema

- 3Xcl - '4:\;2 + 5~~ ~ 6,

2Xl + 3X2- 3}C3 'il- -1, . ."I:il ;;:::0, X2 ~ 0, X3~O,

Procediendo dela forma indicada, formamos el sistema homogeneo

auxiliar -

-3xt - 4x.2 + 5X3 - 6t; P' 0,

2XL + 3X2 - 3X.3 + t ~ 0, Xl ~-o. X2 :)c'O, X3 ~O.

Agregandoa este sistema la desigualdad t ~ 0 [puesto que nos interesansolameate las soluciones,p&ra las cuales t > 0), obtenemos el Sistema (,19), (20) del parrafo9, con la uaka diferencia, que en -lugarde );4- tenernos t. EI conjuntode scluciones de este sistema, como demuestra elparrafo 9 [vease (21) en el parrafo 9] se express mediante las formulas

.Xl = Ski + 3k) 1- 13ks, x~ = Sk,_ + 3k4 1- IJk.6,

x~ = .3k, + 4kl + 2k~ + 3k4 + 9ks + 14k!),

, = ks + 3kf"

siendo kl .• k:Z" ..• , "IS" cualesqulera numeros no negativos. Como

nos interesan solamenre las soluciones, para Iasccuales r> 0 .• entonces debemos considerar que por .10 menos uno de losmirneros ks, .kG es dif\iirente de. cero [estrictamente positiyo,), A contjnua-d6n hallarnos la sol.u.ciop comun Parae! sistema (4)por las 'formulas

89

Ski + 3k'J + 13ks k5 + 3k6

3k2 + 3kA + 1Jk6 X2 =

k$ + 3k6

3kl -I- 4k% + 2k'l + 3k4 +9ks + 14k6 ks + 3k6

(5)

Seiialamos una vez mas que en estas formulas k!, 'k% ••..• k6 son cualesquiera nurneros 00 negatives, ademas, por 10 menos uno de los numeros ks, k6 es diferente de cera.

AI establecer que la.resolucion del sistema ll) per el metodo indicado anteriormente vse reduce a la resolucion del sistema homogeneo (2), cle heche, hemes demostradoel reorema 3 delparrafo 7 sobre la estructura db cualquier region poJiedrica convexa. Lo ilustraremos, tomando como ejl,'lmplo, el sistema (4). Sea

k'<= kl ( 3 4i)

I It k i = t, 2. • 'I;

l + 3 6

como los numeros kh k2• kl' k4 son arbitrarios no negatrvos, entonces tambien los mimeros k'i ,kl, k). k~ sou arbltrarios no negativos, Segurdamente suponernos que

kl - ks k' _ lk6 -

5 - ks + 3k6' 6- ks + 3k"€> •

los mimeros k, y kf; no son negatives y estan retacionados, poria condicion k~ + k~ == I. Ahora las formulas (5) pueden ser -expresadas en forma de una sola igualdad

(x" X2. x;J) =< k'i (5, 0, 3) + kl (Q, '5, 4) + + k3 (3. O, 2) +

+ k~ (0, 3, 3) + k;(13, 0, 9) + k~ (0, ~, 134} (6) lnrroducirnos Jas siguientes designaciones:

X I = (5, 0, 3). X:2 0= (Q, 5, 4). X) = {3, 0, 2), X" = (0, 3. 3), x, = (13, 0., 9),

( t3 14)

X6= 0'3'3'

Teniendo en cuenta las resiricciones establectdas anreriormenre para kl. '/"., .k; Y 1<4 Y tambien para k~ y k~, ahora podernos interpretar la ignaldad (6) de 13 .siguieme forma: etconjunto de. soluciones del sistema (4) es (X II Xl,. X 3, X",) + (X ,. X 6)· Con ello, Is afirmad6n roi'mulada en el teorema J del paJ1rafo 7 queda demostrada para el sistema (4).

90

§ It SISTEMAS iNCOMPATIBLES

Hastael momento nos bemes interesado preferentemente por .aqueilos 'sistemas de desigualdades que tienen por 10 menos una solucicn (son compatibles). Con respecto a los Sistemas iMompa:· tibles, ·SJ:! estudie represenia, a pnimera vista, una o.oupa.ci6n innecesariarademas, pareee poco real que con sistemas semejantes -se pueda crear una teerfa, sobre algo mas omenos, sustanciai, De hecho, la situaeion es completamente otra: las propiedades de Ios aistemas ineompatiblee no solamente representan inter~ como tales, sino que nos abren la poslbilidad para. comprender unaserie de hechos importantes. Asi, por ejemplo, el teorema fundamental de Iii. programacien lineal (teorema: sobre la dualidad, veaseparraf6 15) se demuestra, a fin de cuentas, mediante algunas propi¢dade$ de sistemas incompatibles,

Etami:nemos unsistema aibittario de !;\esigualdlu;!es lineales.

Para comodidad de esoritura, de rnomento consideraremos que el n.umero deinc"6gnitas es igual a tres, aunque todo Icexpueste Sf. refiere en igual medida a sistemas con cualquier mi'mero de incognitas,

Asi. pues, tenemos el sistema

G1X-, + b,,'.IY, +, CJ.',Z+, d.), ,;>-0,., }',

a1x + b1Jl + C.lZ, + d2P 0, , (1)

, ~ • ~ • I • •

a .. x + hoiy + {"IIlZ +d",;?J; o.

Multipliquemos los dos miembros de la primera desigualdad de (J) por un mirnero eualquiera no negative kl' los dos miembros de la segunda, por un mimero no negativo k2 y asl sucesivamenre: sumemes despues lasdesigualdad~sobtenidas, Como reaultado Uegamos a la desigualdad

(kJ QI + kz'a'!., + .' + k .. a",) x + (kl b:1 +kl b1, + _. + kmb",)y + + (k1c:! + ki.c, + , .. + k",c",}z + Kldl + kj.d1 + .. ,

,,_ + kpli", ? 0, (2) Ia cual Ilamaremos cOinQmacfimde la'S desl'gualdades(J.).

'PiJe:de resultar que cierta oombinaci'on de las desigualdades (1) represeata Una desigualdad de Ia forma

o . x ,+ 0·· y + 0 . s + d ;;;:. 0, (3)

9]

siendo d un mimero estrictamenre negative [despues de dividir por I d I obtenernos la desigualdad ~ 1 ~ 0). Esta clare que esta desigualdad no podra satisfacer ningtin conjunto de valores de las incognitas, por 10 tanto, en el caso que analizamos el sistema (1) es incompatible (no tiene solueiones). Es imeresante que tam bien laallnuaCi6n inversa es justa, a saber rsi el sistema (1) es incompatible, entonces cierta cornbinacion de sus desigualdades tendra la forma (3), siendo d < O.

Ahora demostraremos esta afirmacion en forma general (a sea, para sistemas con cualquier mimero de incognitas), pero antes intreducirernos la siguiente deJiniciim. Acordemos deaommar la .desigualdad

ax + by + cz + d ~ 0

por conuadiaoria, si no la satisface ningun conjunto de valores de las incognitas, Es evidente que cualquien desigualdad contradietoria tiene la .Ierrna f3). siendo d. < 0 (jdemuestrelo~). La afirmacion que debemos demostrar, puede serahera foonuJada pOI" el siguiente reorema,

TEOR'EMA SOOIlE srSTEMAlUNCO.MPATlIllEs DE DES!GUAt-OADES s, WI sis" (emu ne desigilOldades lineales es Incompatible ,entonces cierta combination de estasdei(guafdades es. una desigualdwJ comrodictoria.

DEMOSTRActON. La efeetuamos por el rnetodo de mduccion por n-esimo nurnero de incognitas para nuestro sistema

Siendo n = I, dicho sistema tiene la forma

GIX .• + (>1 ~ 0, } a~x +·h2 ~ 0,

• I • _ , •

<.l ... X + b",;:;" O.

(4)

Se puede considerar que iodos los coeficientes all U2 •...• a", son drstimos de cero. En efecto, si, pOI ejemplo, lj'1 = 0, entonces la primera desigualdad tendra la forma 0 . x + bl dl:- O;siendo el numero hi no negativo esra desiguaJdad puede ser suprimida; siendo b1 un [1I1merO negativo, la primera desigualdad de nuestro sistema es comradrctorta y no tendremos que demostrar.

Asl. consideremos que nmguu mimero OJ, 11" ., a", es igual

a cero, Es facil observar que entre estes uumeros forzosamente riene que haberlos tanto positives, como negarivos: en efecto, si iodos los numeros indicados ruviesen un mismo signo, por ejem-

9i

plo, fuesen positivos, entoncesiel sistema (4) se red ucirfa.a Ia fonna

b x ~ _-.!!..

a".

y, por eonsiguiente serla compatible,

Supongamos, para precisar, que los primeros *' numeros,de a,\, Ul •• - .• Um son positives, mientras que los restanres m - k son negatives. Entonces el sistema (4) es equivalents al sistema

• .. "" f ~ ..

.x.:::; _ Q""

, am 'I

(S)

bl bk .'1 .,

, •. _, - ~ e'. maXlm@; .supon-

alUr . ,

. I d ho m hi E-

games, per eJemp,,-o, que 'IC.O numeroes' - __;___.-IHonccs, en el

- a .

sistema (5) las primeras k desigualdades pueden1 ser reemplazadas 'por la prirnera desigualdad. De forma analogs elegimos entre los

b ' b

numeros ~ 1+-1, _..._ ~ el.rrninime, emonces las restantes

(/4+1 an,

m - k' desigualdades del sistema (S) pueden ser reemplazadas por Is ultima desigualdad, ASl, pnes, el vsistema (4) es equivalente

Elegimos entre los Dtu:neros

93

,a un sistema de dos desigualdades:

. bl

X~--', aL

b", x"';;; -'lim'

y su in~mpatjbHidad slgJUfLca que

b l b",

-->-""jj""'

01 am

(6)

De (6)se deduce que

(hay que tener en cuema que a.! :> 0 y am < 0). Si multiplicamos ahora la pnmera des.lgualdad de (4) por un numeroposilivo -'a", Y la ultima, por un nO.mera. posmve Pj,' y despues surnames, tendremos la desigualdad

0, x + (boral -6 L aJ ;;,.. '0, 18)

la cual s~g(in (7) es eontradietona. Asi, pues, para sistemas con una incognita el teorema es valido,

Supongames ahara que la afirmacton del teorema es valida para sistemas de desigualdades CGn /1'- I incogrritas y. busandonos 'en ·esta suposicion demostraremos .que dicha afirmacion es vatida para elcaso de 11 ·illcOgnitas.

Entonces, sea dado un sistema incompauble de desigualdades lineales con II incognitas XI< X2, .,., x";. ateniCndono.S: a las designaciones dadas en el parrafo S designamcs este sistema por "sistema (S)"~ Formamos parael un sistema asociado (S~); este ultimo serif ineompatible seguidamente despues de (S}. Como en el sistema (5') el niimi:rD de incognitas es igua] a 11 - I. con. respeeto a este sistema puede aphcarse la snposicion de induccion. Esro significa que cierta combinacion de desigualdades, del sistema (5') representa una desigualdad ccntradictotia. Perc noes: dificil ver Jluecada dcsiguuldad del sistema(S') esunacombinllci6n de desigualdades del. sistema ($): en efecio, S~ slmnlememe.sumamos las desigualdades R"i, ~ """oil Y .ten ~ :Q~ del ststema (S), obtcnemos Pi> + x.·~ X."+ cQIl"' b bien, P~?f.QIl' es deoir, una de lasdesigualdades del sistema' (S') [vease el * 8, sistemas (T) y (S')] .. Del esto. a su 'ICZ, se deduce que Piette corablnacron de designaldades del

94

sistema rnicr .. 1 {S)es "rna desigualdad ,cpQ.tradicloria. El teorema queda demostrade.

El teorema sobre vsistemas virroorrrpatibles de desigualdades lineales es solamente una de las manifestaeioees de I!J. profunda anal og ia, exjstente entre l:i$ propiedades de sistemas de desigualdades lineales y de sistemas de ecuaciones lineales. 51 probamos cambiar, en la Jormulaoion del teorerna, la palabra "desigualdad" POt "ecuacicn" tendremos La siguiente afirmacion:

SI' un SlsteTTW de tcuac'iolfes lineales es incompatible, etuonces rienac ('omninaci(mde dicha:> ecuac_iond es lina ecua.don contrad ic t /)1' ill.

Result» que esta afirmaci6f1 ramb'ien es Justa. Con una formulacieualgo distinta, dicba afirmacion se llama lepremn de Kronecker ~Capelli 'y se demuestraen el curso de .iilgebra Uneal (asi se Llama una parte de las maternaticasren Iacual se estudian las operaciones lineales, 0 sea. operaciones semejantesa Ia adiccion de puntas y multiplicacion deput1tas ,POT un numero en un espacio a-dimensional], Ademas, para que 10 dicho sea comprendido correeramente, es precise liacer algunas precisioaes sabre eJ con. cepro 'de "combinacion", Una combinacion deecuaciones se confecciona deIa misrna forma que una combinacion dedesiguatdades, con la unica difereneia que se perrnite multiplicar estas ecuaciones por cua!esqllieran\rmel:os_ y no solamente por numeros nonegarivos, Lomismoque para vdesigualdades, la ecuaeion que no {_iene solucienes se llarnacontnldieLOrla. No sed clilJdl demostrar que las ecuaciones contradietorias forzosamente tienen que tener la CQfl11a:.

o Xl + 0 . Xz + .... + 0 . x~ + b = 0,

(9)

siendo b un numere diferente de cera (pespue.'l' de div idir los dos miernbros par b obtenemos la "ecuacion" 1= 0).

Sumamente. nnportante esun uaso particular del 1!,!9fe~a sabre s-istemas incompatibles ae desigualdades, prceisamente, wando el

slsl ema dado eontierre las desigualdades - .

(10)

Desjgnando portS) la 'Plli'te restante del sistema, sepnede decir que eL'pr.ol?Jema' consiste en hallar todas las soluciones no rtegativ(Js del sistema (S) [0 sea, soluciocesquesatisfa.ga.n las condiciones (10)]. Si este problema no ueneso]uclones. entonces, conforme 3.1 teorema que acahamos ide dernostrar, cierta combinaoion de

95

desigualdades del sistema (.$);

Qj,Xj + 02):1 + ... + Q"x ... + a ~ O.

(11)

ensums con cierta combinacion de las desigualdades (10), k j X I -I- k2Xl + .. , + k"x. ~ 0

(klco k2' "" Ie,. no son negarivos),

dara una desigualdad contradictoria

O· Xl + O· X'l + ... + O· x, + q ~ O. siendo c un numero negative, Por consiguiente,

01 = -kl ~ O. t12 = -k2 ,<S; 0, .. ,' a" = -k" <>;; 0, a < O.

Formulemos el resultado obtenidocomo una afirmacion particular,

COROLARfo,.oEl. T80REMA SOBRE'SlsTEMAs INCOMP .... l1l1LES, Si un sistema de desigua/dades earece de soludones no neg at i pas, 1!lltonces eierta combinacion de dichas desl{1ualdadeses una des ig ualdad de fa forma (11), en la que todos /vs coejicience,s a \. 02' •• , an ~ O. y el termino lndependieme a < O.

§ 12. CON os POLIEDROS CONVEXOS RECIPRO-QAMENTE CONJUGADOS

En el parrafo 4 hemos expuesto algunos hechos referentes a .conos poliedros convexos: en el presente parrafo examinaremos hechos complementarios de la teoria de los conos co nvex os,

Cada cono poliedro convexo con el vertice en el origen de las -ceordenadas en un espacio tridimensional, conforme se detnuestra anteriormente, es una region de soluciones de cierto sistema de desigualdades homogeneas lineales con Ires incognitas:

"IX + b1y + CjZ ~ a,} a,x + ~y+t,: ~ Q

a",'" + bmy + CmZ ~ O.

Supongamos que adem-as de este, sistema se da una desrgualdad aparte

ax + by + cz ~ O.

96

Consideramosque la desigualdad (2) es constcuencia del sistema H), si cualquier conjunto de valores de las incognitas X; y, z que sat is_face el sistema (1), satisface tambien la deslgualdad (2).

Naturalmerue, eualquier desigualdad, siendo una combinaeion lineal de las desigualdades (1), es consecuencia gel sistema f.l), Pero, 6,e$- valido 10 inverse? Resulta que si,

TEOREMA I, La desigua[dad homogenea (2), siendo eonsecuencia del sisremahomogeneo (l). puede ser represeniada como una eombinadon lineal de las tIesigualdades (1) ..

, DEMOSTRACION Para cornodidad de escritura, en 1.0 sucesivo, designaremos los prlmeros miembros de la primera, segunda •... . . . , m·esjm~ desigualdades del sistema (I) por PIP 1, ',., P", respectivamente, y 1,',1 primer miembro de Ia desigualdad (2), por 1'.

Ast, pues, tenemos dado el sistema '

PI~O'}

P2 ~ 0,

(1)

....

fm~O.

"}oJ tam bien Ia desigualdad

p~.O;

(2)

que es consecuencia del sistema. Es precise demostrar que esta desigualdad puede ser expresada como una combinacion lineal de las desigualdades (.1~.

Puesto que l~ deslgualdad P ~ 0 es una consecuencia del sistema (1), eptonces la desiguladad P ~ - t, par el eontrario, es incompatible con este sistema; ·es 'decir, el sistema mixto

PI ~ 0.'

P2 ~.O,

P",~O, -p -1 ~ 0 •.

~s incompatible.

Conforme al teorema sabre sistemas incompatibles. eierta combinaci6n lineal de las desigualdades (3) es U[L;'\ desigualdad contradietoria, En otras palabras, existen lIl10S numeros no negarivos

97

klok2' ,., .• k"" k",.q tales, que Ia d~lgWJIQad

krP L + kl P 1 + , .. + k",P", + ~",·t I (..,... P - !) _;,: 0

(despues de una reduccion de las terrnmos semejames) teudiu la forma

o ',X + 0 . y+ 0 • t + d pl 0, donde d .es un liumero negative. PDf consiguieme.

k.IPI + k-z.P1 +, .. + x .. P", - k",+tP = 0- X + n l' ·t- () ::

y -k,n"!" j =d es un numero negative, De elle resulta que

k\. . k", P

P = k ... + I P 1 + ... + k", + -;- . "'.

a demas, los factores de PI' , ... " Pm rio son negati vos. Pol' [0 visto, este signilicaque la desigualdad (2) es una combinacion lineal. de las desigualdades (I); esto, pues •. era precise dernosrrai

EI teorerna demestrado represents inreres como tal, pere ml'is curiosa es su contenido geomerrico. Para darsele a conocer a nuestro I ector, .tendremos, que valernos de algunos hechos de: la g~metdaanaHtica: por cierto queestbs son tan elemcnrales, como los poeos hechos de. La geometria analitiea -que vernmos utdizande hasta aqui.

Sean

A(x \J z)

, ~h, .r-.;4. A ~

dos puntos en el espacio diferentes del origen de .las coordenadas () ApUquemas, Call relacion al trianguto OA.B (fig. 47) el aSI Ham ado "teorema de los cosenos", oo.nfQr:meaJ eual, el cuatlrado de cualquier lado de lLO tera_oguIo, es igual a la surna de los. cuadrados de los otros dos lades menos el producLo doble de es[o:~I.ldos par elcoseno del sngulo entre ellos,

En el caso dado

A.Bl= 0.42 + OIP ~ 2:·0A, 08-COl; '!p. (41

siendo <puo ,cingula entre los segmentos OA y OfJ .. 1'taO OA': = .~.~. ~. y~ + l~.

082 == x~ +y~ + i~,

ABl == (X4 .~ X,S2 + U'A - YJJ)~ + (z..! - Z8Y.

o sea que de:spue..~ de reducir los t erminos semejames, obic:1,lcmo..,

9R

-2{X;lXIl+ Y~Y8+Z.(Z8)= -2.-0A·O:B-costp. (5)

£1 lingula qr sera no ag~tldo etl3Quei 'j SQio en aquel ease, euando cos. {{l';';l~ 0. Por 10 tanto tam bien de (S)se deduce que el ungula 'ent-re los seqmento« OA J' OBsera .no agrldo en aquel Ji solo en aoue! i'aso, ruando

X"X9+ FAYS + ZAZiJ " O.

Acorda.remQs.en .adeiante designar Ia expresion que forma el pruner rmembro deesta desigualdad, btevemenie, por (A, B);

(A, ,8) =XAXB + ):'AYB + ·Z,jZ,B.

Entonces, 1'0 cliche antehorn:iente se puede parafrasear de la siguiente forma.

1

y

Fig: 41.

£1 angu/i:J eaire los ,~egmefltOS OA y DB sera IUJ aglldo en aquel' v solo i'1l -aque! CaSQ;cuand.a

(A,. B)~O.

Psecrsarnente, estos son todos \05 conocirnientos de la geometria analmca quenecesrtamosen 10 sucesrvo. Para. finalizar, seiiataremos una p.rop.ledad de la magnitud (A, B):

(krAt + -k~A~" B) = kt (A 1< B) + k2 (A2' -8) (6.)

sean. cuales .sean los numeros k, s s« La, demosrracion es casi

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->