🔢 mathematics

A note on an inequality involving the sides and medians in a triangle

Dit artikel bewijst een eerder vermoedde ongelijkheid die de zijden en medianen van een driehoek relateert, toont aan dat soortgelijke ongelijkheden gelden voor hoogtelijnen en bissectrices, en presenteert een open probleem voor Ceviaanse lijnen.

Oorspronkelijke auteurs: Peter Vassilev

Gepubliceerd 2026-03-19

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Peter Vassilev

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

📐 De Geheime Regel van de Driehoek: Een Wiskundig Raadsel Opgelost

Stel je voor dat je een driehoek tekent. Deze driehoek heeft drie zijden (noem ze $a$ , $b$ en $c$ ) en drie "middellijnen" (de lijnen die van een hoekpunt naar het midden van de tegenoverliggende zijde lopen, genaamd $m_a$ , $m_b$ en $m_c$ ).

In de jaren '80 zag een Bulgaarse wiskundige, Georgi Boychev, iets vreemds. Hij deed duizenden berekeningen en merkte op dat er een heel specifieke, ingewikkelde formule altijd waar leek te zijn, ongeacht hoe je de driehoek vormde. Maar hij kon het bewijzen niet vinden. Het was als een raadsel dat al decennia onopgelost bleef.

De auteur van dit artikel, Peter Vassilev, heeft eindelijk de sleutel gevonden om dit raadsel op te lossen. Hier is hoe het werkt, vertaald naar begrijpelijke taal.

1. Het Grote Raadsel (De Formule)

De formule die Boychev vond, ziet eruit als een ingewikkelde cocktail van getallen:

(Iets met zijde $b$ en $c$ minus zijde $a$ ) × middellijn $a$ + ... = altijd groter dan 0.

In het kort: Als je deze specifieke combinatie van zijden en middellijnen optelt, krijg je nooit een negatief getal. Het is altijd positief of nul.

De metafoor: Stel je voor dat je drie verschillende soorten fruit (de zijden) en drie verschillende soorten vruchten (de middellijnen) in een kom doet. De formule zegt: "Als je ze op deze specifieke manier combineert, is de smaak altijd 'zoet' (positief), nooit 'zuur' (negatief)."

2. Hoe hebben ze het bewezen? (De Strategie)

Peter Vassilev heeft niet zomaar geraden. Hij heeft een slimme strategie gebruikt, alsof hij een complex puzzelbord oplost:

Stap 1: De Simpele Gevallen eerst.
Eerst keek hij naar speciale driehoeken, zoals die met twee gelijke zijden (isocliel). Dit is als kijken naar een vierkant in plaats van een willekeurige vorm. Het bleek dat de regel daar zeker werkte.
Stap 2: De "Grootste" Regel.
Hij ontdekte een geheim: in elke driehoek is er altijd één middellijn die "domineert" (de langste is). Hij noemde dit $B$ $B$ . Hij bewees dat deze dominante middellijn altijd groter is dan de andere twee gecombineerd op een bepaalde manier.
- De metafoor: Denk aan een team van drie spelers. Er is altijd één speler die de "sterste" is. De auteur bewees dat als je de sterste speler goed behandelt, de hele groep winst maakt.
Stap 3: De Wiskundige "Magie" (AM-GM).
Hij gebruikte een klassieke wiskundige truc (het rekenkundig gemiddelde is altijd groter dan of gelijk aan het meetkundig gemiddelde). Dit is als zeggen: "Als je drie getallen hebt die vermenigvuldigd 1 zijn, dan is hun som altijd minstens 3." Dit hielp hem om de laatste hordes te overbruggen.

3. Geldt dit voor andere lijnen ook?

De vraag was: "Werkt dit alleen voor middellijnen, of ook voor andere lijnen in de driehoek?"

Hoogtelijnen (Altitudes): Dit zijn lijnen die recht naar beneden vallen (loodrecht). Ja, de regel werkt hier ook!
Hoekbissectrices: Dit zijn lijnen die een hoek precies doormidden delen. Ja, ook hier werkt het!
De "Cevians" (De algemene lijnen): Dit is de term voor elke lijn die van een hoek naar de tegenoverliggende zijde loopt.
- De auteur laat zien dat de regel werkt voor de bekende lijnen (middellijnen, hoogtelijnen, bissectrices).
- Maar! Hij waarschuwt: als je een willekeurige, rare lijn kiest, kan de regel falen.

