Pour la deuxième inégalité,voici ma proposition:
√(1-1/a^2 ) √(1-1/b^2 ) √(1-1/c^2 ) √(1-1/d^2 )≥√2/2
↔(1-1/a^2 )(1-1/b^2 )(1-1/c^2 )(1-1/d^2 )≥1/2
↔2(a^2 b^2-a^2-b^2+1)(c^2 d^2-c^2-d^2+1)≥a^2 b^2 c^2 d^2
↔ a^2b^2 c^2 d^2+2(a^2 b^2+b^2 c^2+c^2 d^2+d^2 a^2+a^2 c^2+b^2 d^2-a^2-b^2-c^2-d^2+1)≥0
↔ a^2 b^2 c^2 d^2+2(a^2 (b^2-1)+b^2 (c^2-1)+c^2 (d^2-1)+d^2 (a^2-1)+1)≥0
expression logiquement vraie, car on a {a;b;c;d}∈ (IN∩[2;+∞[)^4, donc (b^2-1);(c^2-1);(d^2-1)et(d^2-1) sont positifs, et par suite a^2 b^2 c^2 d^2 +2(a^2 (b^2-1)+b^2 (c^2-1)+c^2 (d^2-1)+d^2 (a^2-1)+1)≥0,
donc √(1-1/a^2 ) √(1-1/b^2 ) √(1-1/c^2 ) √(1-1/d^2 )≥√2/2.
Je m'excuse pour cette présentation de mauvaise qualité, car je ne sais pas encore
utiliser les outils de cet éditeur (surtout son option pour introduire du code Latex),
de plus je n'ai pas encore le droit d'insérer des url, ce qui m'empêche d'insérer des
images.