Barrows ojämlikhet
I geometri är Barrows ojämlikhet en olikhet som relaterar avstånden mellan en godtycklig punkt inom en triangel , triangelns hörn och vissa pekar på triangelns sidor . Den är uppkallad efter David Francis Barrow .
Påstående
Låt P vara en godtycklig punkt inuti triangeln ABC . Från P och ABC , definiera U , V och W som de punkter där vinkelhalveringslinjerna för BPC , CPA och APB skär sidorna BC , CA , AB , respektive. Sedan säger Barrows ojämlikhet det
med likhet som endast gäller i fallet med en liksidig triangel och P är triangelns centrum.
Generalisering
Barrows ojämlikhet kan utvidgas till konvexa polygoner. För en konvex polygon med hörn låt vara en inre punkt och för vinkelhalveringslinjerna för med tillhörande polygonsidor , då gäller följande olikhet:
Här betecknar sekantfunktionen . För triangelfallet blir olikheten Barrows olikhet på grund av .
Historia
Barrows ojämlikhet stärker Erdős–Mordell ojämlikheten , som har identisk form förutom med PU , PV och PW ersatta av de tre avstånden P från triangelns sidor. Den är uppkallad efter David Francis Barrow . Barrows bevis på denna ojämlikhet publicerades 1937, som hans lösning på ett problem som ställdes i American Mathematical Monthly för att bevisa ojämlikheten mellan Erdős och Mordell. Detta resultat fick namnet "Barrows ojämlikhet" redan 1961.
Ett enklare bevis gavs senare av Louis J. Mordell .