Vi har |AP|=2|OP|
(x-3)2
+y2=4(x2+y2)
3x2
+3y2+6x-9=0
(x-1)2
+y2=4. Punkterne P(x,y)
beskriver altså en cirkel
med centrum i (-1,0) og radius 2. (Den klassiske geometri taler om
en forholdscirkel).
Vi vil bevise uligheden ved at vise, at funktionen f(x) = sin x + tan x - 2x er positiv i det givne interval Ved differentiation fås
![]()
Vi opstiller følgende ligningssystem:
ab=12c ; a2+b2=
c2 ; a+b+c=60. Ved hjælp
af de to første fås a2+
b2+2ab=c2+24c
Af den sidste fås (a+b)2=
(60-c)2. Det giver ialt ligningen
c2+24c=(60-c)2, der
har løsningen c=25. Af ab=300 og
a+b=35 fås herefter
a=15 og b=20 (eller omvendt).
Ligningen multipliceres med 2 og omskrives til 2a2+2b2+2c2+ 2d2=2ab+2bc+2cd+2da som er ensbetydende med (a-b)2+(b-c)2+ (c-d)2+(d-a)2=0. Denne sidste ligning er tydeligvis kun opfyldt for a=b=c=d.
Beviset føres ved at angive 7 cirkler med radius 1, som
fuldstændig overdækker cirklen med radius 2. Det kan f.eks.
gøres således:
Der tegnes en cirkel med radius 1 koncentrisk med den store cirkel.
Desuden opdeles denne i cirkeludsnit med centervinkel
. Et af disse udsnit er OAB. Det
ligebenede trapez ABCD har en
omskreven cirkel med centrum i Q på linien OEQF,
der er halveringslinie til vinkel AOB. Da |CE| =
og
vinkel ECQ er
, må radius i den omskrevne cirkel
være 1. Man kan altså tegne en cirkel med radius 1 og
centrum i q, der omslutter trapezet ABCD og dermed
cirkelsektoren AFBCD. Denne cirkel sammen med midtercirklen og
5 andre overdækker fuldstændig den store cirkel. I disse 7
cirkler ligger de 15 punkter. Så må mindst én af
cirklerne med radius 1 indeholde mere end 2 punkter, og altså
mindst 3.