Mathematics · Boek 1 · Grades 1–9

Wiskunde basisschool en onderbouw

Wiskunde basisschool en onderbouw · Grades 1–9

60De rechthoekige driehoek en de cosinus

Twee mooie feiten binden de rechthoekige driehoek aan de cirkel: een rechthoekige driehoek past precies in een halve cirkel, met zijn schuine zijde als diameter. En één getal, de cosinus van een hoek, legt de vorm vast van elke rechthoekige driehoek met die hoek — de eerste goniometrische verhouding, nog vóór haar zusjes sinus en tangens (Hoofdstuk 69).

60.1 De rechthoekige driehoek en zijn cirkel

Stelling 60.1 (Cirkelstelling)

  1. Is een driehoek ABCABC rechthoekig in AA, dan ligt AA op de cirkel met de schuine zijde [BC][BC] als diameter.
  2. Omgekeerd: ligt AA op een cirkel met diameter [BC][BC] (met AB,CA \neq B, C), dan is de driehoek ABCABC rechthoekig in AA.

Even goed gezegd: in een rechthoekige driehoek ligt het midden van de schuine zijde op gelijke afstand van de drie hoekpunten — de zwaartelijn uit de rechte hoek meet de helft van de schuine zijde.

Bewijs van 1. Zij OO het midden van [BC][BC] en DD het beeld van AA door de puntspiegeling om OO. De diagonalen van ABDCABDC snijden elkaar in hun gemeenschappelijke midden OO, dus is ABDCABDC een parallellogram (Definitie 52.7) — met een rechte hoek in AA: het is een rechthoek. De diagonalen van een rechthoek zijn gelijk, dus is OA=AD2=BC2OA = \frac{AD}{2} = \frac{BC}{2}: het punt AA ligt op afstand BC2\frac{BC}{2} van OO, dat wil zeggen op de cirkel met diameter [BC][BC]. (Punt 2 bewijs je door het betoog in omgekeerde richting te doorlopen.)

Waar A ook op de cirkel ligt, de hoek BAC is recht — het vermoeden van , nu een stelling. De rode zwaartelijn [OA] is een radius: de helft van de schuine zijde.
Waar AA ook op de cirkel ligt, de hoek BAC^\widehat{BAC} is recht — het vermoeden van Oefening 41.10, nu een stelling. De rode zwaartelijn [OA][OA] is een radius: de helft van de schuine zijde.

Voorbeeld 60.2

Een driehoek heeft een schuine zijde van 1010 cm. Zonder verder iets te weten: de zwaartelijn uit de rechte hoek meet 55 cm, en de omgeschreven cirkel van de driehoek heeft radius 55 cm, met het midden van de schuine zijde als middelpunt.

60.2 De cosinus van een scherpe hoek

Definitie 60.3 (Cosinus)

In een rechthoekige driehoek geldt voor een scherpe hoek θ\theta:

cosθ=aanliggende zijde bij θschuine zijde\cos\theta = \frac{\text{aanliggende zijde bij } \theta}{\text{schuine zijde}}

— de rechthoekszijde die aan θ\theta raakt, gedeeld door de schuine zijde. Deze verhouding hangt alleen van de hoek af, niet van de grootte van de driehoek: alle rechthoekige driehoeken met dezelfde scherpe hoek zijn vergrotingen van elkaar, en vergrotingen behouden verhoudingen van lengten (Hoofdstuk 59 begon dit verhaal; Hoofdstuk 68 maakt het af).

Twee rechthoekige driehoeken met dezelfde hoek : de kleine is een verkleining van de grote, dus is aanliggend schuine zijde voor beide hetzelfde — die gemeenschappelijke waarde is .
Twee rechthoekige driehoeken met dezelfde hoek θ\theta: de kleine is een verkleining van de grote, dus is aanliggendschuine zijde\frac{\text{aanliggend}}{\text{schuine zijde}} voor beide hetzelfde — die gemeenschappelijke waarde is cosθ\cos\theta.

Propositie 60.4 (Eerste waarden en grenzen)

Voor elke scherpe hoek θ\theta geldt 0<cosθ<10 < \cos\theta < 1, en de cosinus daalt als de hoek verder opengaat: een wijdere hoek heeft een kleinere cosinus. Herkenningspunten: cos0=1\cos 0^\circ = 1, cos60=12\cos 60^\circ = \frac12, cos90=0\cos 90^\circ = 0 (de uiterste waarden horen bij platgedrukte driehoeken).

