Problemas de Máximos e Mínimos

Transcrição

1 UNIVERSIDADE DE LISBOA FACULDADE de CIÊNCIAS DEPARTAMENTO de MATEMÁTICA Problems de Máimos e Míimos Belmiro d Silv Ferreir Mestrdo Mtemátic pr Professores Lisbo 0

2 UNIVERSIDADE DE LISBOA FACULDADE de CIÊNCIAS DEPARTAMENTO de MATEMÁTICA Problems de Máimos e Míimos Belmiro d Silv Ferreir Dissertção orietd pel Professor Doutor: A Cristi Brroso Mestrdo Mtemátic pr Professores Lisbo 0

3 Resumo Os problems de máimos e de míimos suscitm grde iteresse os mtemáticos, priciplmete por resultrem muits vezes de situções do di di. São presetdos problems clássicos e outros visdo percorrer diverss áres d mtemátic, sem os distcirmos d su plicção o esio d mtemátic o secudário. As resoluções presetds, bseds um peque fudmetção teóric, têm preocupção de brcr diferetes bordges e proporcior o relciometo de coceitos. Plvrs chve: máimo, míimo, derivd, otimizção.

4 Abstrct Problems of mim d miim re very iterestig to mthemticis, i prt becuse they rise i everydy situtios. We preset some clssicl problems d others spig vrious res of mthemtics, keepig i mid their pplictio i the techig of secodry school mthemtics. The solutios preseted here, for which we provide short theoreticl bsis, ited to cover differet pproches d llow the possibility of reltig cocepts. Keywords: mimum, miimum, derivtive, optimiztio.

5 Ídice Itrodução.... Prelimires..... Fuções de um vriável..... Fuções de dus vriáveis Etremos livres Etremos codiciodos Refleão e Refrção Problem de Héro Resolução Geométric Feómeo d refrção.... Problem de Dido..... Áre de um polígoo regulr em fução do úmero de ldos Áre de um região trigulr Triâgulo de áre máim e perímetro fio Estudo usdo um fução de um só vriável Estudo usdo um fução de dus vriáveis As belhs e mtemátic Porque é que os lvéolos ds belhs são hegois? Porque rzão o fudo dos lvéolos ão é plo? Cálculo do âgulo diedro dos losgos, qudo áre é míim Âgulo de iclição dos losgos do topo Produto máimo Som fi Estudo usdo um fução de um só vriável Estudo usdo um fução de dus vriáveis Som dos qudrdos fi Estudo usdo um fução de um só vriável Estudo usdo um fução de dus vriáveis Outros problems Médis Médis pr mis de dois úmeros Aplicções ds desigulddes ds médis... 7 Bibliogrfi... 78

6 Agrdecimetos Apreseto os meus grdecimetos à Professor Doutor A Cristi Brroso por sempre se ter mostrdo bstte iteressd e dispoível, pelo que, su orietção foi importtíssim elborção deste meu trblho.

7 Itrodução Os problems de máimos e de míimos desde de muito cedo despertrm teção dos mtemáticos. Por eemplo, os gregos o século III.C. já sbim que de tods s curvs com igul perímetro, que evolvi mior áre er o círculo. Cotudo estes problems erm resolvidos utilizdo processos egehosos, ão hvedo um form sistemátic de os solucior. Só o século XVII, Fermt desevolveu o primeiro método gerl pr determição de máimos e míimos. No etto este método er um procedimeto lgorítmico desprovido de qulquer fudmetção demostrtiv. A geerlizção d resolução deste tipo de problems prece com o trblho de Newto e Leibiz o desevolvimeto do Teorem Fudmetl do Cálculo. O iteresse deste tipo de problems reside sobretudo form como são dptdos o quotidio e situções d vid rel, permitido modulr e iterpretr feómeos à oss volt. Com iúmers plicções em diverss áres, como Físic ou Egehri, têm tmbém um grde importâci ível pedgógico. Aplicáveis vários coteúdos d mtemátic, pr lém de desevolver o estudo do cálculo diferecil, proporciom trblhr coceitos reltivos fuções, trigoometri, geometri etre outros. Após um peque revisão de coceitos teóricos que permitem e fudmetm resolução dos problems de máimos e míimos, form seleciodos diversos problems, visdo cobrir um grde áre de coteúdos mtemáticos e diferetes forms de bordgem. De referir que grde miori dos problems presetdos são de plicção diret ou de fácil dptção o esio secudário, omedmete º o. Algums ds resoluções são eriquecids com mis do que um bordgem e por vezes prece um resolução usdo fuções de dus vriáveis. Por fim, fugido um pouco o método clássico, são plicds proprieddes ds médis o cálculo de soluções ótims de lgus problems, que utilizdo outros métodos serim de difícil resolução.

8 . Prelimires.. Fuções de um vriável Cosideremos um fução rel f ( ) defiid um itervlo I. A t de vrição médi d fução etre dois potos A, f e, M f com f f, Ie, é dd por A t de vrição d fução o poto A é o limite qudo d rzão icremetl f f A t de vrição médi d fução etre dois potos A e M é o declive d ret AM, secte o f f gráfico d fução os potos A e M. A ret t cujo declive é igul o lim tgete o gráfico d fução o poto A., diz se Defiição. Diz se que um fução f, rel de vriável rel, defiid um vizihç de um poto f f, é difereciável em, se eiste e é fiito o limite: lim derivd de f o poto e represet se por f f f h f f lim lim h0 h. A este limite chm se. Diz se que f é derivável ou difereciável à esquerd em se eiste e é fiito o limite: f f f h f lim lim f e h0 h. Diz se que f é derivável ou difereciável à direit em se eiste e é fiito o limite: f f f h f lim lim f d h0 h Se f f etão f é derivável ou difereciável em e tem se f f f e d e.. d

9 Defiição. Diz se que fução f : D é um fução derivável ou difereciável o berto D se for derivável em todo o poto de D. À ov fução f: D, f( ), chm se derivd de f. Not. Se f é difereciável um poto, o declive d ret tgete o gráfico de f o poto A, f é igul f y f f.. A ret tgete o gráfico esse poto tem por equção Proposição.4 Se f : D é um fução derivável em it esse poto. D, etão f é cotíu Demostrção. Pr D, com temos f f lim f( ) f( ) lim ( ) f( ) 0 0. Ou sej lim f ( ) f ( ), que prov que fução f é cotíu em. f ( ) f f f, pelo que Proposição.5 Um fução f defiid um itervlo berto I é difereciável um poto I se e só se eiste um úmero l tl que se tem um vizihç de em que f f l r (.) r é um fução cotíu e ul o poto (ifiitésimo o poto ) tl que O úmero l é úico e igul f. r lim 0 (.) 4

10 Demostrção. Ns codições do eucido de (.) deduz se que pr f f dode em cosequêci de (.), vem lim e que f l. se tem, f f r l, l, o que prov que f é difereciável em Reciprocmete, se f é difereciável o poto, escrevedo, obtemos (.) com l f. A fução r f f f r verific s codições d proposição, pois é difereç de dus fuções cotíus, logo é um fução cotíu, é r f f ul o poto e verific (.), um vez que lim lim f0. Lemos relção (.) dizedo que r é desprezável ou muito peque em comprção com um vizihç de e escreve se, usdo otção de Ldu: r o. (.) As relções (.) e (.) d proposição.5 podem sitetizr se um úic iguldde: f f f o. (.4) Teorem.6 Sejm f, g: D fuções deriváveis em it D; etão. f g. f g ; é derivável em e f g ( ) f ( ) g ( ) ; é derivável em e f g ( ) f ( ) g( ) g ( ) f( ). f é derivável em e f ( ) f ( ) f( ), ; 4. Se g () 0, f g é derivável em e f ( ) ( ) ( ) ( ) ( ) f g g f. g g ( ) 5

11 Demostrção.. f g f g f g f g f g ( ) lim lim f f gg lim lim f( ) g( ). Queremos mostrr que: f g ( ) f ( ) g( ) g ( ) f( ) f g f g f g f g f g ( ) lim lim Adiciodo e subtrido f g o umerdor, vem f g f g f g f g f g ( ) lim f f ggg f lim f f g g lim g f f g g f um vez que lim em. g g, porque g é derivável em e por cosequêci é cotíu. Vmos provr por idução que Pr f ( ) f 0 f f f ( ) f ( ) f( ), Proposição Verddeir Hipótese de idução Supohmos pr um certo p, que: p p f ( ) p f ( ) f( ) Queremos mostrr que p p f ( ) p f ( ) f( ) 6

12 Usdo propriedde tem se p p p p f ( ) f f f f f f ( ) p p ( ) ( ) f f f p f f p p p f f p f ( ) f( ) p f ( ) f( ). HI.. 4. Como g 0 e g é cotíu em eiste um berto I cotedo tl que g 0, I D. gg g g f f f g f g f g g ( ) lim lim g f g f g lim diciodo e subtrido f g o umerdor, vem: f g f g f g f g gg f f g gg f f g g f gg gg g f ( ) lim g g g f g g f f g lim lim um vez que lim e lim f f por cosequêci cotíus em. g g, porque f e g são deriváveis em e Proposição.7 (Derivção d fução compost). Sejm f e g fuções reis defiids em itervlos bertos J e I de, respetivmete, tis t0 g I J. Etão, se g é difereciável um poto I e f é difereciável o poto correspodete gt, f g é difereciável em t e 0. f g t f g t Demostrção. Como f é difereciável em 0, pode se escrever f f f o ou sej

13 , em que f f f Substituido por g t, vem lim f g t f g t f g t g t g t g t g t f g t f g t0 f 0 g t g t g t0 dividido mbos os membros por t t0 obtemos f g t f g t g t g t tt t t 0 0 f 0 g t 0 0 pssdo o limite qudo t t0, vem f g t f g t g t g t 0 0 lim lim f 0 g t tt0 tt tt 0 0 tt0 ou sej f g t f g t, um vez que gt tt0 lim 0 por cotiuidde de g em t 0. Proposição.8 (Derivção d fução ivers). Sej f um fução difereciável e ijetiv defiid um itervlo I. Sej 0 y f( ) e f y0. f 0 0 I tl que f ( 0 ) 0 0 ; etão : f f I I é difereciável em Demostrção. Sej f um fução difereciável e ijetiv defiid um itervlo I. Sej y f, como Etão podemos escrever f é ijetiv se y y0 f y f y0 0. f y f y0 y y y y 0 0 f f y f 0 f y f y0 f y 0. Como f é difereciável, logo cotíu e está defiid um itervlo, su ivers portto y y f y. 0 0 f é cotíu e 8

