Citat:
Ursprungligen postat av evolo
Hur kan man visa att en rätvinklig triangels area med känd omkrets är störst då kateterna är lika långa som höjden med en matematisk formel utan att rita upp exempel?
Okej, hade tråkigt:
Säg att triangeln har kateter av längd a och b. Då är dubbla arean
A = ab
och omkretsen är
P = a + b + sqrt(a² + b²).
Vi vill maximera A givet P. (Att maximera dubbla arean är förstås ekvivalent med att maximera arean.)
Lösning 1:
Använd Lagrangmultiplikatorer. Vi vill maximera
ab - λ(a + b + sqrt(a² + b²) - P)
Deriverar man får man bland annat ekvationerna
b - λ(1 + a/sqrt(a² + b²)) = 0
a - λ(1 + b/sqrt(a² + b²)) = 0
Detta medför att
(1 + a/sqrt(a² + b²))/b = 1/λ = 1 + b/sqrt(a² + b²)
dvs
(1/b - 1/a) = (a/b - b/a) 1/sqrt(a² + b²)
och om vi mlutiplicerar med ab på båda sidor
(a - b) = (a² - b²) 1/sqrt(a² + b²)
En lösning är att a = b. Om a ≠ b så kan vi dividera med a - b, och får
1 = (a + b)/sqrt(a² + b²)
och då att
(a + b)² = a² + b²
vilket medför att ab = 0, och därmed att a = 0 eller b = 0. Sen får man väl argumentera på något sätt att a = 0 eller b = 0 ger minimum, och a = b ger maximum. Hursomhelst så får vi att arean maximeras när a = b.
Lösning 2:
Det är lättare att minimera P, givet A. Detta är ett ekvivalent problem, i bemärkelsen att om en viss triangel minimerar P givet A, så maximerar den A givet P. (Det krävs lite tankeverksamhet för att förstå varför den här sista meningen är sann.) Hursomhelst, när man har insett det är inte svårt:
A är alltså fixt, och vi vill maximera P. Då är b = A/a, så
P = a + A/a + sqrt(a² + A²/a²).
Sen kan man derivera för att minimera på vanligt manér. Sen blir det massa jobbig algebra, men jag får i vilket fall till slut
a^4 - 2Aa² + A² = 0
vilket har lösningen a² = A. Då måste b = A/a = a, och maximum ges allså av a = b.
Lösning 3:
Man kan se att det är ekvivalent att minimera P/sqrt(A), utan bivillkor. (Återigen kräver denna omskrivning lite tankeverksamhet för att förstås.) Men
P/sqrt(A) = sqrt(a/b) + sqrt(b/a) + sqrt(a/b + b/a)
och det är alltså detta som ska minimeras. Vi kan införa en ny variabel x = a/b. Det som ska minimeras blir då
sqrt(x) + sqrt(1/x) + sqrt(x + 1/x).
Vi deriverar och sätter till 0, och får efter lite trixande
1 - 1/x = (1 - 1/x²)/sqrt(1 + 1/x²)
Nu kan vi se direkt att x = 1 är en lösning. Om inte, så kan vi dividera med 1 - 1/x, och får att
1 + 1/x = sqrt(1 + 1/x²)
vilket man kan se saknar lösningar (annat än x = 0 och x = ∞, i viss mening) på samma sätt som i lösning 1. Så x = 1 ger minimum, och detta svarar mot att A/P² maximeras när a = b.
Lösning 4:
Vi vet att a + b ≥ 2sqrt(ab), med likhet omm a = b. (Bevis: a + b - 2sqrt(ab) = (sqrt(a) - sqrt(b))² ≥ 0, med likhet omm sqrt(a) - sqrt(b) = 0, dvs a = b.)
Vi vet också att a² + b² ≥ 2ab med likhet omm a = b. (Bevis: a² + b² - 2ab = (a - b)² ≥ 0 med likhet omm a - b = 0, dvs a = b.) Då följer att sqrt(a² + b²) ≥ sqrt(2ab), med likhet omm a = b.
Sätter man ihop detta fås att
P = a + b + sqrt(a² + b²)
≥ (2 + sqrt(2))sqrt(ab)
= (2 + sqrt(2))sqrt(A)
med likhet omm a = b. Då är alltså
A ≤ P²/(2+sqrt(2))².
med likhet omm a = b. För P fixt betyder detta att A som högst kan anta värdet P²/(2+sqrt(2))², och att detta värde antas endast om a = b. Detta betyder precis att A maximeras när a = b (och vi får också att maximum är P²/(2+sqrt(2))².