Am mai ramas dator cu problema cu conurile:
Sa se determine maximul multimii de volumuri de conuri C, unde C se plimba in multimea X(R) a conurilor inscrise intr-o sfera data de raza R.
Deoarece volumul unui astfel de con C se schimba prin operatia de impartire la RRR, daca transformam prin omotetie... Putem lua f.a.r.g. R=1. (Nu e nevoie, dar nu vreau sa car acel R dupa mine.)
Fie C un con in X(1).
Facem o poza in 3D. Taiem aceasta poza cu un plan de trece prin centrul sferei. In acest plan avem o poza in 2D, care reprezinta un triunghi isoscel T cu baza ce corespunde unui diametru al lui C. Fie 2x lungimea acestei baze.
x se plimba
- intre 0 (pentru conul cu baza degenerata la un cerc de raza 0)
- si R=1 (pentru cazul in care conul are drept baza un cerc mare al sferei).
Inaltimea unui astfel de con este
Semnul (plus/minus) se ia dupa cum conul (contine / nu contine) centrul sferei.
Pentru problema de maximizare este clar ca ne legam numai de valorile obtinute alegand semnul PLUS. Problema cere deci calculul lui:
Lasand la o parte decoratiile constante ale expresiei,
facand substitutia
trebuie sa gasim deci
calculam valorile la capatul intervalului in care variaza y, dam de 1 si 0, derivam expresia de maximizat, rezolvam 1-2y-3yy=0 pe (0,1), dam doar de solutia 1/3, calculam in y=(1/3) valoarea lui (1-y)(1+y)(1+y), dam de (2.4.4)(3.3.3) = 32/27. Acesta cam este maximul fara decoratii... Mai este un pas pana la terminat problema.
O mica verificare, mai mult pentru mine:
dan@riemann:/tmp$ sage
----------------------------------------------------------------------
| SAGE Version 3.0.5, Release Date: 2008-07-11 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: f(x) = x^2 * ( 1 + sqrt(1-x^2) )
sage: f
x |--> x^2*(sqrt(1 - x^2) + 1)
sage: f.find_maximum_on_interval(0,1)
(1.1851851851851851, 0.942809041682)
sage: 32. / 27.
1.18518518518519
sage: sqrt( 1-(1/3.)^2 )
0.942809041582063