pigor: ..., wykaż, że w każdym trójkącie o bokach długości
a,b,c zachodzi zależność
12√3 (a+b+c) > √a2+b2+c2.
−−−−−−−−−−−−−−−−−−−−−−−
sprawa jest prostsza niż ...
wygląda, mianowicie,
np. tak :
z oczywistej nierówności Δ mam układ nierówności równoważnych
a+b > c /+c i
b+c > a /+a i
c+a > b /+b ⇔
⇔ a+b+c > 2c /
2 i b+c+a > 2a /
2 i c+a+b > 2b /
2 ⇔
⇔ (a+b+c)
2> 4c
2 i (a+b+c)
2> 4a
2 i (a+b+c)
2> 4b
2 /+ stronami ⇒
⇒ 3 (a+b+c)
2 > 4(a
2+b
2+c
2) /
√ obustronnie ⇒
⇒
√3 (a+b+c) >2
√a2+b2+c2 /:2 ⇔
12√3 (a+b+c) >√a2+b2+c2 c.n.w.