Bewijs. Op dit niveau zonder bewijs aangenomen.

Methode 60.5 (De cosinus gebruiken)

In een rechthoekige driehoek, wanneer de bekende en de gevraagde grootheden een scherpe hoek, zijn aanliggende zijde en de schuine zijde zijn:

  1. schrijf de definitie op: cosθ=aanliggendschuine zijde\cos\theta = \frac{\text{aanliggend}}{\text{schuine zijde}}, met de bekende waarden ingevuld;
  2. los de kleine vergelijking op naar de onbekende (vermenigvuldig of deel);
  3. is de hoek onbekend, pas dan de cos1\cos^{-1} van de rekenmachine toe op de berekende verhouding;
  4. controles op het gezond verstand: een lengte moet korter uitkomen dan de schuine zijde; een hoek strikt tussen 00^\circ en 9090^\circ.

Voorbeeld 60.6 (Een zijde vinden)

Een helling van 66 m maakt een hoek van 2020^\circ met de horizontale grond. De afgelegde horizontale afstand (aanliggend bij 2020^\circ, schuine zijde 66 m):

cos20=d6d=6cos206×0.9405.6 m.\cos 20^\circ = \frac{d}{6} \quad\Longrightarrow\quad d = 6 \cos 20^\circ \approx 6 \times 0.940 \approx 5.6 \text{ m}.

Voorbeeld 60.7 (Een hoek vinden)

In een rechthoekige driehoek meet de zijde die aan de hoek θ\theta ligt 3.53.5 en de schuine zijde 55:

cosθ=3.55=0.7,θ=cos1(0.7)45.6.\cos\theta = \frac{3.5}{5} = 0.7, \qquad \theta = \cos^{-1}(0.7) \approx 45.6^\circ .

60.3 Oefeningen

Oefening 60.2

Teken een cirkel met diameter 88 cm en daarin een diameter [BC][BC], kies een willekeurig punt AA op de cirkel en teken ABCABC. Welke hoek is recht? Noem de stelling. Meet ABAB en ACAC en ga Pythagoras na.

Oplossing

Oplossing van Oefening 60.2.

De hoek in AA is recht ([BC][BC] is een diameter: punt 2 van Stelling 60.1). De metingen geven AB2+AC264=BC2AB^2 + AC^2 \approx 64 = BC^2, op de meetnauwkeurigheid na.

Oefening 60.3

Benoem in een driehoek DEFDEF, rechthoekig in DD, de zijde die aan de hoek E^\widehat E ligt, de zijde tegenover die hoek, en de schuine zijde. Schrijf cosE^\cos \widehat E als een verhouding.

Oplossing

Oplossing van Oefening 60.3.

Schuine zijde: [EF][EF] (tegenover de rechte hoek DD). Aanliggend bij E^\widehat E: [ED][ED]. Tegenover: [DF][DF]. Dus is cosE^=EDEF\cos\widehat E = \dfrac{ED}{EF}.

Oefening 60.4

Bereken de ontbrekende grootheid (cos350.819\cos 35^\circ \approx 0.819, cos500.643\cos 50^\circ \approx 0.643):

  1. schuine zijde 1010, hoek 3535^\circ: aanliggende zijde?
  2. aanliggende zijde 66, hoek 5050^\circ: schuine zijde?
Oplossing

Oplossing van Oefening 60.4.

1. aanliggende zijde =10cos358.2= 10 \cos 35^\circ \approx 8.2.

2. schuine zijde =6cos5060.6439.3= \dfrac{6}{\cos 50^\circ} \approx \dfrac{6}{0.643} \approx 9.3.

Oefening 60.5

In een rechthoekige driehoek meet de zijde die aan θ\theta ligt 88 en de schuine zijde 1010. Bereken cosθ\cos\theta, en daarna θ\theta (cos1(0.8)36.9\cos^{-1}(0.8) \approx 36.9^\circ).

Oplossing

Oplossing van Oefening 60.5.

cosθ=810=0.8\cos\theta = \frac{8}{10} = 0.8, dus is θ=cos1(0.8)37\theta = \cos^{-1}(0.8) \approx 37^\circ.

Oefening 60.6

Leg uit waarom cosθ\cos\theta nooit 1.21.2 kan zijn voor een scherpe hoek van een rechthoekige driehoek.

Oplossing

Oplossing van Oefening 60.6.