14 Pssdo o limite temos: lim f y f y0 lim y y f f y f f f y 0 yy 0 yy Defiição.9 Sej f : D e D reltivo) se eiste 0 tl que f f, tem em um míimo locl (ou reltivo) se eiste 0 Diz se que f tem em um máimo bsoluto se f f que f tem em um míimo bsoluto se f f, D.. Diz se que f tem em um máimo locl (ou V D. Do mesmo modo, diz se que f tl que f f, V D., D. Do mesmo modo, diz se Se fução possui um máimo ou míimo (reltivo ou bsoluto) dizemos que fução tem um etremo (reltivo ou bsoluto). Proposição.0 Sej f um fução difereciável em 0. ) Se f 0 0 etão f h f f h, h 0 suficietemete pequeo ) Se f 0 0 etão f h f f h, h 0 suficietemete pequeo Demostrção. ) Por defiição tem se que f f k f lim. k0 Como f 0 0 usdo defiição de limite sbemos que eiste 0 tl que se 0 k etão dode Em prticulr, f k f 0 0 k k f f 0 0 f 0k f 0 f 0k f 0 f 0 f0 f00 f0. k k f k f k 0 0 0, 0 k. Tomdo 0 h tem se 0 h e 0 h logo 9

15 f h f 0 0 h 0 f h f e 0 0 f h f 0 0 h 0 f h f 0 0. A demostrção de ) fz se de form álog. Teorem. (Fermt) Sej f : D um fução com derivd em it. em um etremo locl, etão f 0 D. Se f tem Demostrção. Supohmos que f tem em um máimo locl (o outro cso é álogo). Como it D, eiste 0 tl que se, etão D temos f f 0. Logo, e f f. Portto, pr f f f d lim 0. (.5) Por outro ldo, pr temos Ms como, por hipótese, eiste f. De (.5) e (.6) vem f 0 f f 0. Portto, f f f e lim 0. (.6), temos f f f. d e Note se que o recíproco deste resultdo é flso. Por eemplo, fução f verific f 0 0 ms sedo um fução estritmete crescete ão tem etremo em 0. Teorem. (Weierstrss) Um fução cotíu um itervlo fechdo b,, tem máimo e míimo bsolutos esse itervlo. 0

16 Teorem. (Rolle) Sej f :, b, com b, um fução cotíu o itervlo limitdo e fechdo b, e com derivd fiit em todos os potos do seu iterior b,. Se etão eiste pelo meos um poto b, tl que f 0 f f b. Demostrção. Sedo f cotíu o itervlo fechdo e limitdo b,, f tem máimo e míimo esse itervlo pelo Teorem de Weierstrss. Se o máimo e o míimo são tigidos os etemos do itervlo, como, tem se f costte e portto pr qulquer c, b, f c 0 f f b No cso do máimo ou do míimo ser tigido um poto iterior b,. de Fermt que f 0. tem se pelo teorem Teorem.4 (Vlor Médio de Lgrge). Sej f :, b, com b, um fução cotíu o itervlo limitdo e fechdo b, e com derivd fiit o iterior b,. Etão, eiste pelo meos um poto c, b tl que f b f b fc. Geometricmete o teorem do vlor médio estbelece que se um fução f for cotíu em b, e derivável em b,, etão eiste pelo meos um poto c etre e b ode tgete o gráfico de f é prlel o segmeto de ret que ue os potos B b, f b. A, f e Demostrção. Sej f b f g f. b Devido às hipóteses sobre f result que fução g é cotíu em b, e difereciável em b,. Tem se id que f b f f b f gb f b b f b b b b f b f f b f f b f f b b f g b b b

17 portto o Teorem de Rolle grte que c, b tl que gc fc Logo f b f f cb. f b f 0. b Corolário.5 Sej f :, b um fução cotíu em, Se f 0, b, etão f é costte o itervlo, b e difereciável em b,. b. Demostrção. Pr b,, fução f stisfz s codições do teorem de Lgrge em,. Etão pelo referido teorem, eiste pelo meos um poto c, tl que f f f c. Ms por hipótese f 0, b,, logo fc 0 e como tl f f, b, Por cotiuidde de f em b coclui se que f é costte em b,.. Corolário.6 Sej f :, b um fução cotíu em, ) Etão f 0, b, f é crescete em b,. f 0, b, f é decrescete em b,. ) Tem se id f 0, b, f é estritmete crescete em, f b e difereciável em b,. b. 0, b, f é estritmete decrescete em, b. Demostrção. Sej f um fução s codições do eucido e tomemos y, b, Teorem de Lgrge c, y tl que f y f y f c. Etão fc 0 f y f 0 (respetivmete f c f y f é crescete (respetivmete estritmete crescete) em b,. A demostrção pr o cso decrescete é álog., com y. Pelo 0 0) ou sej, f

18 Sej f :, b um fução moóto crescete, isto é,. Como f é derivável em c, b y, b,, y f f y f f c pr c, coclui se que fclim 0. c c e Do mesmo modo, se f é moóto decrescete e derivável em c, b, f c 0 f f c c. 0, Observções. O recíproco de ) do último corolário é flso. Tome se mis um vez como eemplo fução f ( ), que é estritmete crescete. No etto f A hipótese d cotiuidde de f o itervlo fechdo b, é muito importte, pois se ão se verificr o resultdo é flso, como podemos ver o seguite eemplo: f f, se 0, se 0 pr todo 0, O corolário ão pode ser plicdo porque e o etto, f ão é crescete em0,. f ão é cotíu o poto. Result imeditmete do corolário terior que:. Se Teorem.7 Sej f um fução difereciável um vizihç do poto c tl que f c 0 eiste 0 tl que: i) f 0, c, c e f 0, c, c etão locl. ii) f 0, c, c e f 0, c, c etão f c é um máimo f c é um míimo iii) locl. f tem o mesmo sil em c, c c, c etão f c ão é etremo locl.

19 Teorem.8 (Vlor Médio de Cuchy) Sejm, :, itervlo limitdo e fechdo b, e com derivd fiit em b,, eiste pelo meos um poto c, b f g b, com b, fuções cotíus o tl que b,. Etão, se g 0 f b f f c. g b g g c, Demostrção. Note se que gbg 0, porque cso cotrário pelo teorem de Rolle eistiri c, b. que g c 0 Sej Tem se f b f h f g g b g. f b f f b f hb f b gb f b gbgg g b g g b g f b f f b f f b f b f g f gh g b g g b g tl h é cotíu em b, e difereciável em b,, porque f e g são cotíus em b, e difereciáveis em b,. Etão pelo teorem de Rolle, eiste c, b tl que f b f h c f c g c g b g 0 f b f f b f f b f f c Logo fc gc0 gc fc. g b g g b g g b g g c. Defiição.9 Sej f : D um fução difereciável em D e sej it D. Se f é difereciável em etão diz se que f é dus vezes difereciável em. A segud derivd de f em represet se por f f e é dd por: f f lim. Se eistem ordem em : f f, f,..., f em D e lim f é derivável em, etão diz se que f tem derivd de f f. 4

20 A fução f diz se de clsse C em D e escreve se f C D, se tods s derivds de f té à ordem forem cotíus em D. Proposição.0 Sej f :, b um fução dus vezes difereciável um poto c, b. Etão, tl que f c 0 ) se f c0 c é poto de míimo locl. ) se f c0 c é poto de máimo locl. Demostrção. ). Supohmos que f c 0 Pelo corolário.6 plicdo f, 0 tl que, se c c c etão f f c f. tem se Como f c 0 f 0, c, c e f 0, c, c, logo teorem.7. f c é míimo locl, coforme o Alogmete se provri )... Fuções de dus vriáveis Defiição. Sej f : D um fução defiid um prte D de. Sej poto iterior D. Diz se que f tem derivd prcil em ordem o poto b, f eiste b,, f, e o úmero rel b, f h b f b, lim h0 h de f em ordem o poto b,. Pode se id defiir derivd prcil de f em ordem y o poto b,, como: f y,, f b k f b b, lim. k0 k b, um qudo chm se derivd prcil 5

21 As derivds prciis de ª ordem de um fução f, pelos símbolos: y de dus vriáveis, são represetds f f, f f y y, f f y y, f f. y y y Defiição. Um fução f : A cotíu em A ; diz se que f é de clsse qudo eistirem tods s derivds prciis de ordem, diz se de clsse k C em A,,,... 0 C o berto A qudo f for k k, e escreve se f C A, k de f em A e forem tods cotíus em A ; f diz se de clsse C k em A, qudo f C A pr qulquer 0,,,,... k. Teorem. (Schwrz) Se f : A é de clsse C o berto A, etão f f y y em todos os potos de A. Defiição.4 Sej f : D um fução defiid um prte D de e sej b, um poto iterior D. Supohmos id que f tem derivds prciis de primeir ordem em b,. Etão chm se grdiete de f o poto b, o vetor cujs compoetes são s derivds prciis de primeir ordem de f clculds o poto f b,. Assim, b,. Represet se por grd f, f f f b, b,, b, y Os potos ode o grdiete de f se ul desigm se potos de estcioridde de f. b ou Defiição.5 Sej f : D um fução defiid um prte D de e sej poto iterior D. Diz se que f é difereciável em b, se e só se eiste tl que:,,,, f h bh f b h h o h h, oh, h em que fução oh, h, stisfz codição h, h 0,0 h, h Pode se mostrr que eiste um úico vetor lim 0. ests codições e que f b,. b, um 6

22 ... Etremos livres As oções de etremo presetds defiição.9 geerlizm se de form turl às fuções de dus vriáveis. O resultdo seguite é cosequêci do teorem.. Teorem.7 (Fermt) Sej f : D D. Etão, se f tem um etremo em, um fução difereciável o poto, b, tem se f b, 0. b, iterior Defiição.8. Sej f : D e b, itd, um poto de estcioride de f. Se f ão tem um etremo em b,, etão b, diz se um poto de sel. Apresetmos em seguid eemplos de gráficos de fuções que possuem um míimo, um máimo e um poto de sel em (0,0). A fução f y y, possui um míimo em (0,0) A fução f y, y possui um máimo em (0,0) A fução f y y, possui um poto sel em (0,0) Defiição.9 Se f for um fução de clsse C o poto b,, chm se mtriz hessi de f em b, e represet se por H b, à mtriz dd por H, b f f y f y b, b, f y b, b,. Trt se de um mtriz qudrd do tipo, simétric, coforme o Teorem de Schwrz. 7