4. Het Open Probleem (Het Nieuwe Raadsel)

Aan het einde van het artikel stelt de auteur een nieuwe vraag voor de wereld. Hij zegt:

"We weten dat de regel werkt voor de 'nette' lijnen (middellijnen, hoogtelijnen, bissectrices). Maar bestaat er een 'raar' lijntje dat eruitziet als een van deze (volgt dezelfde regels van grootte), maar waar de formule niet werkt?"

Hij geeft een voorbeeld van een "splitter" (een lijn die de omtrek van de driehoek in twee gelijke delen splitst). Bij een heel rare, stompe driehoek (met zijden 4, 16 en 18) bleek dat deze regel niet werkte.

De metafoor: Het is alsof je een sleutel hebt die bij de meeste deuren past (middellijnen, hoogtelijnen), maar je vraagt je af: "Bestaat er een sleutel die er precies hetzelfde uitziet als de andere, maar die toch in een bepaalde deur vastzit?"

Conclusie in één zin

Dit artikel is het verhaal van hoe een wiskundige eindelijk het bewijs heeft gevonden voor een geheim dat al 40 jaar sluimerde, en hoe hij ontdekte dat dit geheim geldt voor de "standaard" lijnen in een driehoek, maar misschien niet voor elke willekeurige lijn die je kunt bedenken.

Het is een mooi voorbeeld van hoe wiskunde werkt: eerst een observatie, dan jarenlang proberen, en uiteindelijk een slimme combinatie van logica en creativiteit om de waarheid te vinden.

Titel en Context

Het artikel behandelt een onopgelost meetkundig probleem uit de ongelijkheidstheorie van driehoeken. De auteur bewijst een conjectuur die in de jaren 80 werd geformuleerd door de Bulgaarse wiskundige Georgi Boychev, maar waarvoor tot dan toe geen definitief bewijs was gevonden. Daarnaast worden analoge ongelijkheden onderzocht voor hoogtelijnen en binnenste hoekbissectrices, en wordt een open probleem gesteld voor algemene Ceviaanse lijnen.

Het Kernprobleem

De hoofdconjectuur betreft een ongelijkheid die de zijden ( $a, b, c$ ) en de bijbehorende medianen ( $m_a, m_b, m_c$ ) van een niet-gedegenereerde driehoek relateert. De te bewijzen ongelijkheid luidt:

$(\sqrt{bc} - a)m_a + (\sqrt{ac} - b)m_b + (\sqrt{ab} - c)m_c \geq 0$

Een eerdere, vergelijkbare ongelijkheid voorgesteld door Kee-Wai Lau, luidt:
$(bc - a^2)m_a + (ac - b^2)m_b + (ab - c^2)m_c \geq 0$

Hoewel numerieke experimenten de waarheid van deze relaties bevestigden, ontbrak een analytisch bewijs.

Methodologie en Bewijsstrategie

De auteur hanteert een gestructureerde aanpak die bestaat uit het afleiden van hulplemmata en het toepassen van standaard ongelijkheden:

Voorlopige Resultaten (Lemmata):
- Isosceles driehoeken: Eerst wordt bewezen dat de ongelijkheid geldt voor isosceles driehoeken (waarbij twee zijden gelijk zijn). Dit dient als basisgeval.
- Orde van medianen: Er wordt gebruikgemaakt van de eigenschap dat voor zijden $a \leq b \leq c$ geldt: $m_a \geq m_b \geq m_c$ .
- Hulpstelling over wortels: Er wordt aangetoond dat als $a, b, c$ zijden van een driehoek zijn, dan zijn ook $\sqrt{a}, \sqrt{b}, \sqrt{c}$ zijden van een driehoek.
- Kritieke ongelijkheid (3): Het bewijs leunt zwaar op de bekende ongelijkheid $2a m_a \leq c m_b + b m_c$ (en cyclische varianten), die eerder door Kuczma en Andrica is bewezen.
Hoofdbewijs (Stelling 1):
- De auteur reduceert het probleem tot de scalene (onregelmatige) driehoek met $a < b < c$ .
- Er worden twee equivalente vormen van de oorspronkelijke ongelijkheid afgeleid.
- Het bewijs splitst op in twee gevallen gebaseerd op de relatieve grootte van de termen $A = a m_a$ , $B = b m_b$ , en $C = c m_c$ .
- Belangrijkste stap: Er wordt aangetoond dat $B = b m_b$ de maximale waarde is van de drie ( $B \geq \max(A, C)$ ).
- Door deze eigenschap te combineren met de ongelijkheid van het rekenkundig en meetkundig gemiddelde (AM-GM), wordt de som van de termen ondergrensd door nul. Specifiek wordt de som afgeschat door de termen te herschikken zodat de AM-GM ongelijkheid ( $x+y+z \geq 3\sqrt[3]{xyz}$ ) direct toepasbaar is.
Uitbreiding naar andere Ceviaanse lijnen:
- Hoogtelijnen ( $h_a, h_b, h_c$ ): De ongelijkheid wordt bewezen door gebruik te maken van de relatie $a h_a = b h_b = c h_c = 2S$ (waarbij $S$ de oppervlakte is). Dit reduceert het probleem tot een algebraïsche ongelijkheid die waar is voor $a \leq b \leq c$ .
- Binnenste hoekbissectrices ( $l_a, l_b, l_c$ ): Een bewijs wordt geschetst waarbij wordt aangetoond dat ook voor bissectrices geldt dat $b l_b \geq \max(a l_a, c l_c)$ . Hierdoor kan dezelfde bewijslogica als voor de medianen worden toegepast.

Kernresultaten

Bewijs van de Conjectuur: De ongelijkheid $(\sqrt{bc} - a)m_a + (\sqrt{ac} - b)m_b + (\sqrt{ab} - c)m_c \geq 0$ is wiskundig bewezen voor elke niet-gedegenereerde driehoek.
Veralgemening: De ongelijkheid (en de variant met kwadratische termen) geldt niet alleen voor medianen, maar ook voor:
- Hoogtelijnen.
- Binnenste hoekbissectrices.
- Lineaire combinaties van deze lijnen (zoals $f_a = \alpha m_a + \beta h_a + \gamma l_a$ ).
Open Probleem: De auteur introduceert een open vraag voor willekeurige Ceviaanse lijnen. Er wordt geconcludeerd dat de voorwaarden $C_a \geq C_b \geq C_c$ $C_{a} \geq C_{b} \geq C_{c}$ en $b C_b \geq \max(a C_a, c C_c)$ $b C_{b} \geq max (a C_{a}, c C_{c})$ (waarbij $C$ $C$ de lengte van de Ceviaanse lijn is) niet voldoende zijn om de ongelijkheid te garanderen.
- Als tegenvoorbeeld worden de "splitters" (Ceviaanse lijnen door het Nagel-punt) gebruikt. Voor een specifieke stompe driehoek ( $a=4, b=16, c=18$ ) voldoen de splitters aan de orde-eisen, maar falen ze om de hoofdongelijkheid te voldoen.

Significantie en Conclusie

Oplossing van een langdurig probleem: Het artikel lost een probleem op dat decennialang onopgelost bleef, ondanks dat het door een vooraanstaand Bulgaars wiskundige was geconjectureerd.
Methodologische bijdrage: Het artikel demonstreert hoe klassieke ongelijkheden (zoals AM-GM en de ongelijkheid voor medianen) kunnen worden gecombineerd met zorgvuldige algebraïsche manipulaties om complexe meetkundige relaties te bewijzen.
Nieuwe richting voor onderzoek: Door te laten zien dat de eigenschappen van medianen, hoogtelijnen en bissectrices (specifiek de orde van de producten van zijde en lijnlengte) cruciaal zijn, maar niet universeel gelden voor alle Ceviaanse lijnen, biedt het artikel een nieuwe invalshoek voor het bestuderen van de eigenschappen van driehoeken. Het onderscheid tussen "goede" Ceviaanse lijnen (die de ongelijkheid respecteren) en "slechte" (zoals de splitters in specifieke gevallen) vormt een fertile bodem voor toekomstig wiskundig onderzoek.

Samenvattend levert dit artikel een volledig wiskundig bewijs voor een belangrijke driehoeksongelijkheid en schetst het de grenzen van de geldigheid van deze ongelijkheid binnen de bredere familie van Ceviaanse lijnen.