cosθ\cos\theta is een rechthoekszijde gedeeld door de schuine zijde, en de schuine zijde is de langste zijde van een rechthoekige driehoek: het quotiënt is altijd kleiner dan 11. Een waarde van 1.21.2 zou een rechthoekszijde betekenen die langer is dan de schuine zijde — onmogelijk.

Oefening 60.7 ★★

Een tokkelbaan van 2525 m daalt van een platform naar de grond en maakt een hoek van 1212^\circ met de horizontale (cos120.978\cos 12^\circ \approx 0.978). Welke horizontale afstand overspant hij?

Oplossing

Oplossing van Oefening 60.7.

Horizontale overspanning =25cos1225×0.97824.5= 25 \cos 12^\circ \approx 25 \times 0.978 \approx 24.5 m.

Oefening 60.8 ★★

Zet op volgorde zonder rekenmachine: cos20\cos 20^\circ, cos70\cos 70^\circ, cos45\cos 45^\circ (gebruik Propositie 60.4). Ga het daarna na met de rekenmachine.

Oplossing

Oplossing van Oefening 60.8.

De cosinus daalt als de hoek groter wordt (Propositie 60.4):

cos70<cos45<cos20.\cos 70^\circ < \cos 45^\circ < \cos 20^\circ .

(Rekenmachine: 0.342<0.707<0.9400.342 < 0.707 < 0.940.)

Oefening 60.9 ★★

Een ladder met lengte LL staat tegen een muur, met een hoek θ\theta tussen ladder en grond. Zijn voet staat 1.21.2 m van de muur en θ=68\theta = 68^\circ (cos680.375\cos 68^\circ \approx 0.375). Bereken LL, en daarna de bereikte hoogte (Pythagoras).

Oplossing

Oplossing van Oefening 60.9.

De afstand op de grond ligt aan θ\theta: cos68=1.2L\cos 68^\circ = \frac{1.2}{L}, dus is L=1.20.375=3.2L = \frac{1.2}{0.375} = 3.2 m. Hoogte (Pythagoras): 3.221.22=10.241.44=8.83.0\sqrt{3.2^2 - 1.2^2} = \sqrt{10.24 - 1.44} = \sqrt{8.8} \approx 3.0 m.

Oefening 60.10 ★★

[BC][BC] is een diameter van een cirkel met middelpunt OO en radius 4.54.5 cm, en AA is een punt van de cirkel met AB=5.4AB = 5.4 cm.

  1. Waarom is ABCABC rechthoekig in AA?
  2. Bereken ACAC, en daarna cosB^\cos \widehat B.
Oplossing

Oplossing van Oefening 60.10.

1. AA ligt op een cirkel met diameter [BC][BC]: rechte hoek in AA (Stelling 60.1).

2. BC=9BC = 9 cm (twee keer de radius). Pythagoras: AC=925.42=8129.16=51.84=7.2AC = \sqrt{9^2 - 5.4^2} = \sqrt{81 - 29.16} = \sqrt{51.84} = 7.2 cm. En cosB^=ABBC=5.49=0.6\cos\widehat B = \dfrac{AB}{BC} = \dfrac{5.4}{9} = 0.6.

Oefening 60.11 ★★★

Verantwoord met de helft van een gelijkzijdige driehoek met zijde 11 (geknipt langs een hoogtelijn) het herkenningspunt cos60=12\cos 60^\circ = \frac12 van Propositie 60.4. (Waar komt de voet van de hoogtelijn op de basis terecht? De volledige goniometrische versie is Voorbeeld 69.9.)

Oplossing

Oplossing van Oefening 60.11.

In de gelijkzijdige driehoek met zijde 11 komt de hoogtelijn uit een hoekpunt op het midden van de overstaande zijde terecht (symmetrieas). De helft van de driehoek is rechthoekig met schuine zijde 11 (een volledige zijde), een hoek van 6060^\circ in het hoekpunt op de basis, en aanliggende zijde 12\frac12 (de helft van de basis). Bijgevolg is

cos60=1/21=12.\cos 60^\circ = \frac{1/2}{1} = \frac12 .

60.4 Opgave: de betrekkingen van Euclides, en Pythagoras nog een keer

Probleem 60.1

Weekendopgave — de hoogtelijn van een rechthoekige driehoek: AB2=BH×BCAB^2 = BH \times BC, AH2=BH×HCAH^2 = BH \times HC, een tweede bewijs van Pythagoras, en een machine om vierkantswortels te construeren

