Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!.POSTED!not-for-mail
From: Olivier Miakinen <om+news@miakinen.net>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re:_Prouver_une_in=c3=a9galit=c3=a9_pour_tout_x_et_y?=
Date: Fri, 20 Aug 2021 13:33:35 +0200
Organization: There's no cabale
Lines: 81
Message-ID: <sfo3uf$2ubc$1@cabale.usenet-fr.net>
References: <sfj4li$9mv$1@cabale.usenet-fr.net>
 <83302df2-e44e-4aac-d79b-b1924d10af5b@laposte_dot_net.invalid>
NNTP-Posting-Host: 132.184.116.78.rev.sfr.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: cabale.usenet-fr.net 1629459215 96620 78.116.184.132 (20 Aug 2021 11:33:35 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Fri, 20 Aug 2021 11:33:35 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:60.0) Gecko/20100101
 Firefox/60.0 SeaMonkey/2.53.1
In-Reply-To: <83302df2-e44e-4aac-d79b-b1924d10af5b@laposte_dot_net.invalid>
Bytes: 3606

Le 19/08/2021 à 15:28, Samuel DEVULDER a écrit :
> 
> Bon j'y vais en mode "bourrin", je note
> 
>      f(x) = (x+y)(1-xy)/[(1+x²)(1+y²)]
> 
> Je vois que
> 
>      lim  f(x) = -y/(1+y²)
>          +-oo

Je le confirme.

> 
> et que cette limite (L) est la même en +-oo et se situe entre -1/2 et 
> +1/2 (faire le tableau de variation et déduire.)

Oui. La fonction h(y) = -y/(1+y²) est d'abord croissante de 0 à 1/2,
puis décroissante de 1/2 à -1/2, et enfin croissante de -1/2 à 0.
Pour ça j'ai calculé h'(y) = (y²-1)/(y²+1)² qui s'annule en -1 et +1.

> 
> Je calcule ensuite:
> 
>      f'(x) = (x²(y²-1) - 4xy - y² + 1) / [(x²+1)²(y²+1)]

Oui. Il ne faut pas se tromper dans le calcul, et j'ai eu la chance d'y
arriver du premier coup.

> 
> Je cherche le x qui annule cette dérivée, c'est à dire:
> 
>      g(x) =  x²(y²-1) - 4xy - y² + 1 = 0
> 
> Remarquons que le signe de f' est celui de g qui est une parabole, ce 
> qui veut dire que le tableau de variation de f' est tout simple :)
> 
> Pour résoudre g(x)=0, on remarque qu'on a un beau système du second 
> degré en x qui a deux solutions plutôt simples:
> 
>      x1 = (y + 1) / (y - 1)
>      x2 = (1 - y) / (y + 1) = -1/x1 (x1 et X2 sont de signe opposés)

C'était à mon avis la partie la plus satisfaisante de l'exercice, quand
on s'aperçoit que le discriminant (ou discriminant réduit) s'exprime
simplement sous la forme d'un carré.

> 
> La dessus, on note x3 = (x1+x2)/2 la valeur milieu entre ces deux zéro 
> ce qui est pratique pour connaitre l'allure de la parabole g donc le 
> signe de f'.
> 
> Quelques petits calculs donnent alors:
> 
>      x3 = 2y / (y² - 1)

Oui. Si on est passé par « x1,x2 = (2y±(y²+1))/(y²-1) », il suffit de
retirer le « ±(y²+1) » pour obtenir x3.

> 
> et
>      f(x1) = -1/2,

Bon, alors là j'ai plutôt galéré, mais après avoir corrigé mon erreur de
calcul j'y suis arrivé aussi.

>      f(x2) = 1/2,

L'expérience du calcul précédent m'a évité une erreur de calcul ici, et
je trouve la même chose.

>      f(x3) = -y / (y² + 1)

Et à partir de là j'ai la flemme. Je te fais confiance pour la suite des
calculs, mais je n'ai plus le courage de les vérifier.

Je fais confiance aussi au logiciel de calcul formel qu'a utilisé Michel
Talon, et je vais aller lire la solution de MAIxxxx.

-- 
Olivier Miakinen