Forum matematyczne: miliony postów, setki tysięcy tematów, dziesiątki tysięcy użytkowników - pomożemy rozwiązać każde zadanie z matematyki https://matematyka.pl/
więc do pokazania tak naprawdę jest \(\displaystyle{ \left| b+c\right| \le \sqrt{a^2+b^2} + \sqrt{a^2+c^2}}\) ale zachodzi nawet coś mocniejszego to znaczy \(\displaystyle{ \left| b\right|+\left| c\right| \le \sqrt{a^2+b^2} + \sqrt{a^2+c^2} }\) (resztę widać). Pewnie można też się powołać na coś mocnego w stylu nierówność Minkowskiego bo to wydaje się być jej szczególnym przypadkiem. A zadanie wydaje mi się, że jest z Kaczora Nowaka tom I albo coś bardzo podobnego.
Re: Proste różnice
: 23 paź 2021, o 15:24
autor: Premislav
Można też (co jest nieco mniej elementarne) ustalić dowolne \(\displaystyle{ a\in \RR}\) i zastosować twierdzenie Lagrange'a o wartości średniej do \(\displaystyle{ f(x)=\sqrt{x^2+a^2}}\) (wartość bezwzględna jej pochodnej dość trywialnie szacuje się z góry przez \(\displaystyle{ 1}\)).
A z Minkowskiego: WLOG \(\displaystyle{ |b|\ge|c|}\), a wtedy równoważnie jest \(\displaystyle{ \sqrt{a^2+(c+(b-c))^2}\le \sqrt{a^2+c^2}+\sqrt{0^2+(b-c)^2}}\), co bezpośrednio wynika z Minkowskiego
Re: Proste różnice
: 23 paź 2021, o 17:03
autor: a4karo
Niech `A=(|a|,0), B=(0,|b|), C=(0,|c|)` i niech WLOG `|b|\le |c|`. Oznaczmy przez `E` punkt przecięcia `O(A,|AB|)` z prostą `AC`, a przez `D` rzut prostokątny `B` na prostą `AC`.
Wtedy `|CE|=|AC|-|AB|\le |CD|<|BC|=|c|-|b|\leq |c-b|` i już