Laat uit de rechte hoek van een rechthoekige driehoek de loodlijn op de schuine zijde neer: dat korte lijnstuk — de hoogtelijn — voldoet aan betrekkingen die zo nuttig zijn dat Euclides ze in het hart van zijn Elementen plaatste. In deze opgave bewijst de bepalende eigenschap van de cosinus, “de verhouding hangt alleen van de hoek af” (Definitie 60.3), ze alle; onderweg bewijs je de stelling van Pythagoras opnieuw, langs een volstrekt andere weg, en aan het einde staat een machine met passer en lat die 2\sqrt2, 5\sqrt5 en n\sqrt{n} voor elk heel getal nn construeert.

Overal is ABCABC een driehoek die rechthoekig is in AA, en is HH de voet van de loodlijn uit AA op de schuine zijde [BC][BC], zodat HH tussen BB en CC ligt en AHBCAH \perp BC.

Deel I — Één hoek, twee driehoeken.

  1. Toon met de hoekensom van een driehoek (Stelling 51.3) in ABHABH en in ABCABC aan dat BAH^=ACB^\widehat{BAH} = \widehat{ACB}: de hoogtelijn verdeelt de rechthoekige driehoek in twee kleinere driehoeken met dezelfde hoeken als de oorspronkelijke.
  2. De driehoeken ABCABC (rechthoekig in AA) en ABHABH (rechthoekig in HH) hebben de hoek B^\widehat B gemeen. Schrijf cosB^\cos\widehat B in elk van beide op en leid uit Definitie 60.3 af dat

    AB2=BH×BC.AB^2 = BH \times BC .

    (Om van gelijke verhoudingen naar gelijke producten te gaan, vermenigvuldig je beide leden met beide noemers, Stelling 57.5.)

  3. Formuleer en bewijs de tegenhanger in het hoekpunt CC:

    AC2=CH×CB.AC^2 = CH \times CB .
  4. Neem de 334455-driehoek: AB=3AB = 3, AC=4AC = 4, BC=5BC = 5. Bereken BHBH en CHCH met vragen 2 en 3, en ga na dat BH+HC=BCBH + HC = BC.
  5. Druk BHBH en CHCH in het algemeen uit als breuken waarin alleen de drie zijden voorkomen. In welke zin verdeelt de voet HH de schuine zijde “evenredig met de kwadraten van de rechthoekszijden”?

Deel II — Pythagoras opnieuw, en de hoogtelijn.

  1. Tel de betrekkingen van vragen 2 en 3 op en gebruik BH+HC=BCBH + HC = BC om te komen tot

    AB2+AC2=BC2:AB^2 + AC^2 = BC^2 :

    de stelling van Pythagoras (Stelling 58.1), opnieuw bewezen — zonder ook maar één oppervlakteraadsel in zicht (vergelijk Oefening 58.11).

  2. Pas Pythagoras toe in de kleine driehoek ABHABH om AH2=AB2BH2AH^2 = AB^2 - BH^2 te schrijven, vervang AB2AB^2 door BH×BCBH \times BC, en breng BHBH buiten haakjes om de hoogtelijnbetrekking van Euclides te bewijzen:

    AH2=BH×HC.AH^2 = BH \times HC .
  3. Bereken de oppervlakte van ABCABC op twee manieren — met de rechthoekszijden als basis en hoogte, en daarna met de schuine zijde als basis (Stelling 53.3) — en leid de derde betrekking af:

    AB×AC=BC×AH.AB \times AC = BC \times AH .
  4. Terug naar de 334455-driehoek: bereken AHAH met vraag 8, en ga daarna de hoogtelijnbetrekking van vraag 7 met getallen na, met de in vraag 4 gevonden waarden van BHBH en CHCH.
  5. De voet van de hoogtelijn verdeelt de schuine zijde van een zekere rechthoekige driehoek in de stukken BH=2BH = 2 cm en HC=8HC = 8 cm. Bereken de hoogtelijn AHAH.