23 Teorem.0 Sej f : A de clsse C defiid um berto A e sej b, um poto de estcioridde de f. f, 0 ) Se b f, 0 b) Se b e H, b 0 etão f tem um míimo locl em, b. e H, b 0 etão f tem um máimo locl em, c) Se H, b 0 etão f tem um poto sel em, b. b. d) Se H, b 0 ão podemos firmr d cerc d turez do poto de estcioridde b,. Pr mostrr que o cso de d) d se pode cocluir, cosideremos os eemplos bio, cujs fuções verificm codição H (0,0) 0, ms: 4 4 f y, y, tem míimo em g, y 4 y 4 0,0, 0,0,, tem máimo em 4 4 h, y y, tem um poto de sel em 0,0.... Etremos codiciodos Sejm f, g: A defiids um berto A de e supohmos que querímos estudr os etremos de f, y com vriável, y codiciod à relção g, y 0. Dizemos que temos um problem de etremos codiciodos, sedo g, y 0 codição que estão sujeits s vriáveis e y. O problem resume se clculr os etremos d fução f restrit o cojuto ão vzio C y A g y Supodo que,, y, :, 0, represetd por f. C f g são fuções de clsse C A e que g, y 0,0 A tl que g, y 0, temos o seguite: pr qulquer Teorem. (Lgrge) Se fução F, y f, y g, y b,. f tem um etremo em b, C C, etão pr um certo,, defiid em A, tem um poto de estcioridde em 8

24 . Refleão e Refrção.. Problem de Héro Dd um ret, r, e dois potos A e B do mesmo ldo d ret, ecotrr um poto M de r, de modo que som ds distâcis AM e MB sej míim. Resolução. Sejm A 0 e B 0 s projeções ortogois de A e B, respetivmete, ret r. Sejm bc,, 0, em que AA0 AB 0 0 c., BB0 b, Sejm e os âgulos formdos pel rets r e MA e pels rets r e MB, respetivmete. Logo, 0,. Desigemos AM 0 Pr 0, c., desigemos por MA d, MB d e o cmiho AMB por d, em que d d d. d d d b c d b c d b c 0,c., trt se de um fução cotíu o itervlo c d b c c d0 b c, elevdo mbos os membros o qudrdo, obtemos: b c c b c c b c c b b c c b c c ou sej, b c (.) 9

25 Portto tg tg. De (.) vem que o poto de estcioridde é c c b c b b c b c b d c b c b c c b c c b c b c b b c b c b c c 0 c Como tl d 0 b e portto c b é miimizte de d. c b Um vez que d0 b c, dc c b e d b c cocluímos que c d b é o míimo bsoluto de d em 0,c.... Resolução Geométric Este problem pode ser resolvido geometricmete. Pr tl vmos cosiderr um referecil crtesio com origem projeção do poto A ret r. As coordeds de A e B são A(0, ), Bcb (, ). Sej B' c, b ds bcisss. o simétrico de B em relção o eio Como sbemos, distâci míim etre dois potos do plo é o comprimeto do segmeto de ret que os B ' é o ue. Assim o cmiho mis curto de A segmeto de ret AB '. Ms MB MB ' pelo que 0

26 o poto M procurdo é iterseção d ret temos: AB ' com o eio O, pois pr outro poto M ' de r AM ' BM ' AM ' M ' B' AB' AM MB usdo s proprieddes d simetri e desiguldde trigulr. Pr determir s coordeds de M, vmos escrever equção reduzid de iterseção com o eio dos. O declive d ret AB ' é m AB' b e su equção reduzid é : c AB ' e clculr su b y. De modo que c pr y 0, vem b c. Portto, como determido teriormete, M é ddo c b por M c,0 b... Feómeo d refrção Sejm P e Q dois potos situdos respetivmete os semiplos y 0 e y 0 de Oy. Supohmos que um poto mteril se desloc de P pr Q segudo um lih quebrd PMQ, em que M é um poto do eio dos. Se v é velocidde o semiplo y 0 e v velocidde o semiplo y 0, vmos mostrr que o poto si v M pr o qul é míimo o tempo de deslocmeto o logo de PMQ é tl que si v sedo (respetivmete ) o âgulo de vértice M, formdo pelo segmeto PM (respetivmete MQ ) com verticl o eio dos em M. Sejm P 0 e Q 0, respetivmete, s projeções ortogois de P e Q sobre o eio dos. Sej Q projeção ortogol de Q sobre verticl e sej Q ' projeção ortogol de Q ret PP 0. Sej PM d, MQ d, PP0, PQ 0 ' b, QQ ' c e QQ '.

27 Ds leis d físic sbemos que, um movimeto uiforme de um poto mteril, d vt, ode d é distâci percorrid, v velocidde e t o tempo decorrido. d Assim temos d vt t, em que t é o tempo ecessário pr percorrer PM, v e d v t t, em que v d t é o tempo ecessário pr percorrer MQ. Aplicdo o teorem de Pitágors, temos e d b c d. Desigdo por T o tempo ecessário pr o poto mteril percorrer lih quebrd PMQ, T Derivdo, v b c v c T v v b c O vlor de pr o qul T é míimo verific codição T 0. c c T0 0 v v v b c v b c Ms si e si c b c, Dode temos que: si si si v v v si v.

28 . Problem de Dido O problem de Dido é cohecido como o mis tigo ssocido à determição de máimos e míimos, ou sej o primeiro problem do cálculo vriciol. Segudo mitologi rom, Dido er um prices, filh do rei Mutto d cidde feíci de Tiro e csd com Siqueu, o homem mis rico de todo o reio. Qudo o rei fleceu, Pigmlião, o irmão de Dido, ocupou o troo. Com o objetivo de se poderr ds riquezs do seu cuhdo, Pigmlião ssssiou o. Dido, jutmete com obres tírios, prte um log vigem, vido refugir se cost do Mediterrâeo, o orte de Afric. Aí chegdos form muito bem recebidos pelos idíges e Dido pr se estbelecer pediu lhes um porção de terr, tt quto el coseguisse cercr com pele de um boi. Os idíges cederm tl pedido, pois pele de boi cobri um prcel isigificte de terr. Dido cortou o couro em tirs fis, ligou s pels etremiddes formdo um semicírculo o logo do mr, coseguido dest form obter um vst áre que se veio torr o estdo de Crtgo, tul Tuísi, em 850. C.. O problem de Dido resume se ecotrr mior áre que se pode delimitr com um curv de comprimeto ddo, por isso tmbém chmdo problem isoperimétrico. Iicilmete vmos pesr que Dido coseguiu obter um determido polígoo. Ms que tipo de polígoo? Zeodorus, mtemático grego que se pes ter vivido etre o século III.C e o século I d.c, mostrou que de todos os polígoos de ldos com um perímetro ddo, se eistir um com mior áre, etão este tem os ldos iguis e os âgulos iguis. Pr mostrr este resultdo, Zeodorus bseou se em dois lems. Lem. Um polígoo de ldos com áre máim tem ldos iguis. Ates de os debruçrmos sobre demostrção covém ter presete o fcto de um polígoo ão coveo ão poder ser o que tem mior áre e perímetro fio. Com efeito, cosideremos o polígoo PPP... P. Supodo que mplitude do âgulo PPP é mior que 80º, cosiderdo PP ' P P com mior áre que o polígoo PPP... P ' reflecção de P trvés d ret PP, obtemos o polígoo... P e igul perímetro.

29 Demostrção do Lem. Sej PPP... P um polígoo com áre máim, como vimos este polígoo é coveo. Com vist um cotrdição vmos supor que os ldos ão são todos iguis. Sejm PP e PP dois ldos djcetes de comprimeto diferete. Sej r ret que pss em P e é prlel PP. Aplicdo o problem de Héro à ret r e os potos P e P, vmos ecotrr um poto M de r que miimize som ds distâcis PM PM. Como sbemos, os âgulos e em M são iguis, dode se coclui que o âgulo MPP é igul MPP, por serem âgulos lteros iteros e. Isto sigific que o triâgulo PMP é isósceles e portto M é diferete de P. Além disso, áre do triâgulo PMP é igul à do triâgulo PPP, pois possuem igul bse e ltur. A som do comprimeto dos ldos PM e MP é meor que som dos ldos do polígoo PP e PP, visto que M é solução do problem de Héro e M P. Vmos gor costruir o triâgulo isósceles PP ' P de modo que PP ' P' P PP PP. A su áre é, clro, mior que áre do triâgulo PPP, um vez que ltur P ' C é mior que ltur MC. Ms isso sigific que áre do polígoo PP ' P... P é mior que do polígoo PPP... P e têm igul perímetro, o que cotrdiz hipótese. Lem. Um polígoo de ldos com áre máim tem os âgulos iguis. Demostrção. Sej PPP... P um polígoo com áre máim. Sbemos que é coveo e pelo Lem. que os seus ldos são iguis. Com vist chegr um bsurdo, vmos supor que os seus âgulos ão são todos iguis. Como tl eistem e dois âgulos djcetes diferetes. Vmos provr que isto implic que eistem dois âgulos ão djcetes diferetes. 4

30 Cosideremos,,,,,... âgulos cosecutivos do polígoo. Se ou, etão prov está complet, um vez que e (ou e ) são ão djcetes. Se, e, etão sequêci de âgulos é,,,,,..., e prov está complet, pois o primeiro e o qurto âgulo são ão djcetes. Dqui coclui se que eistem dois triâgulos DEF e PQR com iteriores disjutos, cd um formdo por vértices djcetes do polígoo com ldos e em que o âgulo E é meor que o âgulo Q. Visto que, desiguldde etre os âgulos E e Q implic que DF PR. A prtir de DE EF PQ QR E e Q trçmos EG e QT perpediculres respetivmete DF e PR. Costruímos o triâgulo ET' P ' cogruete com o triâgulo QTP. Agor cosidermos o problem de Héro pr ret em que S é o poto em TG ' e os potos TG ' tl que som ds distâcis P ' e F. Sej S solução do problem de Héro, P' S e SF sej míim. Um vez que mplitude de PET ' ' (metde do âgulo Q) é mior que do âgulo FEG (metde do âgulo E ), o poto S ão coicide com E e S ecotr se o segmeto EG. Agor vmos tomr ret QT o segmeto TU de comprimeto igul o segmeto T ' S e cosiderr os triâgulos DSF e PUR. A som dos comprimetos dos ldos desses triâgulos é meor que som dos comprimetos dos ldos dos triâgulos origiis DEF e PQR, um vez que DS SF PU UR SF SP ' FE EP ' DE EF PQ QR. Usámos o fcto dos triâgulos serem isósceles e de S ser solução do problem de Héro. Por outro ldo, áre do PES ' é mior que áre do ESF, um vez que s sus lturs são PT ' ' PR e FG DF e tíhmos mostrdo que DF PR. Em cosequêci, som ds áres dos triâgulos DSF e PUR é mior que som ds áres dos triâgulos DEF e PQR. De fcto, temos A A A A A A A A DSF PUR DEF ESF PQR P' ES DEF PQR 5

