[obm-l] ajuda demonstracao geometria

[Silvio Rogerio Tassini Borges]

Um triângulo de área 1 tem lados com comprimentos a, b e c, onde a>=b>=c.
Prove que b>=sqrt(2).