Deel III — Een machine voor vierkantswortels. Teken een lijnstuk [BC][BC] dat uit twee stukken achter elkaar bestaat: BH=pBH = p en HC=qHC = q. Teken de halve cirkel met diameter [BC][BC], en zij AA het punt waar de loodlijn op (BC)(BC) in HH die halve cirkel ontmoet.

  1. Leg met Stelling 60.1 uit waarom de driehoek ABCABC rechthoekig is in AA — zodat vraag 7 van toepassing is en

    AH2=p×q.AH^2 = p \times q .

    (De lengte AHAH heet het meetkundig gemiddelde van pp en qq.)

  2. Neem p=1p = 1 en q=2q = 2. Wat is AH2AH^2? Welke beroemde lengte uit Voorbeeld 58.9 heeft je figuur met passer en lat net geconstrueerd?
  3. Beschrijf het recept dat een lijnstuk met lengte n\sqrt n construeert voor elk heel getal n1n \geq 1, en zeg welke keuze van pp en qq 5\sqrt 5 construeert.
  4. Zij OO het middelpunt van de halve cirkel. Leg uit waarom AHAH nooit groter kan zijn dan de radius p+q2\frac{p + q}{2}, en voor welke stand van HH de twee gelijk zijn.
  5. Leid de ongelijkheid af: voor alle positieve getallen pp en qq geldt

    p×q(p+q2)2,p \times q \leq \left(\frac{p + q}{2}\right)^2,

    met gelijkheid precies als p=qp = q. Bewijs die daarna opnieuw zonder een greintje meetkunde: werk (p+q2)2pq\left(\frac{p+q}{2}\right)^2 - p q uit en herken een merkwaardig product (Probleem 57.1).

Oplossing

Oplossing van Probleem 60.1.

1. In de driehoek ABHABH, rechthoekig in HH, geeft de hoekensom (Stelling 51.3) dat B^+90+BAH^=180\widehat B + 90^\circ + \widehat{BAH} = 180^\circ, dus BAH^=90B^\widehat{BAH} = 90^\circ - \widehat B. In de driehoek ABCABC, rechthoekig in AA: B^+C^+90=180\widehat B + \widehat C + 90^\circ = 180^\circ, dus C^=90B^\widehat C = 90^\circ - \widehat B. Bijgevolg is BAH^=ACB^\widehat{BAH} = \widehat{ACB}: beide kleine driehoeken herhalen de hoeken B^\widehat B, C^\widehat C, 9090^\circ van de oorspronkelijke.

2. In ABCABC (rechthoekig in AA) is de zijde die aan B^\widehat B ligt ABAB en is de schuine zijde BCBC: cosB^=ABBC\cos\widehat B = \frac{AB}{BC}. In ABHABH (rechthoekig in HH) is de zijde die aan B^\widehat B ligt BHBH en is de schuine zijde ABAB: cosB^=BHAB\cos\widehat B = \frac{BH}{AB}. De verhouding hangt alleen van de hoek af (Definitie 60.3), dus is

ABBC=BHAB;\frac{AB}{BC} = \frac{BH}{AB} ;

beide leden met BC×ABBC \times AB vermenigvuldigen (Stelling 57.5) geeft AB2=BH×BCAB^2 = BH \times BC.

3. De driehoeken ABCABC (rechthoekig in AA) en ACHACH (rechthoekig in HH) hebben de hoek C^\widehat C gemeen. Aanliggende zijde gedeeld door schuine zijde, in elk van beide:

cosC^=ACCB=CHACAC2=CH×CB.\cos\widehat C = \frac{AC}{CB} = \frac{CH}{AC} \qquad\Longrightarrow\qquad AC^2 = CH \times CB .

4. AB2=BH×BCAB^2 = BH \times BC luidt 9=BH×59 = BH \times 5, dus is BH=1.8BH = 1.8; en 16=CH×516 = CH \times 5 geeft CH=3.2CH = 3.2. Controle: BH+HC=1.8+3.2=5=BCBH + HC = 1.8 + 3.2 = 5 = BC — zoals het moet, want HH ligt op de schuine zijde tussen BB en CC.

5. Elke betrekking door BCBC delen geeft

BH=AB2BC,CH=AC2BC.BH = \frac{AB^2}{BC}, \qquad CH = \frac{AC^2}{BC} .

Dus zijn BHBH en CHCH evenredig met AB2AB^2 en AC2AC^2: de voet van de hoogtelijn verdeelt de schuine zijde in de verhouding van de kwadraten van de rechthoekszijden (1.8:3.2=9:161.8 : 3.2 = 9 : 16 in vraag 4).

6. De twee betrekkingen optellen en BCBC buiten haakjes brengen (distributiviteit):

AB2+AC2=BH×BC+CH×BC=(BH+CH)×BC=BC×BC=BC2.AB^2 + AC^2 = BH \times BC + CH \times BC = (BH + CH) \times BC = BC \times BC = BC^2 .

