Le 21/01/2023 11:20, Michel Talon a écrit :
> Le 20/01/2023 à 23:51, Olivier Miakinen a écrit :
>> (a + b) / (a − b)
>> = (a/b + b/b) / (a/b − b/b) # en divisant par b numérateur et dénominateur
>> = (c/d + d/d) / (c/d − d/d) # car a/b = c/d, et b/b = d/d = 1
>> = (c + d) / (c − d) # en multipliant par d numérateur et dénominateur
>>
>
> Olivier, c'est pas l'école maternelle, quand même. Il me semble que
> noter que
> (a+b)/(a-b) = (a/b + 1)/(a/b - 1) suffit à cette preuve.
Tu exagères un peu (volontairement je n'en doute pas), parce que ce
n'est pas à l'école maternelle, ni probablement à l'école élémentaire,
qu'on apprend à manipuler des symboles dans des formules. Je ne me
rappelle pas cependant si c'est au collège ou au lycée, je penche
plutôt pour le collège ; mais même au lycée, et même parmi les adultes
ayant quitté l'école, j'imagine que certains auraient besoin du détail
du calcul pour comprendre (à commencer par moi).
En effet fr.sci.maths n'est pas réservé à ceux qui baignent dans les
maths toute la journée, sinon je ne me sentirais pas le droit d'y
intervenir. C'est d'autant plus vrai qu'il est question de supprimer
le forum fr.education.entraide.maths puisque depuis des années il
n'est plus fréquenté par des élèves pouvant s'entraider les uns les
autres.
> Ce qui est
> moins évident est de noter que l'homographie f:x -> (x+1)/(x-1) est
> l'unique bijection analytique C⋃{∞} -> C⋃{∞}. De fait pour obtenir 1
> il faut prendre x = ∞ et pour x = 1 on a f = ∞. Pour les autres valeurs
> f(x) = y a l'unique solution x=(y+1)/(y-1). Le fait que l'homographie
> soit l'unique bijection analytique de la droite achevée n'est pas
> élémentaire. Une preuve: appliquant une homographie on se ramène à la
> proposition: l'unique fonction analytique C -> C bijective est
> l'application linéaire f(z)=az+b. En effet étant analytique on a
> f(z)=sum a_k z^k avec un rayon de convergence infini puisqu'il n'y a pas
> de singularité finie, donc il y a une singularité essentielle à l'infini
> et f(z) prend chaque valeur une infinité de fois autour de l'infini,
> contradiction avec le caractère bijectif.
Alors ça, c'est d'un niveau largement supérieur au mien. Je sais ce
qu'est une bijection, mais les termes « homographie » et « bijection
analytique » me sont inconnus, de même que « rayon de convergence ».
La démonstration pas à pas que tu critiquais comme trop simpliste, c'est
ça mon vrai niveau. Et je fais l'hypothèse que je ne suis pas le seul
dans ce groupe.
--
Olivier Miakinen