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?Prouver_une_in=c3=a9galit=c3=a9_pour_tout_x_et_y?=
Date: Wed, 18 Aug 2021 16:15:16 +0200
Organization: There's no cabale
Lines: 25
Message-ID: <sfj4li$9mv$1@cabale.usenet-fr.net>
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 1629296114 9951 78.116.184.132 (18 Aug 2021 14:15:14 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Wed, 18 Aug 2021 14:15:14 +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
X-Mozilla-News-Host: news://news.galacsys.net:119
Bytes: 1761

Je vais prendre exemple sur Samuel et vous proposer une petite énigme
trouvée sur une chaine youtube (celle de SyberMath). Là aussi, evitez
de tricher, je vous donne toutes les astuces nécessaires.

Attention, article à voir avec une police à espacement fixe.


Il s'agit de prouver que pour tous x et y réels on a :

| (x+y)(1-xy)  |   1
|−−−−−−−−−−−−−−| ≤ −
| (1+x²)(1+y²) |   2


Astuces (en ROT-13 pour ceux qui veulent chercher sans aide) :
- cbfre k = gna(n) rg l = gna(o)
- fr enccryre dhr :
  - gna(n) = fva(n)/pbf(n)
  - pbf(n+o) = pbf(n)pbf(o) - fva(n)fva(o)
  - fva(n+o) = fva(n)pbf(o) + pbf(n)fva(o)
  - q'bù fva(2n) = 2fva(n)pbf(n)
  - pbf(n)² + fva(n)² = 1

-- 
Olivier Miakinen