31 Isto sigific que o polígoo DSF... PUR... tem meor perímetro e mior áre que o polígoo origil DEF... PQR.... Agor podemos trtr cd triâgulo (DSF ou PUR ) como trtmos o triâgulo PMP demostrção do Lem., ssim podemos umetá lo pr obter um polígoo isoperimétrico com o polígoo DEF... PQR.... Como áre do ovo polígoo é mior que áre do polígoo DSF... PUR..., é certmete mior do que áre do polígoo DEF... PQR.... Isto cotrdiz hipótese do polígoo demostrção do Lem., ssim como do teorem de Zeodorus. DEF PQR ter mior áre e complet Pode se mostrr que: Lem. De todos os polígoos com ldos eiste um com áre máim. Em cosequêci dos lems.,. e., temos: Teorem.4 Um polígoo de ldos e áre máim é regulr. Podemos gor completr resolução do problem isoperimétrico. Sej p o perímetro de um polígoo regulr com ldos e A su áre. Sbemos d geometri que p Rse, ode R é o rio d circuferêci circuscrit e p A r, ode r é o rio d circuferêci iscrit. Temos r Rcos. Jutdo estes resultdos, temos p Atg 4 0. O teorem.4 implic que se p é o perímetro de um polígoo de ldos rbitrário e A su áre, etão p Atg 4 0. (.) A iequção tg (válid pr 0 ) e (.) implic desiguldde pr um polígoo de ldos, qulquer que sej. p 4 A 0, (.) 6

32 Note se que pr qulquer círculo temos iguldde em que p é o perímetro do círculo e A su áre. p 4 A 0 (.) É válido o seguite resultdo. Lem.5 Pr cd curv fechd do plo de comprimeto * p evolvedo um áre * A e pr cd 0, eiste um polígoo de ldos com perímetro p e áre A, tl que * p p, * A A. Cosideremos etão um curv fechd do plo de comprimeto * p, evolvedo um áre O lem.5 e relção (.) implicm que pr cd eiste um polígoo de ldos com perímetro p e áre A tl que * * * * 4 A 4 A 4 p 4 p 4 p p 4. Como é rbitrário, chegmos filmete à desiguldde * * 4 A p. Tl como visto em (.) temos um iguldde o cso do círculo, o que mostr que áre é máim qudo curv é um circuferêci de perímetro * p. * A. As cosiderções cim coduzem filmete o seguite resultdo. Teorem.6 A áre evolvid por um curv fechd rbitrári de comprimeto ddo ão ecede áre de um círculo de igul perímetro. Este resultdo complet resolução do problem isoperimétrico... Áre de um polígoo regulr em fução do úmero de ldos Um polígoo regulr de ldos, com vértices P, P,., P e perímetro p, pode ser decomposto em triâgulos isósceles iguis. A bse de cd triâgulo mede p e o âgulo oposto à bse rd. 7

33 Desigdo por h ltur de cd um destes triâgulos, temos: p p p p tg tg h ou sej h h h tg tg p p tg Ai 4 tg p, em que A i é áre do triâguloopp i i, com i,...,. Assim áre de um polígoo regulr de ldos é dd em fução de, por A p p 4tg 4tg (.4) Teorem. Cosiderdo todos os polígoos regulres de igul perímetro, tem mior áre o que tiver mior úmero de ldos. Demostrção. Pr demostrr este resultdo vmos cosiderr fução de vriável rel, A p, com 4tg 4 4tg cos 4cos tg 4 p A p p 4tg 4tg cos 6 tg p 4cos se 4 4 se se p p 6se 6se 8se Iteress estudr o sil do umerdor, um vez que 8se 0,, se se Sej fução de vriável rel,, f y y sey, com y 0. e p 0 8

34 Como f y cos y, vem f y 0. f y é crescete tedo como míimo bsoluto f 0 0. Coclui se que 0 ysey 0. Fzedo Portto y, vem se 0. p se 0. 8se f y, ou sej Como A ( ) é cotíu e A() 0, podemos cocluir que A ( ) é crescete pr, pelo que sucessão dd em (.4) tmbém é crescete pr. O resultdo terior permite os firmr que pr os polígoos regulres, quto mior é o úmero de ldos, mior su áre. Estuddo gor o limite de lim A A, temos: p lim, fzedo mudç de vriável 4tg y, vem: y p y pycos p lim lim (.5) y04tg y y0 4si y 4 Em qulquer círculo temos : P P r, dode r, logo A P P 4 Por (.5) cocluímos que umetdo o úmero de ldos do polígoo regulr, su áre tmbém umet tededo pr áre de um círculo de igul perímetro. 9

35 4. Áre de um região trigulr Fórmul 4. (Héro) Se os ldos de um triâgulo medirem bc,,, áre do triâgulo é dd por p p p p A b c, em que p é o perímetro do triâgulo. Demostrção. Cosideremos um triâgulo de bse e ldos b e c. Os ldos b e c têm projeções ortogois, idicds por m e, sobre o ldo. Tomdo h como medid d ltur do triâgulo, reltiv o ldo, segue se que áre d região h trigulr será dd por A. Temos formção de mis dois pequeos triâgulos retâgulos e com eles podemos etrir s três relções: b m h (4.) c h (4.) m (4.) Subtrido (4.) (4.) vem: b c m m m b c m, ou de form equivlete: b c m (4.4) De (4.) e (4.4) obtemos:. Usdo (4.) podemos escrever b c b c m m e Como bc p, obtemos: bcbcc p c cbbcb p b bcbc p c b c b 0

36 Tedo presete que De (4.) vem A h, vmos em primeiro lugr estbelecer o vlor d epressão 4 h b m bm b m Substituido m e, obtemos: h b c b c b b c b b c b b b b c b b c b c c b 6 6 bcbccbcb ppcpbp 6 6 p p c pb p p p p p c b h Dode se coclui que p p p p e cosequetemete A b c p p p p A b c 4.. Triâgulo de áre máim e perímetro fio De todos os triâgulos com um ddo perímetro p 0, quis são queles de mior áre? 4... Estudo usdo um fução de um só vriável Em primeiro lugr vmos cosiderr o problem de determir os triâgulos com mior áre, tedo perímetro p e um dos ldos de comprimeto ddo. Admitido que um dos ldos mede e é ddo, e os outros supohmos que medem b e c. Como o perímetro é p, temos pb c, ms como o perímetro tmbém é ddo, ficmos com bc k, em que k é um costte. Ms k p p k.

37 Pretedemos mimizr áre do triâgulo, ou sej fução p p p p A b c, p pel fórmul de Héro. A é um fução cotíu em 0, logo tige um máimo bsoluto este itervlo. Como A 0, mimizr A será igul mimizr p p p p A b c. Substituido os vlores de e c, temos: A, ou sej mimizr p p p p p p p p A b pk b k b A b k b k b p p p p p p p p A b k b k b A b k k bk b p p Derivdo obtemos: A b k kb p p pk p k p p A b 0 k kb 0bk 0b k 0 4 k p p k b 0 k b p0 pk p 0 é um codição impossível, um vez que p é o perímetro do triâgulo. p p p k p, o que tmbém é impossível pel desiguldde trigulr. Portto A b 0 b k p p p p A b k pk p k p Pel desiguldde trigulr tem se bc pk k pk k de ode se coclui que A k 0 e portto fução A b tem um máimo pr k b.

38 Trt se de um máimo bsoluto de p A em 0, um vez que Nesse cso, como b c k, temos b c b, ou sej b c. Cocluímos que o triâgulo é isósceles. p 0 0. A A Cosideremos gor um triâgulo de perímetro p e áre máim. Pelo que foi visto teriormete este triâgulo é isósceles, digmos que tem bse e ldos b. p Como perímetro p b, temos pb b. Aplicdo Fórmul de Héro vem p p p p p p A 4 6 8, que é um fução cotíu vriável, p 0,. Derivdo A p p. 8 8 A, obtemos Clculdo os potos de estcioridde de A temos p A 0 p p0 p p 0 p0 p O úico poto de estcioridde é A p ou sej, A p 8 4 temos A p p e é mimizte de 4 p p 4 A A, p p p p A. p 0 0 logo A p é o máimo bsoluto de p A em 0,. Pr p temos perímetro pbb b pelo que se cocluí que o triâgulo é equilátero.

39 4... Estudo usdo um fução de dus vriáveis Ddo um triâgulo de perímetro fio, digmos p, e ldos,b, c,que relção deve eistir etre os ldos pr que áre triâgulo sej máim? Pel fórmul de Héro sbemos que áre é dd por p p p p A b c, ms mimizr A é equivlete mimizr p p p p. A b c Como o perímetro é p, temos bc pc p b. Assim o que pretedemos mimizr é fução de dus vriáveis e b, dd por p p p p p p p p f, b b pb bb defiid p p D 0, 0,. Note se que f é cotíu logo tige um máimo bsoluto este domíio. N froteir de D tem se f 0. em Clculemos s derivds prciis f p p p p p p p p bb b bpb f p p p p p p p p b b pb b p p b p b f(, b) p p p b p p b p b 0 f(, b) 0 p p p b 0 4

40 D ª equção vem p0 pbb p p 0 é impossível, porque esse cso o triâgulo teri perímetro 0. pbc b, o que é impossível pel desiguldde trigulr. Substituido b p outr equção, obtemos: p p 0 p p p p pp40 p0 p p Ms como vimos p 0 é impossível. Se p, vem 0 b, tedo se f,0 0. Rest os o cso em que p, dode se coclui que p p etremo de f o iterior de D é o pr b,,. Clculemos etão s derivds de ª ordem: b p. Portto o úico cdidto f p p b f p p b f p p p p p p b b b p p p p p p p p p p p 6 H, p p p p p p p p p 6 p p 4 4 p p 6 p p H, 0 p p

41 Como f p p p, 0 6 p p e H, 0, cocluímos que f b, tem um máimo locl p p pr b,,. Como D. p p p p p p p p p f, 0 trt se do máimo bsoluto de f em 6 p Um vez que c pb, cocluímos que o triâgulo de perímetro p com mior áre é o p triâgulo equilátero de ldo. 6

