X-Received: by 2002:a5d:59ac:0:b0:21d:944a:8a0e with SMTP id p12-20020a5d59ac000000b0021d944a8a0emr14724065wrr.61.1657567424556;
        Mon, 11 Jul 2022 12:23:44 -0700 (PDT)
Path: ...!news-out.google.com!nntp.google.com!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:_Abscisses_de_discontinuit=c3=a9?=
Date: Mon, 11 Jul 2022 21:23:43 +0200
Organization: There's no cabale
Lines: 54
Message-ID: <tahtc0$c40$1@cabale.usenet-fr.net>
References: <7d121e0b-dee4-4394-aab8-6a4d929ceb85n@googlegroups.com>
 <tahp2n$a0h$1@cabale.usenet-fr.net>
 <b6b71fd4-8f7f-43d2-a687-110f20b54593n@googlegroups.com>
 <tahqsc$bh8$1@cabale.usenet-fr.net>
NNTP-Posting-Host: 220.12.205.77.rev.sfr.net
Mime-Version: 1.0
X-Trace: cabale.usenet-fr.net 1657567424 12416 77.205.12.220 (11 Jul 2022 19:23:44 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Mon, 11 Jul 2022 19:23:44 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Firefox/52.0 SeaMonkey/2.49.4
In-Reply-To: <tahqsc$bh8$1@cabale.usenet-fr.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Bytes: 3268

Le 11/07/2022 20:41, Olivier Miakinen a écrit :
> Le 11/07/2022 20:31, did a écrit :
>> J'ai ajouté le PS trop vite sans vérifier.
>> f n'est pas impaire,
> 
> En effet. f(1) = f(1/2) = -6 alors que f(-1) = 5 et f(-1/2) = -1
> 
>> c'est une autre fonction dans 
>> laquelle elle apparait. En fait, la fonction qui 
>> m'intéresse vraiment est 
>> F(x) = 1/2 +  [ x + 1/2 ] + [ x - 2 * pi * [ x + 1/2 ] ],
>> qui semble être impaire d'après son graphe, 
>> mais cela reste à démontrer.

Alors.

Cette fonction n'est *pas* impaire, parce que par exemple f(0) = 1/2 ≠ 0.
En revanche je peux montrer que F(−x) = −F(x) partout /sauf/ aux points de
discontinuité !

Déjà, pardon pour l'anglais, je vais noter floor(x) = ⌊x⌋ et ceil(x) = ⌈x⌉,
ça me semble plus facile à écrire et même à lire.


1. Quelques remarques préliminaires

Aux points de discontinuité, on a ceil(x) = floor(x) = x. Ces points ne vont
pas nous intéresser.

En dehors d'un point de discontinuité, on a :
 (I) ceil(x) = floor(x) + 1 = floor(x + 1).

Par ailleurs, pour tout x, on a :
 (II) floor(x) = − ceil(−x) et ceil(x) = − floor(−x).


2. Allons-y pour les calculs

On part de :
F(x) = 1/2 + floor(x + 1/2) + floor(x − 2 pi floor(x + 1/2))

En dehors de tout point de discontinuité, on doit avoir :
F(−x) = 1/2 + floor(−x + 1/2) + floor(−x − 2 pi floor(−x + 1/2))
F(−x) = 1/2 − ceil(x − 1/2) + floor(−x + 2 pi ceil(x − 1/2))           (par II)
F(−x) = 1/2 − floor(x − 1/2 + 1) + floor(−x + 2 pi floor(x − 1/2 + 1)) (par I)
F(−x) = 1/2 − floor(x + 1/2) + floor(−x + 2 pi floor(x + 1/2))
F(−x) = 1/2 − floor(x + 1/2) − ceil(x − 2 pi floor(x + 1/2))           (par II)
F(−x) = 1/2 − floor(x + 1/2) − floor(x − 2 pi floor(x + 1/2)) − 1      (par I)
F(−x) = −1/2 − floor(x + 1/2) − floor(x − 2 pi floor(x + 1/2))
F(−x) = − F(x), CQFD


-- 
Olivier Miakinen