Dit is Stelling 58.1, verkregen uit de cosinus alleen — een werkelijk ander bewijs dan het oppervlakteraadsel met de vier driehoeken uit Oefening 58.11.

7. Pythagoras in ABHABH (rechthoekig in HH, schuine zijde [AB][AB]): AH2=AB2BH2AH^2 = AB^2 - BH^2. Vervang AB2AB^2 door BH×BCBH \times BC (vraag 2) en breng BHBH buiten haakjes:

AH2=BH×BCBH2=BH×(BCBH)=BH×HC.AH^2 = BH \times BC - BH^2 = BH \times (BC - BH) = BH \times HC .

8. Met de rechthoekszijden als basis en hoogte is de oppervlakte van ABCABC gelijk aan AB×AC2\frac{AB \times AC}{2}; met de schuine zijde [BC][BC] als basis is de hoogte precies AHAH, dus is de oppervlakte ook BC×AH2\frac{BC \times AH}{2} (Stelling 53.3). Gelijkstellen en verdubbelen: AB×AC=BC×AHAB \times AC = BC \times AH.

9. AH=AB×ACBC=3×45=2.4AH = \frac{AB \times AC}{BC} = \frac{3 \times 4}{5} = 2.4. Nagaan van vraag 7: AH2=2.42=5.76AH^2 = 2.4^2 = 5.76 en BH×HC=1.8×3.2=5.76BH \times HC = 1.8 \times 3.2 = 5.76. Gelijk.

10. AH2=BH×HC=2×8=16AH^2 = BH \times HC = 2 \times 8 = 16, dus is AH=16=4AH = \sqrt{16} = 4 cm.

11. Het punt AA ligt op de cirkel met diameter [BC][BC] (en is verschillend van BB en CC), dus is de driehoek ABCABC volgens punt 2 van Stelling 60.1 rechthoekig in AA. Door de constructie is (AH)(BC)(AH) \perp (BC) met HH tussen BB en CC: het lijnstuk [AH][AH] is precies de hoogtelijn van vraag 7, en AH2=BH×HC=p×qAH^2 = BH \times HC = p \times q.

12. AH2=1×2=2AH^2 = 1 \times 2 = 2: de figuur construeert, met passer en lat alleen, een lijnstuk waarvan het kwadraat 22 is — de diagonaal van het eenheidsvierkant, 21.414\sqrt2 \approx 1.414, uit Voorbeeld 58.9.

13. Recept: leg twee lijnstukken met lengten p=1p = 1 en q=nq = n achter elkaar; teken de halve cirkel met het hele lijnstuk (lengte n+1n + 1) als diameter; richt de loodlijn op in het verbindingspunt; die ontmoet de halve cirkel in een punt waarvan de afstand tot het verbindingspunt 1×n=n\sqrt{1 \times n} = \sqrt n is. Voor 5\sqrt5: neem p=1p = 1 en q=5q = 5 (een halve cirkel met diameter 66).

14. AA ligt op de cirkel met middelpunt OO, dus is OA=p+q2OA = \frac{p+q}{2}, de radius. Is HOH \neq O, dan is de driehoek AHOAHO rechthoekig in HH met schuine zijde [OA][OA], en een rechthoekszijde is korter dan de schuine zijde: AH<OAAH < OA. Is H=OH = O, dan is AH=OAAH = OA precies. In alle gevallen is AHp+q2AH \leq \frac{p+q}{2}, met gelijkheid precies als HH het middelpunt is — dat wil zeggen als p=qp = q.

15. AHp+q2AH \leq \frac{p+q}{2} kwadrateren (beide leden positief) en AH2=pqAH^2 = pq gebruiken geeft

p×q(p+q2)2,p \times q \leq \left(\frac{p+q}{2}\right)^2 ,

met gelijkheid precies voor p=qp = q. Algebraïsch nogmaals bewezen, met de merkwaardige producten (Probleem 57.1):

(p+q2)2pq=p2+2pq+q24pq4=p22pq+q24=(pq2)2,\left(\frac{p+q}{2}\right)^2 - pq = \frac{p^2 + 2pq + q^2 - 4pq}{4} = \frac{p^2 - 2pq + q^2}{4} = \left(\frac{p-q}{2}\right)^2 ,

een kwadraat, en dus nooit negatief — en nul precies als p=qp = q. Het meetkundig gemiddelde van twee getallen is nooit groter dan hun halve som.

Begrippen gedefinieerd in dit hoofdstuk

Bekijk alle 395 begrippen in de begrippenlijst