42 5. As belhs e mtemátic As belhs são us seres muito curiosos ível orgizciol, compleidde de meios de comuicção usm, que lhes permite por eemplo silizção perfeit dos locis ótimos de colheit de póle. No que toc à produção de mel e cer, costrução dos fvos tmbém prece obedecer um plo elbordo com bse em cálculos mtemáticos. O estudo dos lvéolos ds belhs suscitou o iteresse de vários sábios, como por eemplo Pppus de Aledri e Johes Kepler. Pppus de Aledri (0 d.c.) foi o primeiro iteressr se pelo problem e estudou lvéolos em form de prisms de secção trigulr, qudrd e hegol, cocluido que o hegol poderi rmzer mis mel dos que os outros dois. Esmus Brtholi, pelo que se cohece, foi o primeiro dmitir hipótese que o trblho ds belhs d tih ver com um questão de ecoomi, ms que resultv d impossibilidde de costruírem predes que ão fossem pls, devido à pressão eercid por outrs belhs. Johes Kepler deduziu, prtir dum estudo de ocupção do espço, que todos os âgulos diedros deverim ser de 0º. Cerc de 700, Reé Atoie Ferchult (68 757), fmoso físico frcês, defedeu que se trtv de um problem de máimo e de míimo, que s belhs resolverim com o ituito de miimizr utilizção de cer. Pr lém de usr form hegol, o fudo de cd lvéolo é costituído por três losgos iguis, formdo um bse poliédric cove. Este tipo de fudo, em vez de fudo plo, permite ecoomizr um lvéolo em cd ciquet, que em milhões e milhões de lvéolos represet um ecoomi iclculável. Reé costtou que o âgulo gudo dos losgos do fudo do lvéolo er costte. Esse fcto levou o ivestigr lvéolos d Alemh, Suiç, Iglterr e Cdá e todos presetvm losgos com o mesmo âgulo. Domiique Mrldi ( ) mediu com mior precisão o tl âgulo gudo e chou 70º em todos os lvéolos. Etão, itrigdo, Reé decidiu cosultr o seu migo e otável mtemático Smuel Köig (7 757), propodo lhe o seguite problem: É ddo um prism hegol regulr. Esse prism é fechdo um ds sus etremiddes por três losgos iguis. Pergut se: Qul deve ser o âgulo desse losgo de modo que se obteh pr o prism um volume máimo com mior ecoomi de mteril? Köig descoheci s pesquiss feits pelo seu migo Reé e o trblho de Mrldi, resolveu o problem, firmdo que o âgulo dos losgos er 70º 4. A comuidde cietífic frces ficv impressiod, s belhs errvm, ms o seu erro míimo. Aliás o erro do âgulo, em dois miutos, só poderi ser precido com istrumetos de precisão. Ms o fcto mis impressiote resultou de um estudo de um mtemático iglês, Coli Mc Luri ( ), que retomou o problem e o resolveu com recurso cálculo diferecil cocluido que 7

43 o âgulo do losgo que torv o lvéolo mis ecoómico deveri medir 70º, ou sej s belhs estvm certs. Mc Luri defedeu Köig, firmdo que este tih errdo devido o uso de um tábu de logritmos que cotih um erro e idicou ode estv o erro. Provv se etão que s belhs resolvim um problem de lt mtemátic. 5.. Porque é que os lvéolos ds belhs são hegois? Os fvos são costruídos com cer que s belhs produzem, pelo que vism costruir um úmero máimo de lvéolos, gstdo o míimo possível de cer. No século XVIII Rémur firmv que s belhs resolvim um grde problem cuj solução er difícil pr os mtemáticos d époc: No meor espço, costruir céluls regulres e iguis, com mior cpcidde e solidez, empregdo meor qutidde de mtéri possível. Se pesássemos um fvo isoldo, o problem ão é mis do que um problem isoperimétrico, cuj solução é, como sbemos, o círculo. O que levrá etão s belhs optrem pelos heágoos regulres em detrimeto dos círculos? A primeir rzão que slt à vist prede se com ecessidde de justpor os fvos e se estes tivessem form de círculo, hveri etre eles espço desperdiçdo. Abdodo o círculo, opção iri recir um polígoo regulr que permitisse pvimetção do plo, que permitisse cobri lo sem deir espços vzios em hvedo sobreposição. Tl codição implicv que o âgulo itero deveri ser um divisor de 60º, pelo que s hipóteses possíveis serim o triâgulo equilátero, o qudrdo e o heágoo regulr. Como visto teriormete, de todos os polígoos regulres com igul perímetro, tem mior áre o que possuir mior úmero de ldos. Por coseguite escolh ds belhs só poderi ser o heágoo regulr. De fcto, como com qulquer polígoo que permit pvimetr, o usrem heágoos cd prede é prtilhd por dois fvos. No esquem o ldo podemos perceber que o costruir todos os fvos em redor, s belhs ghm o fvo do meio sem usrem ehum qutidde diciol de cer. 8

44 5.. Porque rzão o fudo dos lvéolos ão é plo? O fudo dos lvéolos ão é plo, ms sim formdo por três losgos de âgulo costte. Pr determir o volume e áre vmos seccior o lvéolo segudo os plos AA' O e correspode um terço do iicil. CC ' O obtedo o sólido ABCOA' B C ' O que Admitido que o ldo do heágoo d bse mede l e o ldo do losgo do topo mede, temos: e OO ' l pelo que como B ' B l OO ' 0 e BB ' 0, podemos cocluir que OO ' BB '. Assim podemos firmr que o volume do sólido A' BCOO ' ' ' é igul o volume do sólido A' OCBB ' ' ', dode se coclui que o volume do prism trucdo ABCOA' B C ' O é igul o volume do prism ABCOA' B ' C ' O '. Isto sigific que o volume do prism trucdo ão depede do âgulo do losgo do topo. Determir áre do losgo A' OC' B Cosiderdo o triâgulo A' BC ' ', temos AC ' ' se60º l A' C ' l OB tg OB A' C ' tg l tg AC ' ' com 0 e 0 9

45 AC ' ' OB AAOC ' ' B l tg Áre do trpézio BCC ' B Vmos desigr por I, o poto de iterseção ds digois do losgo A' OC' B. O poto I é o poto médio de A ' C ' é tmbém iterseção ds digois do losgo A' OCB ' ' '., como tl, o poto I Cosiderdo o triâgulo retâgulo em B ', B BI, temos pelo teorem ' de Pitágors: OB BO ' ' l l l BB ' BB ' tg BB ' tg e como BB ' 0, vem l BB ' tg. D iguldde l 4 result que tg 0 ' tg BB ou sej que tg. Ms como 0, vem 0 e temos tg, portto 6. Etão áre do trpézio BCC ' B é l h tg BBCC ' h B ' Bh ABCC ' B BC l l l l h tg ode estmos usr h CC'. Áre totl do lvéolo BCC ' B A' O C ' B l 9 A 6A A lh tg l tg, 40

46 Cálculo do míimo derivdo em ordem se tg cos l 9l l 9l A 4 tg 4cos tg 4cos se 9l tg 9l 9l, 4 cos tg 4cos 4cos tg iguldo zero tg tg 9l A 0 0 4cos tg tg tg tg, como os dois membros d equção terior são positivos e elevdo mbos o 6 qudrdo temos tg tg tg tg tg rctg rctg, rd 70º ' rctg A 0 A míimo 4

47 Como l 9 A l h tg l tg obtemos o vlor míimo d áre l 9 Arctg l h l 6hl l. Cso bse fosse pl áre totl seri bse com losgos áre é meor. A 6hl l e como tl comprov se que usdo 5... Cálculo do âgulo diedro dos losgos, qudo áre é míim. Sej o âgulo diedro dos losgos. Tomdo o triâgulo retâgulo OGB GB se OB Coforme visto teriormete, OB ltg, temos: Qudo áre é míim, tg 6l, logo vem OB. Tmbém já sbemos que: AC ' ' l tg OB 6 l 4 dode si cotg. Aplicdo um vrite d fórmul fudmetl d trigoometri temos: cotg se. se se Como 0, temos 6 se. 4

48 Etão 6 GB 6l 6 6l GB GB l. Tomdo gor o triâgulo isósceles B GD, cocluímos, um vez que os potos B e D pertecem um plo prlelo à bse, que BD BD A' C' l, dode BD l se BG l e como 0, temos 60º 0º. O âgulo efetudo pelos losgos que permite otimizr áre é, tl como Kepler tih firmdo, 0º Âgulo de iclição dos losgos do topo Ns codições que grtem áre míim do lvéolo, podemos clculr mplitude do âgulo que os losgos do topo fzem com ltur do lvéolo. Desigdo por o âgulo pretedido e plicdo trigoometri, temos se BO BO, coforme figur o ldo. B O BO De cálculos feitos teriormete, qudo áre é míim sbemos que 6 OB l, dode l 6 se se se, 6 6 l pelo que 54,76º. 4

49 6. Produto máimo 6.. Som fi Problem 6. Ddos dois úmeros reis ão egtivos e y com som fi, qul será o seu produto máimo? 6... Estudo usdo um fução de um só vriável. Digmos que y c, em que c é um costte positiv de. Pretedemos mimizr p y, ms como y c, fução mimizr vem p c c, 0, c Como fução. p é cotíu pelo teorem de Weierstrss sbemos que fução tem um máimo e míimo bsolutos em 0,c. Derivdo obtemos pc, 0 c. 0 0 p c 0 0 e Como p pc c c c c p c c, 4 cocluímos que fução tem míimo bsoluto igul 0, em 0 e c e máimo bsoluto igul c 4 em c. c c Como y c, cocluímos que, s codições do eucido, o produto é máimo qudo os úmeros forem iguis Estudo usdo um fução de dus vriáveis Vmos gor resolver o mesmo problem trblhdo com fuções de dus vriáveis e plicdo o método dos multiplicdores de Lgrge. Sej g, y y c. Vmos determir os etremos de p, y y sujeits à codição g, y 0. y, com s vriáveis e 44

50 Cosidermos fução P, y y y c, e o sistem P 0 y 0 P 0 0 y y c g, y 0 D ª equção si que equção obtemos c P, y que stisfz y, substituido ª obtemos y. Substituido gor ª. E portto o pr y g, y 0. Como s vriáveis e y estão sujeits à codição g, y 0, fução p, y fic restrit um segmeto de ret o º qudrte cujos etremos têm coordeds 0,c e c,0 c c,, é o úico poto de estcioridde de. Pelo teorem de Weierstrss, como fução p é cotíu um cojuto limitdo e fechdo el possui máimo esse cojuto. 0,,0 0 e Como p c pc c, c c p 4, cocluímos que fução tem um máimo igul c 4 c c pr y,,. 6.. Som dos qudrdos fi Problem 6. Ddos dois úmeros reis e y com som dos seus qudrdos fi, qul será o seu produto máimo? 6... Estudo usdo um fução de um só vriável Digmos que y c, em que c é um costte positiv de. Pretedemos mimizr p y Fzedo c cost e y c set, com t 0,, fução mimizr será 45

