Side 1 av 1

Atter en ulikhet

Lagt inn: 06/01-2016 17:12
av Gustav
For komplekse tall $x,y,z$, vis at

$|x+y|+|y+z|+|z+x|\leq |x|+|y|+|z|+|x+y+z|$

Re: Atter en ulikhet

Lagt inn: 15/01-2016 01:19
av Norm
Ulikheten innebærer å vise at

[tex]| x + y + z | + | x | + | y | + | z | - | x + y | - | x + z | - | y + z | \geq 0[/tex]

Ved Cauchy-Schwarz har man:

[tex]| x + y + z | + | x | + | y | + | z | - | x + y | - | x + z | - | y + z | \geq | x | + | y | + | z | - | x + y + z | \geq 0[/tex],

siden [tex]| x + y | + | x + z | + | y + z | \geq 2| x + y + z |[/tex],

Og ulikheten er sann siden [tex]| x | + | y | + | z | \geq | x + y + z |[/tex]. D.v.s. uttrykket øverst er [tex]\geq 0[/tex] :D

Re: Atter en ulikhet

Lagt inn: 17/01-2016 18:58
av Gustav
Norm skrev:Ulikheten innebærer å vise at

[tex]| x + y + z | + | x | + | y | + | z | - | x + y | - | x + z | - | y + z | \geq 0[/tex]

Ved Cauchy-Schwarz har man:

[tex]| x + y + z | + | x | + | y | + | z | - | x + y | - | x + z | - | y + z | \geq | x | + | y | + | z | - | x + y + z | \geq 0[/tex],

siden [tex]| x + y | + | x + z | + | y + z | \geq 2| x + y + z |[/tex],

Og ulikheten er sann siden [tex]| x | + | y | + | z | \geq | x + y + z |[/tex]. D.v.s. uttrykket øverst er [tex]\geq 0[/tex] :D
Redd dette ikke funker helt. Du har snudd trekantulikheten feil vei et sted.

Re: Atter en ulikhet

Lagt inn: 17/01-2016 19:47
av Norm
Nei, jeg har ikke det :D Men jeg ser det er steg der som ikke er helt kosher.
Jeg prøver påny. Man har

[tex]| x + y + z | + | x | + | y | + | z | - | x + y | - | y + z | - | x + z | \geq 0[/tex],

man har også

[tex]-2 | x + y + z | + | x + y | + | y + z | + | x + z | \geq 0[/tex], så jeg legger denne ulikheten til den øverste og får

[tex]| x | + | y | + | z | - | x + y + z | \geq 0 \iff | x | + | y | + | z | \geq | x + y + z |[/tex]

Og siden dette er sant, må ulikheten stemme, vi går med andre ord ikke på en selvmotsigelse.

Re: Atter en ulikhet

Lagt inn: 17/01-2016 23:11
av Gustav
Det er jo den øverste ulikheten du skal vise. Her har du antatt at den stemmer, og så utledet noe som er sant. Men det betyr ikke at du har vist antagelsen.

Re: Atter en ulikhet

Lagt inn: 17/01-2016 23:15
av Gustav
Norm skrev: [tex]| x + y + z | + | x | + | y | + | z | - | x + y | - | x + z | - | y + z | \geq | x | + | y | + | z | - | x + y + z | \geq 0[/tex],

siden [tex]| x + y | + | x + z | + | y + z | \geq 2| x + y + z |[/tex],
Dette stemmer ikke. Hvis vi rydder opp i den første ulikheten din, så er den ekvivalent med

$2| x + y + z | \geq | x + y | + | x + z | + | y + z | $

Altså har du snudd triangelulikheten feil vei.

Re: Atter en ulikhet

Lagt inn: 20/01-2016 18:01
av Gustav
Ulikheten kalles forresten Hlawkas ulikhet. To beviser kan finnes her: http://www.cut-the-knot.org/arithmetic/ ... awka.shtml