Path: ...!newsreader4.netcologne.de!news.netcologne.de!news.mixmin.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?[Ma_solution]_=c3=89quation_fonctionnelle?=
Date: Thu, 4 Jan 2024 10:02:44 +0100
Organization: There's no cabale
Lines: 45
Message-ID: <un5s7l$13fm$1@cabale.usenet-fr.net>
References: <un1uce$1br0$1@cabale.usenet-fr.net>
NNTP-Posting-Host: 246.123.127.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 1704358965 36342 78.127.123.246 (4 Jan 2024 09:02:45 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Thu, 4 Jan 2024 09:02:45 +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: <un1uce$1br0$1@cabale.usenet-fr.net>
Bytes: 2834

Le 02/01/2024 à 22:14, j'ai proposé :
> 
> Le week-end dernier, sur la chaine youtube de Michael Penn, il y
> avait une très jolie équation fonctionnelle. Je vous la soumets.
> 
> Il s'agit de trouver toutes les fonctions f de ℝ dans ℝ vérifiant :
>  ∀x∈ℝ, f(x) = max{2xy − f(y), y∈ℝ}

Ainsi que l'a écrit Samuel Devulder, la vidéo est ici :
<https://www.youtube.com/watch?v=0T-IBs-qk54> (en anglais).

Voici ma propre solution, que je trouve un peu plus simple que la
sienne (ceux qui comprennent l'anglais et regardent la vidéo pourront
comparer).

Tout d'abord, j'ai reformulé l'équation sans utiliser max(), en disant
que deux conditions doivent être vérifiées simultanément :
 (1) ∀x∈ℝ, ∀y∈ℝ, f(x) ≥ 2xy - f(y)
 (2) ∀x∈ℝ, ∃y∈ℝ, f(x) = 2xy - f(y)

De la première condition, en choisissant y = x, on prouve que :
 ∀x∈ℝ, f(x) ≥ x²

Il est facile de vérifier que la fonction définie par f(x) = x²
convient. Pour voir si c'est la seule, je pose f(x) = x² + g(x).
D'après la preuve précédente, on sait que ∀x∈ℝ, g(x) ≥ 0.

Je réécris alors la condition (2) en passant tout dans le membre
de gauche :
 ∀x∈ℝ, ∃y∈ℝ, f(x) - 2xy + f(y) = 0
 ∀x∈ℝ, ∃y∈ℝ, (x² + g(x)) - 2xy + (y² + g(y)) = 0
 ∀x∈ℝ, ∃y∈ℝ, (x² - 2xy + y²) + g(x) + g(y) = 0
 ∀x∈ℝ, ∃y∈ℝ, (x - y)² + g(x) + g(y) = 0

Chacun des trois termes (x - y)², g(x) et g(y) est toujours supérieur
ou égal à zéro. La seule possibilité pour que la somme soit nulle est
que tous les trois soient nuls, en particulier que g(x) = 0, et ce
quel que soit x.

En conclusion : ∀x∈ℝ, f(x) = x² + g(x) = x² + 0 = x².

La seule fonction vérifiant l'équation fonctionnelle est donc f(x) = x².

-- 
Olivier Miakinen