51 c p t c t t t cos se se, t 0, Como p é cotíu e t 0, bsolutos em 0,. cos, t 0, p t c t, pelo teorem de Weierstrss fução p tem míimo e máimo p t t c t t t k k t k 5 7 t, k t0, t t t t , cos 0 0,, 0, Clculdo os vlores d fução os potos froteiros do itervlo temos, c p0 se00 c p se 0 5 c Por outro ldo p p 4 4 e 7 c p p, dode se cocluí que fução 4 4 tem máimo bsoluto igul c em t ou 4 5 t e míimo bsoluto igul 4 c em t 4 7 ou t. 4 Pr t, temos 4 c e y c 5 e pr t obtemos os seus vlores simétricos, 4 c e y c Estudo usdo um fução de dus vriáveis De form álog sej gor p, y g, y y c e vmos determir os etremos de y, com s vriáveis e y sujeits à codição g, y 0. O fcto ds vriáveis estrem sobre um circuferêci e de p ser um fução cotíu grte os pelo teorem de Weierstrss que fução tem um máimo e um míimo bsolutos o cojuto y g y, :, 0. 46

52 Cosidermos fução P, y y y c P 0 y 0 P 0 y 0 y y c g, y 0, e o sistem Se 0, d ª equção sí que y 0. Etão pel ª equção cocluímos que c 0 cotrdiz hipótese. Como 0, d ª equção si que y y y y y y 0 0 y y c y c y c y, substituido ª equção, o que obtemos c Se, y. Substituido gor ª equção obtemos c y e se c, obtemos igulmete c y. c, ou sej c. c c Etão os pres ordedos,, c, c, c, c e c, c, são os g, y 0. potos de estcioridde de P, y que stisfzem Clculdo s imges d fução os potos de estcioridde, temos c c c c c p, p, e c c c c c p, p,, c c dode se coclui que fução tige máimos os potos de coordeds, e c c c c, e míimos os potos de coordeds, e c, c. 47

53 Do poto de vist geométrico, cosiderdo e y positivos, este problem será equivlete sber qul o retâgulo de mior áre que se pode iscrever um circuferêci. A respost será um qudrdo cuj digol é igul o diâmetro. 48

54 7. Outros problems Problem 7. Determie s dimesões do retâgulo de mior perímetro que pode ser iscrito elipse y, b, 0. b Cosiderdo, y um poto d elipse tl que y, 0, pel simetri d elipse, o perímetro do retâgulo el iscrito, coforme figur o ldo, vem ddo por p4 4y. De y b, vem y b b y b y e como y 0, temos b p 44 b, 0. Etão Como p é cotíu em 0,, pelo teorem de Weierstrss, bsolutos em 0,. Derivdo, p 44 b Pr 0,, 0. b b p044 0 b Elevdo mbos os membros o qudrdo b b e como 0, temos b dode b b b y. p possui máimo e míimo 4 b b b b b b b y b b b b b 49

55 Tem se, p 0 4b 4 p 4 4 b 4 b 4 4 p b b b b b b b 4 b b 4 4b b b b b b b Como d fução cotiu b e p restrit o itervlo b b b coclui se que 0,. 4 b é o máimo O retâgulo de mior perímetro que pode ser iscrito elipse comprimetos b e b b. y b tem ldos de Resolvedo o problem usdo um fução de dus vriáveis e plicdo o método dos multiplicdores de Lgrge, pretedemos mimizr p, y 4 4y restrit o cojuto, :, 0 0 0, com g, y b y b C y g y y Sej P, y 4 4y b y b soluções do sistem., pr 0 e y 0. Vmos determir s P 0 4b0 P 0 4y0 y b y b g, y 0 Como 0 d ª equção si e substituido ª equção obtemos b 4y 4y b 4 0 4yb y. b b Substituido gor ª equção temos 50

56 b b b b b b b b 4 4 b b Como 0, vem b dode b b y y b b. Comprdo os vlores de p,0 4, p 0, b 4b e b b p, 4 4 b b b b, cocluímos que o máimo d fução p restrit o cojuto C é 4 b. Problem 7. Qul é o retâgulo de perímetro máimo iscrito um circuferêci de rio r? Este problem é um cso prticulr do problem terior em que b r. Vimos resolução do problem terior que p b 4, tigido qudo b b y e o que o perímetro máimo er. Como este cso b r, efetudo s substituições cocluímos que o perímetro máimo será p 4 r r 4 r e que tl cotece r r r r qudo r e y r r. r r r Assim, e tedo em cosiderção o problem 6., podemos firmr que o retâgulo de perímetro máimo e áre máim que se pode iscrever um circuferêci é um qudrdo cuj digol é igul o diâmetro. Problem 7. Determie s dimesões do retâgulo de mior áre que pode ser iscrito elipse y, b, 0. b 5

57 A áre é dd por A 4y, ode como foi visto o problem terior. A4 b, 0 b b A 4 4 b y, 0 0 A Elevdo o qudrdo Como 0, vem b b y b Um vez que A0 0 A 0 A b cocluímos pelo teorem de Weierstrss que b é o máimo d fução cotíu A, o itervlo 0,. O retâgulo de mior áre que pode ser iscrito elipse y b tem ldos de comprimetos e b. Resolvedo o problem com um fução de dus vriáveis e plicdo o método dos multiplicdores de Lgrge, pretedemos mimizr A y, 4y restrit o cojuto, :, 0 0 0, com g, y b y b C y g y y. 5

58 pr 0 e y 0. Vmos determir s soluções Sej F, y 4y b y b do sistem F 0 4 y b 0 F 0 4 y 0 y b y b g, y 0 y Como 0 d ª equção si e substituido ª equção obtemos b 4y b y 4b y b, ms como y 0 b temos y. Substituido gor ª equção temos b b b b b b b b b b. Como 0 vem e b y y b. Clculdo A,0 0 A 0, b 0 A, b b e comprdo os vlores cim cocluímos que fução cotíu A restrit o cojuto C, tige um máimo o poto de coordeds, b. Problem 7.4 Fz se girr um triâgulo retâgulo de hipoteus h em toro de um dos seus ctetos, gerdo um coe circulr reto. Qul o volume máimo do coe? Sejm e y os ctetos do triâgulo, em que será o rio d bse do coe, y ltur e cosiderdo rotção em toro de y. O volume do coe será v y. 5

59 Pelo teorem de Pitágors temos: ms como o osso cso y 0, vem h y y h y h. v h, 0 h. Substituido o volume obtemos fução cotíu Derivdo vem h h v h h h h Resolvedo equção h v0 0 h h h 0h, 0 h ms um vez que 0, só os iteress solução positiv. Portto o úico poto, do domíio cosiderdo, ode derivd do volume se ul é Estudemos etão mootoi d fução que trduz o volume. 6 h. 0 6 h h v 0 v 0 máimo 0 O volume do coe é máimo em 6 h e por cosequêci 6 y h h h. O vlor máimo do volume é 6 v h h h h h. 7 Podemos tmbém resolver este problem recorredo à trigoometri. Sej o âgulo que hipoteus fz com o cteto que será ltur do coe. 54

60 Assim temos hse e y hcos, 0,, pelo que o volume será v h se cos. Tomemos gor fução cotíu f h se cos, 0,. Derivdo obtemos f h secos h se h secos se hsecos. Iguldo zero vem f0 h secos 0 se 0cos se 0cos. Pr 0, úic solução possível é cos rccos. D fórmul fudmetl d trigoometri temos se cos se se e como 0,, vem 6 se, dode outro ldo rccos. f rccos h h. Por 7 f 0 0 e f 0, pelo que fução f tige o vlor máimo em Como v é fução f restrigid 0,, cocluímos que pr rccos obtemos o máimo do volume igul v rccos h h. 7 55

61 Resolvedo usdo um fução de dus vriáveis, plicdo o método dos multiplicdores de v, y Lgrge, pretedemos mimizr, :, 0 0 0, com g, y y h C y g y y tem se pr y, 0: Sedo V, y y y h V y V y y h y Procurmos s soluções do sistem V 0 y 0 V 0 y 0 y g, y 0 y h Como 0, d ª equção vem y 0 y. Ou sej o osso cso y. Substituido gor ª equção temos h y y h y h y dode si y h e 6 h. y restrit o cojuto. y e substituido ª equção obtemos O poto de estcioridde de V que stisfz g, y 0 é o poto de coordeds 6 h, h e temos,0 0 v 0, h 0 e v h, 6 v h, h h 7 dode se cocluí que h é volume máimo. 7 56

62 Problem 7.5 Determie o volume do mior cilidro circulr reto que pode ser iscrito um esfer de rio r. Um ds forms de bordr este problem é recorrer o problem terior. Imgiemos um coe obtido pel rotção de um triâgulo retâgulo, cuj hipoteus é o rio d esfer, em toro de um dos seus ctetos, idicdo por y figur. O rio d bse do coe de volume máimo será igul o rio d bse do cilidro de volume máimo. Do problem terior vem que o coe com vértice o cetro d esfer de volume máimo tem rio d bse 6 r e ltur y r. Portto o cilidro de volume máimo tem rio d bse 6 r e ltur y r dode se coclui que o volume máimo do cilidro é 6 4 V r r r, ou sej 9 do volume d esfer. Problem 7.6 Qul o coe de volume máimo que se pode iscrever um esfer de rio R? Sej h ltur do coe, r o rio d bse do coe e R o rio d esfer. O volume do coe é v hr ms pelo teorem de Pitágors r R h R r hr h e v h h hr h hrh, 0h R. Derivdo pr 0h R 4hR h vh 57

63 Iguldo zero temos 4hR h 4 v h 0 0 h 4Rh 0h04Rh0h0h R 4 Como 0h R, úic solução possível é h R. Clculdo v 0 0 8R 8R vr 0 64 R R v R R 8 cocluímos plicdo o teorem de Weierstrss que fução cotíu v, restrit o itervlo 0, R tem vlor máimo 8 R 4, qudo h R. A título de curiosidde o volume máimo do coe iscrito esfer é igul esfer. 8 7 do volume d Problem 7.7 Cosiderdo um tque cóico, sem tmp, de volume V, quis s dimesões do tque que miimiz qutidde de mteril usdo su fbricção? Sej l o ldo do coe, h ltur e r o rio d bse do coe. A áre do coe, sem tmp, é rl r h r. O volume do coe é ddo por V hr, etão áre vem r 9V r r r, r 0 4 Pr simplificr vmos estudr fução 9V 9V r r r r r r 4 4 8V r4 r r r. 58

64 8V 9V r r r V r r um vez que r 0 vem 9V r 6. r 0 r 6 9V 0 r míimo Logo áre de mteril utilizdo é míim qudo r 9V 6, V V 7V 7V 54V 6V h 9 9V V 9V 9V 9V 6 lim r r 0 e lim r r e um vez que cocluímos que ão eiste um vlor máimo pr áre. Problem 7.8 Determir o poto P situdo sobre hipérbole y, que está mis próimo d origem. um poto situdo sobre hipérbole y. Sej P, y Pel equção d hipérbole cocluímos que 0, y 0 e que, por eemplo, y. A distâci de P à origem é dd por d y e substituido y vem um fução vriável dd por. d Como se trt de um distâci, e portto um fução positiv, miimizr d será equivlete miimizr d. 59

65 Derivdo, vem d d , dode como 0, temos Como d 6, cocluímos que 4 d 0, \ 0, dode fução tem míimos locis os potos, que pels crcterístics geométrics do problem se percebe serem míimos bsolutos. Se, vem y. Se, vem y. Os potos cuj distâci à origem é míim têm coordeds, ou,. Aborddo o problem usdo um fução de dus vriáveis e plicdo o método dos multiplicdores de Lgrge, pretedemos miimizr g, y 0, com g y, y. Sej F, y y y f, y y sujeit à codição. Queremos determir s soluções do sistem F 0 y 0 F 0 y0 y y g, y 0 Como y 0 d ª equção si y 0 y y y. y e substituido ª equção obtemos y Se y, obtemos ª equção, o que é impossível. Se y, obtemos ª equção. Portto os potos de estcioridde são os potos de coordeds potos ode fução tige o míimo., e,, que são 60

66 Problem 7.9 Um fio de comprimeto l é cortdo em dois pedços. Com um deles se frá um círculo e com o outro um qudrdo. Como devemos cortr o fio fim de que som ds dus áres compreedids pels figurs sej míim? Supohmos que cortmos o fio obtedo um pedço de comprimeto e outro de comprimeto l. Supohmos id que o pedço de comprimeto servirá pr formr um círculo de rio r. Etão r e como l é igul o perímetro do qudrdo, o ldo do qudrdo é A áre ds figurs obtids é A l r 4. Ms como r, vem A l. 4 l, l. Trt se de um fução cotíu, pelo que, de cordo com o teorem de Weierstrss, fução A tige um míimo e um máimo bsolutos em 0,l. l A 8 l l A0 0 4l0 4l. 8 4 Pr este vlor de temos: l l l 4l l l l 6l A l 6l l l l Nos potos froteiros do domíio, fução A tom os vlores l Qulquer um deles é mior que A pelo que se pode firmr que 4 míimo d fução. l 6 A0 e Al l. 4 l l A é o 4 64 Como devemos cortr o fio fim de que som ds áres compreedids sej máim? 6

67 Do estudo terior ficmos sber que pr 0, l o úico poto de estcioridde de A correspode um míimo. Pelo teorem de Weierstrss, sbemos que fução A tmbém possui um máimo, este ecessrimete será tigido em 0 ou l. l l Como A0 A l, cocluímos que máimo d áre é obtido qudo l, ou sej 6 4 qudo só for costruído o círculo, o que está de cordo com o estudo do problem isoperimétrico que foi presetdo o cpítulo. Problem 7.0 Dispodo se de um crtoli qudrd de ldo, pretede se fzer um ci sem tmp, recortdo qudrdos iguis os ctos e dobrdo os seus ldos. Qul deve ser o comprimeto do ldo do qudrdo que se recort pr que o volume d ci sej máimo? Qul é o volume máimo d ci? Desigdo por o comprimeto do ldo do qudrdo que se cort os ctos, temos 0. Dobrdo prte de crtoli restte, obtém se ci bert. V 4 4, 0. O volume d ci é Pelo teorem Weierstrss fução cotíu V tem um máimo e um míimo bsolutos em 0,. Derivdo obtemos, V 8, 0. Iguldo zero V ms como 0, teremos

68 Clculdo V V 0 4 V Cocluímos que fução tem um míimo em 0 e e um máimo em. 6 Assim o volume máimo é tigido cortdo em cd cto um qudrdo de ldo 6, obtedo se um ci cujo volume máimo é 7. Problem 7. Um jel tem form de um retâgulo ecimdo por um semicírculo. De etre s jels de perímetro p qul tem mior áre? Sej ltur do retâgulo e r o rio do semicírculo, coforme figur o ldo. p r r r A áre é dd por r r, ms como p r, vem r p r pr r, 0 r Pelo teorem Weierstrss fução cotíu p 0,. r tem um máimo e um míimo bsolutos em Derivdo em ordem r obtemos p r p4r r, 0 r 6

69 Clculdo os zeros d derivd p r0 r4 p r. 4 Tem se p p 4 p p p p p p p p p 4 4p p p p 8p p 4p p p 0 0 p p p p p p p p p Como p p 8 p, cocluímos que máimo d fução o itervlo 0, é tigido qudo p r. 4 Problem 7. Um lt cilídric sem tmp superior tem volume V. Determie s dimesões d lt, de modo que qutidde de mteril ecessário pr su fbricção sej míim. Desigdo por h ltur e por r o rio d bse d lt, respetiv áre d superfície é dd por r rh. V Como o volume é V podemos escrever h em fução de r seguite form: h. r Substituido epressão d áre obtemos r r V, r 0 r r r V r V r0r 0r V r r V 64

70 4V r r V 4V V 6 0 logo r tige um míimo qudo V V V r e h. V V V Como obtemos um úico poto de estcioridde de e como V V lim r lim r e lim r lim r r r cocluímos que ão r r0 r0 r eiste um máimo pr áre d superfície d lt e que o míimo locl é míimo bsoluto. Logo áre míim é V V V V V V V. Problem 7. Um co de metl deve ser trsportdo por um corredor em form de L com lrgur e b. Qul o comprimeto máimo do co que pss pelo corredor sem o levtr do chão? Pr resolvermos este problem vmos estudr os comprimetos dos segmetos PQ, os quis itersectm esqui iter do corredor o poto S e se poim s predes os potos P e Q. Sej 0, o âgulo que o segmeto PQ fz com prede horizotl, coforme figur. Desigemos por c o comprimeto do segmeto PQ e por c e c os comprimetos ds prtes do segmeto compreedids etre s predes e qui iter. 65

71 Aplicdo s rzões trigoométrics temos se c, pois se 0, 0, c se. b b cos c, pois cos 0, 0, c cos. Como cc c, vem c b cos se, 0. O comprimeto máimo que o co pode ter pr pssr pelo corredor ests codições correspode o míimo de c. Derivdo c tem se bse cos c cos se. Iguldo zero vem bse cos bse cos c cos se cos se bse cos 0 bse cos tg b tg rctg b b 0 rctg b 0 c c míimo c rctg b é o míimo d fução. Pr determir o seu vlor vmos recorrer um vrite d fórmul fudmetl d trigoometri, sbedo que tg e que 0, b. 66

72 De tg, vem cos b cos b b cos cos b b e como 0,, temos 6 b b b cos b b b. se Como tg, temos cos b se b b b dode b b b b c rctg b b b b b b b b b b. Em prticulr, o cso em que o corredor tem igul lrgur em tod su etesão, ou sej qudo c b, temos cos se, 0 se cos c cos se. Neste cso o vlor míimo do comprimeto é tigido qudo rctg 4 O comprimeto do co ests codições é c. 4, isto é, qudo,. 4 Problem 7.4 Supodo que o produto de dois úmeros positivos é c (costte rel positiv), qul é vlor míimo e máimo pr su som? Sejm e y dois úmeros positivos tis que y c. Pretedemos estudr o comportmeto d som dos úmeros s y. De c y c y, um vez que 0, pelo que s c, 0. 67

73 Derivdo vem c s Iguldo zero vem c s0 0 c Como por hipótese temos 0, vem c. 0 c s s 0 míimo c s c c c. c O vlor míimo d som é Em relção o vlor máimo pr som covém otr o seguite: lim s lim s 0 pelo que podemos firmr que som ão tem um vlor máimo. Problem 7.5 Ao ser lçdo, um foguetão é impulsiodo pel epulsão dos gses resulttes d queim de combustível um câmr. Desde o rrque té se esgotr o combustível, velocidde do foguetão, em quilómetros por segudo, é dd por: v t l 0,005t 0,0t ( l sigific logritmo de bse e ) A vriável t desig o tempo, em segudos, pós o rrque. ) A mss iicil do foguetão é de 50 toelds, dos quis 80% correspodem à mss do combustível. Sbedo que o combustível é cosumido à t de 0,75 toelds por segudo, justifique que t 0,60. 68

74 b) Verifique que derivd d fução v, o itervlo 0,60, é positiv e coclu qul é velocidde máim que o foguetão tige este itervlo. Apresete o resultdo em quilómetros por segudo, rredoddo às décims. Eme Nciol de º o, ª fse, ª chmd 999, código 5 Resolução ) A mss de combustível é igul 5080% 0 toelds. O tempo que demor gstr o combustível é 0 0,75 60 segudos, logo 0,60 t. b) Como t 0,60 e fução vt l0,005t 0,0t é cotíu em 0,60, vt possui máimo e míimo o itervlo 0,60. Derivdo v t 0,05 0,005 0,00005t v t 0,005t 0,005t 0,0 0, t 0,60 Cocluímos que fução v t é estritmete crescete em qudo t 0 e o máimo qudo t 60, sedo o vlor máimo d velocidde v 60l0,005600,060 l 0,,6, km/s. 0,60 e como tl tige o míimo 69

75 8. Médis As médis mis cohecids são médi ritmétic, médi geométric e médi hrmóic. Defiição 8. Pr dois úmeros e b, defiimos médi ritmétic, médi geométric e médi hrmóic respetivmete por: b b A G b H b Gerlmete pr clculr médi geométric impõe se codição b, 0 e o cálculo d médi hrmóic que e b ão sejm ulos. Vmos cosiderr o que se segue b, 0. Podemos escrever médi geométric como G b ou cosiderd como o iverso d médi ritmétic dos iversos, isto é G. A médi hrmóic pode ser G b b. H Ds defiições si que AH G, ou sej médi geométric de dois úmeros é tmbém médi geométric etre médi ritmétic e médi hrmóic destes úmeros. Proposição 8. Ddos os úmeros positivos e b, com b, tem se H G A b, sedo s desigulddes estrits se b. Demostrção. Sejm b, 0. Se Se b, etão b, temos: b b b b A ; G e, logo H, isto é, H G A b. b b b e como cosequêci b, ou sej H. 70

76 Por b 0 temos que bb 0, dode somdo 4b cd membro temos b b 4b. Podemos etão escrever que b 4 b ou sej b b 4 b b, dode se coclui que b b b, ou sej H G. De b 0, vem b b 0 ou sej Filmete bb b ou sej b b isto é b b, ou sej A b. b b, isto é G A. 8.. Médis pr mis de dois úmeros As médis vists teriormete pr dois úmeros podem ser geerlizds pr mis úmeros. Defiição 8. Ddos úmeros positivos,,...,, defie se:... A, G... e H.... Como, cosequêci d defiição 8., temos: Proposição 8.4 Ddos úmeros positivos,,...,, temos H G A. No cso em que em que..., etão A G H. Ates de demostrr proposição 8.4, vmos demostrr o seguite lem. Lem 8.5 Ddos úmeros positivos,,...,, se... etão..., tedo se iguldde se e só se.... Demostrção. Vmos efetur prov por idução, o cso o resultdo é trivil. Hipótese de idução: se... p etão... p p 7

77 Tese: se... pp etão... p p p Como... pp eiste pelo meos um termo mior ou igul e pelo meos um termo meor ou igul. Vmos supor, sem perd de geerlidde que e que. Assim temos 0 e 0 logo Podemos etão escrever 0 0. p p p e pel hipótese de idução se o produto de p ftores é igul, etão... p p, dode se coclui que p. p p Se pelo meos um dos i for diferete dos resttes o rciocíio terior é válido com desigulddes estrits o que mostr que este cso.... Por outro ldo, se... e... etão i, i,..., dode.... Pssemos gor à demostrção d proposição 8.4. Demostrção ftores e portto pelo lem 8.5, Fic mostrdo que G A, flt mostrr que H G. 7

78 Pr isso covém lembrr que o iverso d médi hrmóic de úmeros positivos é médi ritmétic dos iversos desses úmeros, ou sej ddos úmeros positivos,,...,, tem se... H ou sej, dode si H G. H G É fácil verificr que se... k, etão k A k, G k k e H k, ou k sej H A G. Result d demostrção terior e do lem 8.5 que se os úmeros,..., ão forem todos iguis se tem G A. Este fcto será usdo o que se segue. 8.. Aplicções ds desigulddes ds médis ) Mostre que se 0, etão. Aplicdo desiguldde ds médis A G os úmeros e, vem, isto é,, ou sej e se e só se. ) Cosiderdo s vriáveis reis positivs, y, zw,, qul o meor vlor d epressão y z w? y z w Aplicdo desiguldde ds médis A G os úmeros y, y z, z w e w vem, 7

79 y z w y z w 4 y z w y z w 4 ou sej, y z w y z w y z w e como tl 4, 4 y z w dode se coclui que o vlor míimo d epressão y z w é 4 e é tigido qudo y z w y w z. ) Pr 0, qul é o vlor míimo de Podemos escrever y. y? Aplicdo desiguldde ds médis, e vem, ou sej, dode 4. 4 O vlor míimo de y é 4, o que se verific qudo ou sej qudo. 4) Se yz,, são úmeros positivos, qul o vlor míimo de yz y z? y y z z Tem se yz. y z y z z y Aplicdo desiguldde ds médis temos y y z z y z z y 9 y y z z y z z y 9, ou sej y y z z y z z y, dode se coclui que 9 y y z z 9 y z z y e que epressão y z vlor míimo 9, sedo este vlor tigido qudo y z. tem como y z 74

80 5) Resolução do problem 7.6 Sej h ltur do coe, r o rio d bse do coe e R o rio d esfer. hr hrh h R h O volume do coe é v e como visto v. Podemos etão escrever, plicdo desiguldde ds médis que: h h R h v h h R Rh, tigido o volume máimo qudo 4 h 4R se tem iguldde, ou sej qudo Rh h4rh h. 6) Resolução do problem 7.0 V. Ns codições do eucido o volume d ci é Aplicdo s desigulddes ds médis podemos escrever V tigido o vlor máimo qudo se tem iguldde, ou sej qudo. 4 6 A desiguldde etre s médis ritmétic e geométric tem como cosequêci s seguites firmções: Proposição 8.5. I. Se som de úmeros positivos for costte, etão o produto é máimo qudo todos os úmeros forem iguis. II. Se o produto de úmeros positivos for costte, etão som é míim qudo todos os úmeros forem iguis. 75

81 Demostrção: Afirmção I Sejm,,..., 0 úmeros positivos tis que... k em que k é um costte rel. Cosideremos fução f,,...,.... D desiguldde ds médis podemos escrever......, ou sej k k f,,..., f k, k,..., k,,,..., 0 k dode se coclui que o máimo de f é tigido qudo.... Afirmção II Sejm,,..., 0 úmeros positivos tis que... c em que c é um costte rel. Cosideremos fução g,,...,.... D desiguldde ds médis podemos escrever , ou sej c... c g,,..., g c, c,..., c,,,..., 0 dode se coclui que o vlor míimo d fução g é tigido qudo... c. Como cosequêci d firmção I podemos resolver seguite questão que foi bordd por outros métodos o cpítulo. 7) Provr que, de todos os triâgulos com o mesmo perímetro, o equilátero possui mior áre. Cosideremos o triâgulo de ldos bc,, com bc p. Pel fórmul de Héro áre do triâgulo é dd por p p p p A b c ou sej p p p p A b c. 76

82 p p p p Como é costte, áre será máim qudo b c for máimo. p p p p p p b c bc p, que é costte. Ms Etão pel firmção I o produto será máimo qudo p p p p b c, ou sej qudo bc, como querímos demostrr. 8) Podemos plicr firmção II à resolução do problem 7.4 e si logo que som é míim qudo y, ms c y, dode se coclui que c e como 0, vem c. 77

83 Bibliogrfi A Alt Mtemátic ds Abelhs Geômetrs. (mio de 00). Obtido em 4 de bril de 0, de "Servos, porém Livres!": mtemtic ds belhsgeometrs.html A Mtemátic dos Alvéolos. (s.d.). Obtido em 4 de bril de 0, de Apiário Cto do Rio: mtemtic dos lveolos/ Apostol, T. M. (967). Clculus. Estdos Uidos d Améric: Joh Wiley & Sos, Ic. Ashbugh, M., & Beguri, R. (4 6 de mio de 00). The Problem of Quee Dido. Obtido em 9 de bril de 0, de Itertiol Coferece o the Isoperimetric Problem of Quee Dido d its Mthemticl Rmifictios: isoperimetry history.pdf Boyer, C. B. (974). Históri d Mtemátic. São Pulo: Editor Edgr Blucher Ltd. Brow, R. M. ( de gosto de 006). Mimum miimum Problems. Obtido em de jeiro de 0, de Mth Scieces: mmi.pdf Eplordo o Esio d Mtemátic. (004). Brsíli: Secretri d Educção Básic. Foro, T. C. (00). Geometri ds Abelhs. Dourdos: Uiversidde Estdul de Mto Grosso do Sul. Fri, I. (004). Apotmetos de Aálise II. Lisbo: Istituto Superior de Agroomi. Figueir, M. S. (00). Fudmetos de Aálise Ifiitesiml. Lisbo: Fculdde de Ciêcis d Uiversidde de Lisbo. Gve, Gbiete de Avlição Educciol. (Julho de 999). Obtido em de Abril de 0, de Gve, Arquivo de Provs: Ioffe, A. D., & Tihomirov, V. M. (979). Theory of Etreml Problems. Nov Iorque: North Holld Publishig Compy. Jese, S. (ovembro de 004). A Itroductio to Lgrge Multipliers. Obtido em 7 de bril de 0, de The World of Steurd Jese: Koub, D. (6 de juho de 998). Mimum/Miimum Problems. Obtido em de outubro de 0, de UC Dvis Mthemtics: Lim, E. L. (006). Aálise Rel. Rio de Jeiro: IMPA. Lim, G. L. (004). Cálculo Vriciol: Problems Clássicos, Aspectos Teóricos e Desdobrmetos. Cmpis: Uiversidde Estdul de Cmpis. Limberger, R. (0). Abordges do Problem Isoperimétrico. Cmpis: IMECC. 78

84 Meterlick, M. (999). L Vid de ls Abejs. Edicioes Elleph.com. Mrtis, D. M. (009). A Geometri ds Abelhs. Belo Horizote: Uiversidde Federl de Mis Geris, ICEX. Mrtis, J. A., Dori, E. C., Clbró, M. C., & Zgtti, R. V. (009). Abelhs: A Mtemátic dos Alvéolos Um Problem Prático de Geometri. São Pulo: Uiversidde de São Pulo, IME. Moreir, C. G., & Sldh, N. C. (dezembro de 99). A Desiguldde Isoperimétric. Mtemátic Uiversitári, pp. 9. Sborío, E. H. (0 de jeiro de 006). Apliccioes de l Derivd. Obtido em de outubro de 0, de Cálculo Diferecil e Itegrl: elsie/pliccioesderivd/html/pliccioesder.pdf Sls, S. L., Etge, G. J., & Hille, E. (998). Clculus Oe d Severl Vribles. Nov Iorque: Joh Wiley & Sos. Sérgio, P. ( de jeiro de 00). Ftos Mtemáticos. Obtido em de mrço de 0, de Silv, R. A., Cost, M. L., & Silv, D. J. (0 de ovembro de 00). A Mtemátic ds Abelhs Atrvés d Resolução de Problems. Obtido em de bril de 0, de Sociedde Brsileir de Educção Mtemátic: pdf Spi, C. d. (00). Modelgem d Mtemátic o Processo Esio Apredizgem do Cálculo Diferecil e Itegrl pr o Esio Médio. Rio Clro: Uiversidde Estdul Pulist. Stewrt, J. (006). Cálculo. São Pulo: Pioeir Thomso Lerig. Teieir, J. C. (9 de dezembro de 009). As Abelhs Geômetrs. Obtido em 4 de bril de 0, de Repúblic Editoril: Teles, A. L., Vieir, A., Ali, A., & Atues, F. (997). A Mtemátic Vid ds Abelhs. Lisbo: APM. The problem of Dido. ( de dezembro de 008). Obtido em 9 de jeiro de 0, de Mthemticl Grde: problem of dido/ Thikomirov, V. M. (99). Stories About Mim d Miim. Americ Mthemticl Society. Viegs, C., Gomes, F., & Lim, Y. (0). Xeqmt. Lisbo: Teto Editores, Ld. Vieir, F. B., Rodrigues, L. B., & Agustii, E. (bril de 005). O Teorem Isoperimétrico e o Problem d Cerc. FAMAT em Revist, pp