Logo de SAASF

Le chapitre 3

Contenu

Chapitre 3 - démonstrations

Les nombres réels

L'opération d'addition

3.0.0.0

Démontrons que l'addition de deux nombres réel "a" et "b" donne un nombre réel (et donc, que l'addition est stable dans "R"). Soit deux nombres réel "a" et "b" :

∀a,b ∈R,∃A,B,C,D ∈P(Q),a =(A,B),b =(C,D)

Admettons un objet "g", représentant "a + b". Nous pouvons l'écrire avec la formule de l'addition de nombres réels.

g =a +b ⇔∃E,F ∈P(Q),g =(E,F),∀f ∈F,∀c ∈A,∀d ∈C,f >c +d ∧∀e ∈E,∀f ∈F,e <f

Par définition, "E" et "F" sont des sous-parties de "Q", et la relation d'ordre entre leurs éléments prouve que "E" et "F" sont complémentaires. Donc, "g" est un nombre réel.

3.0.0.1

Démontrons que l'ordre d'addition de deux trois nombres réels "a", "b" et "c" n'importe pas (et donc, que l'addition est associative dans "R"). Soit trois nombres réels "a", "b" et "c" :

∀a,b,c ∈R,∃A,B,C,D,E,F ∈P(Q),a =(A,B),b =(C,D),c =(E,F)

Admettons un objet "j", représentant "(a + b) + c". Nous pouvons l'écrire avec la formule de l'addition de nombres réels.

j =(a +b) +c ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >(c +d) +e ∧∀g ∈G,∀h ∈H,g <h

Comme l'addition est associative dans "Q", on peut modifier l'ordre des additions pour définir "j".

j =(a +b) +c ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >(c +d) +e =c +(d +e) ∧∀g ∈G,∀h ∈H,g <h ⇔j =a +(b +c)

Or, cela consiste à dire que l'on peut aussi modifier l'ordre des additions dans "R". Donc, "(a + b) + c" est égal à "a + (b + c)". L'opération d'addition est associative dans "R".

∀a,b,c ∈R,(a +b) +c =a +(b +c)

3.0.0.2

Démontrons que l'ordre de deux opérandes "a" et "b" autour d'une addition de nombres réels n'importe pas. Soit deux nombres réels "a" et "b" :

∀a,b ∈R,∃A,B ∈P(Q),a =(A,B),b =(C,D)

Admettons un objet "j", représentant "a + b". Nous pouvons l'écrire avec la formule de l'addition de nombres réels.

j =a +b ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >a +b ∧∀g ∈G,∀h ∈H,g <h

Comme l'addition est commutative dans "Q", on peut modifier l'ordre des opérandes pour définir "j".

j =a +b ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >a +b =b +a ∧∀g ∈G,∀h ∈H,g <h ⇔j =b +a

Or, cela consiste à dire que l'on peut aussi modifier l'ordre des opérandes dans une addition dans "R". Donc, "a + b" est égal à "b + a". L'opération d'addition est associative dans "R".

∀a,b ∈R,a +b =b +a

3.0.0.3

Démontrons que la structure algébrique formée par l'ensemble des réels et de l'opération d'addition est un groupe abélien.

(R,+)

Déjà, cette opération est associative sur "R" selon le théorème 3.0.0.1, et elle est commutative selon le théorème 3.0.0.2. De plus, elle admet un neutre, qui est "0".

∀a,b,c,n ∈R,∃A,B,C,D,E,F,M,N ∈P(Q),a =(A,B),b =(C,D),c =(E,F),n =(M,N)a +0 =n =(M,N) ⇔[∀o ∈A,∀q ∈M,∀r ∈N,q >o +0 =q ∧r <q] ⇔a =n

Finalement, chaque élément possède un inverse donnant le neutre par l'addition.

a - a =c =(E,F) ⇔[∀o ∈A,∀e ∈E,∀f ∈F,e >o - o =0,f <e] ⇔a - a =c =0

Donc, la structure algébrique formée par l'ensemble des réels et de l'opération d'addition est bel et bien un groupe abélien.

(R,+)

L'opération de multiplication

3.0.1.0

Démontrons que la multiplication de deux nombres réel non-nul "a" et "b" donne un nombre réel (et donc, que la multiplication est stable dans "R*"). Soit deux nombres réel "a" et "b" :

∀a,b ∈R*,∃A,B,C,D ∈P(Q),a =(A,B),b =(C,D)

Admettons un objet "g", représentant "a * b". Nous pouvons l'écrire avec la formule de la multiplication de nombres réels.

g =a * b ⇔∃E,F ∈P(Q),g =(E,F),∀f ∈F,∀c ∈A,∀d ∈C,f >c * d ∧∀e ∈E,∀f ∈F,e <f

Par définition, "E" et "F" sont des sous-parties de "Q", et la relation d'ordre entre leurs éléments prouve que "E" et "F" sont complémentaires. Donc, "g" est un nombre réel.

3.0.1.1

Démontrons que l'ordre de multiplication de deux trois nombres réels non-nuls "a", "b" et "c" n'importe pas (et donc, que la multiplication est associative dans "R"). Soit trois nombres réels "a", "b" et "c" :

∀a,b,c ∈R,∃A,B,C,D,E,F ∈P(Q),a =(A,B),b =(C,D),c =(E,F)

Admettons un objet "j", représentant "(a * b) * c". Nous pouvons l'écrire avec la formule de la multiplication de nombres réels.

j =(a * b) * c ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >(c * d) * e ∧∀g ∈G,∀h ∈H,g <h

Comme la multiplication est associative dans "Q", on peut modifier l'ordre des multiplications pour définir "j".

j =(a * b) * c ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >(c * d) * e =c +(d +e) ∧∀g ∈G,∀h ∈H,g <h ⇔j =a +(b +c)

Or, cela consiste à dire que l'on peut aussi modifier l'ordre des multiplications dans "R". Donc, "(a * b) * c" est égal à "a * (b * c)". L'opération de multiplication est associative dans "R".

∀a,b,c ∈R,(a * b) * c =a * (b * c)

3.0.1.2

Démontrons que l'ordre de deux opérandes "a" et "b" autour d'une multiplication de nombres réels n'importe pas. Soit deux nombres réels non-nuls "a" et "b" :

∀a,b ∈R*,∃A,B ∈P(Q),a =(A,B),b =(C,D)

Admettons un objet "j", représentant "a * b". Nous pouvons l'écrire avec la formule de la multiplication de nombres réels.

j =a * b ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >a * b ∧∀g ∈G,∀h ∈H,g <h

Comme la multiplication est commutative dans "Q", on peut modifier l'ordre des opérandes pour définir "j".

j =a * b ⇔∃G,H ∈P(Q),j =(G,H) ⇔∀h ∈H,∀c ∈A,∀d ∈C,∀e ∈E,h >a * b =b* a ∧∀g ∈G,∀h ∈H,g <h ⇔j =b * a

Or, cela consiste à dire que l'on peut aussi modifier l'ordre des opérandes dans une multiplication dans "R*". Donc, "a * b" est égal à "b * a". L'opération de multiplication est associative dans "R".

∀a,b ∈R*,a* b =b * a

3.0.1.3

Démontrons que la structure algébrique formée par l'ensemble des réels non-nuls et de l'opération de multiplication est un groupe abélien.

(R*,*)

Déjà, cette opération est associative sur "R*" selon le théorème 3.0.1.1, et elle est commutative selon le théorème 3.0.1.2. De plus, elle admet un neutre, qui est "1".

∀a,b,c,n ∈R,∃A,B,C,D,E,F,M,N ∈P(Q),a =(A,B),b =(C,D),c =(E,F),n =(M,N)a * 1 =n =(M,N) ⇔[∀o ∈A,∀q ∈M,∀r ∈N,q >o * 1 =q ∧r <q] ⇔a =n

Finalement, chaque élément possède un inverse donnant le neutre par la multiplication.

a * 1a=c =(E,F) ⇔[∀o ∈A,∀e ∈E,∀f ∈F,e >o / o =1,f <e] ⇔a * 1a=c =1

Donc, la structure algébrique formée par l'ensemble des réels non-nuls et de l'opération de multiplication est bel et bien un groupe abélien.

(R*,*)

Introduction à l'analyse

Les espaces métriques

3.1.0.0

Démontrons que la valeur absolue de la différence entre deux nombres réel dans l'ensemble des réels forme un espace métrique. Pour cela, démontrons que cet opérateur sur cet ensemble respecte les propriétés d'une "distance".

Démontrons que cet opérateur est symétrique. Déjà, :

∀a,b ∈R,a - b =-(-(a - b)) =-(b - a)

Comme on applique la valeur absolue :

|a - b| =|-(b - a)| =|b - a|

Donc, cet opérateur est symétrique.

Démontrons que cet opérateur est séparé. Supposons que "a - b = 0" : nous pouvons additionner "b" des deux côtés.

|a - b| =0 ⇔a =b

Donc, "a - b = 0" équivaut à dire que "a = b" : cet opérateur est séparé.

Finalement, démontrons que cet opérateur respecte l'inégalité triangulaire. Posons la somme de la distance entre "a" et "b" et de la distance de "b" et "c", que nous nommerons "s".

∀c ∈R,s =|a - b| +|b - c|

Si "a" est supérieur ou égal à "b", "|a - b| = a - b", alors on a deux cas. Si "b" est supérieur ou égal à "c", "|b - c| = b - c", et donc :

a - b +b - c =a - c =|a - c|

Si "b" est inférieur à "c", "|b - c| = c - b" (qui est positif, et que nous noterons "e"), et donc :

a - b +c - b =a +c - b - b =a +e - b =a +e - (c - e) =a - c +2 * e ≥a - c =[|a - c| si a ≥c,-|a - c| sinon] ≥|a - c|

Tous les cas vérifient cette inégalité. Maintenant, si "a" est inférieur à "b", "|a - b| = b - a" (qui est positif, et que nous noterons "f"), alors on a deux cas. Si "b" est supérieur ou égal à "c", "|b - c| = b - c", et donc :

b - a +b - c =b +b - a - c =b +f - c =f +a +f - c =a - c +2 * f ≥a - c =[|a - c| si a ≥c,-|a - c| sinon] ≥|a - c|

Si "b" est inférieur à "c", "|b - c| = c - b", et donc :

b - a +c - b =-a +c =c - a =|a - c|

L'inégalité triangulaire est démontrée dans tous les cas : elle est vérifiée dans "R" avec cet opérateur. Donc, cet opérateur et "R" forme un espace métrique.

Les limites de suites usuelles

3.1.1.0

Montrons que la suite où l'on divise "1" par l'indice de l'élément actuel de la suite tend vers "0". Appelons cette suite "u(n)".

u(n) =1n

Posons "x", représentant un nombre réel positif quelconque (différent de 0), supérieur à 0.

∀x ∈R*+

Supposons l'existence d'un "m" tel que la valeur absolue de "u(m)" soit inférieur à "x". Cela équivaut à dire que "1" divisé par "m" est inférieur à "x".

∀m ∈N,abs(u(m)) <a ⇔1n<x

Comme "m" et "x" sont supérieur à "0", alors "1" divisé par "m" est aussi supérieur à "0", et l'on peut obtenir une équivalence en appliquant la fonction inverse des deux côtés.

1n<x ⇔m <1x

Donc, "m" doit être supérieur à "1" divisé par "x". Donc, pour tout nombre réel "x" supérieur à 0, il existe une valeur "b" tel que, pour toute valeur "m" de la suite supérieure à "b", "u(m)" est plus proche de 0 que "x". Donc, par définition de la limite, la suite où l'on divise "1" par l'indice de l'élément actuel de la suite tend vers "0".

u(n) =1n,lim u(n) =0

3.1.1.1

Montrons que la suite représentant le produit de "n" par un nombre "a" avec une puissance positive tend vers "+ l'infini" si "a" est positif, et "- l'infini" si "a" est négatif. Appelons cette suite "u(n)".

∀a ∈R,∀e ∈N*,u(n) =a * ne

Commençons par le cas où "a" est supérieur à "0". Posons "x", représentant un nombre réel positif quelconque (différent de 0), supérieur à 0.

∀x ∈R*+

Supposons l'existence d'un "m" tel que la valeur absolue de "u(m)" soit supérieur à "x". Cela équivaut à dire que le produit de "n" par un nombre "a" avec une puissance positive est inférieur à "x".

∀m ∈N,abs(u(m)) >x ⇔a * me>x

Comme "a" est supérieur à "0", on peut diviser par "a" des deux côtés.

a * me>x ⇔me>xa

Donc, "m" doit être supérieur à la racine de "x" divisé par "a" base "e". Donc, pour tout nombre réel "x" supérieur à 0, il existe une valeur "b" tel que, pour toute valeur "m" de la suite supérieure à "b", "u(m)" est supérieur à "x". Donc, par définition de la limite, la suite représentant le produit de "n" par un nombre "a" positif avec une puissance positive tend vers "+ l'infini".

Finissons par le cas où "a" est inférieur à "0". Posons "x", représentant un nombre réel négatif quelconque (différent de 0), supérieur à 0.

∀x ∈R*-

Supposons l'existence d'un "m" tel que la valeur absolue de "u(m)" soit inférieur à "x". Cela équivaut à dire que le produit de "n" par un nombre "a" négatif avec une puissance positive est inférieur à "x".

∀m ∈N,abs(u(m)) >x ⇔a * me<x

Comme "a" est inférieur à "0", on peut diviser par "a" des deux côtés, mais on doit changer le signe de la relation d'ordre.

a * me<x ⇔me>xa

Donc, "m" doit être supérieur à la racine de "x" divisé par "a" (qui est un nombre positif) base "e". Donc, pour tout nombre réel "x" inférieur à 0, il existe une valeur "b" tel que, pour toute valeur "m" de la suite supérieure à "b", "u(m)" est inférieur à "x". Donc, par définition de la limite, la suite représentant le produit de "n" par un nombre "a" négatif avec une puissance positive tend vers "- l'infini".

Les limites de fonctions usuelles

3.1.2.0

Montrons que la limite en "+ l'infini" d'une fonction réelle est la même que la limite de la suite qui lui est associée. Commençons par le cas où la limite est une limite finie. Posons une fonction "f" admettant une limite "v" en "+ l'infini".

f : A ⟶B,a ⟶f(b)
lim f(a) =v

Exprimons la définition de la limite.

∀x >0,∃a ∈R,∀b ∈R,[b >a ⇒|f(b) - v| <x]

Or, on sait que la partie entière de "a" auquelle on ajoute "1" est strictement supérieure à "a".

∀a ∈R,ent(a) +1 >a

Appelons "c" la valeur partie entière de "a" auquelle on ajoute "1". Notre définition de la limite implique donc une définition plus précise :

∀x >0,∃c ∈N,∀b ∈R,[b >c ⇒|f(b) - v| <x]

Nous savons aussi que tout nombre réel "b" supérieur à "a" permet de faire fonctionner la limite. Donc, c'est la même chose pour tout nombre entier naturel "d" supérieur à "a", car "N" est une partie de "R".

∀x >0,∃c ∈N,∀d ∈N,[d >c ⇒|f(d) - v| <x]

Appelons "u" la suite associé à la fonction "f". Cette suite représente toutes les valeurs de "f" quand l'antécédent est un nombre entier naturel. Or, c'est le cas dans "f(d)" : il est parfaitement égal à "u(d)".

∀x >0,∃c ∈N,∀d ∈N,[d >c ⇒|u(d) - v| <x]

Or, cela est exactement la définition d'une limite de suite vers "v" en "+ l'infini". Donc, "u" tend bel et bien vers "v". Donc, la suite associée à fonction réelle tendant vers "v" en "+ l'infini" tend aussi vers "v" en "+ l'infini".

Maintenant, traitons le cas où la limite est "+ l'infini". Posons une fonction "f" admettant une limite "+ l'infini" en "+ l'infini".

f : A ⟶B,a ⟶f(b)
lim f(a) =+∞

Exprimons la définition de la limite.

∀x >0,∃a ∈R,∀b ∈R,[b >a ⇒f(b) >x]

Or, on sait que la partie entière de "a" auquelle on ajoute "1" est strictement supérieure à "a".

∀a ∈R,ent(a) +1 >a

Appelons "c" la valeur partie entière de "a" auquelle on ajoute "1". Notre définition de la limite implique donc une définition plus précise :

∀x >0,∃c ∈N,∀b ∈R,[b >c ⇒f(b) >x]

Nous savons aussi que tout nombre réel "b" supérieur à "a" permet de faire fonctionner la limite. Donc, c'est la même chose pour tout nombre entier naturel "d" supérieur à "a", car "N" est une partie de "R".

∀x >0,∃c ∈N,∀d ∈R,[d >c ⇒f(d) >x]

Appelons "u" la suite associé à la fonction "f". Cette suite représente toutes les valeurs de "f" quand l'antécédent est un nombre entier naturel. Or, c'est le cas dans "f(d)" : il est parfaitement égal à "u(d)".

∀x >0,∃c ∈N,∀d ∈R,[d >c ⇒u(d) >x]

Or, cela est exactement la définition d'une limite de suite vers "+ l'infini" en "+ l'infini". Donc, "u" tend bel et bien vers "+ l'infini". Donc, la suite associée à fonction réelle tendant vers "+ l'infini" en "+ l'infini" tend aussi vers "+ l'infini" en "+ l'infini".

Finalement, traitons le cas où la limite est "- l'infini". Posons une fonction "f" admettant une limite "- l'infini" en "+ l'infini".

f : A ⟶B,a ⟶f(b)
lim f(a) =- ∞

Exprimons la définition de la limite.

∀x >0,∃a ∈R,∀b ∈R,[b >a ⇒f(b) <-x]

Or, on sait que la partie entière de "a" auquelle on ajoute "1" est strictement supérieure à "a".

∀a ∈R,ent(a) +1 >a

Appelons "c" la valeur partie entière de "a" auquelle on ajoute "1". Notre définition de la limite implique donc une définition plus précise :

∀x >0,∃c ∈N,∀b ∈R,[b >c ⇒f(b) <-x]

Nous savons aussi que tout nombre réel "b" supérieur à "a" permet de faire fonctionner la limite. Donc, c'est la même chose pour tout nombre entier naturel "d" supérieur à "a", car "N" est une partie de "R".

∀x >0,∃c ∈N,∀d ∈R,[d >c ⇒f(d) <-x]

Appelons "u" la suite associé à la fonction "f". Cette suite représente toutes les valeurs de "f" quand l'antécédent est un nombre entier naturel. Or, c'est le cas dans "f(d)" : il est parfaitement égal à "u(d)".

∀x >0,∃c ∈N,∀d ∈R,[d >c ⇒u(d) <-x]

Or, cela est exactement la définition d'une limite de suite vers "- l'infini" en "+ l'infini". Donc, "u" tend bel et bien vers "- l'infini". Donc, la suite associée à fonction réelle tendant vers "- l'infini" en "+ l'infini" tend aussi vers "- l'infini" en "+ l'infini".

Tous les cas sont vérifiés : la limite en "+ l'infini" d'une fonction réelle est la même que la limite de la suite qui lui est associée.

L'arithmétique des limites

3.1.3.0

Démontrons qu'une fonction "f" représentant la somme d'autres fonctions, la limite de "f" en une valeur représente la somme des limites en cette valeur des fonctions qui constituent "f". La démonstration de ce résultat n'est pas si complexe que ça, mais demande une disjonction de cas précise. Posons deux fonctions "g" et "h" définies de "R" vers "R", admettant une limite à droite en une valeur finie "a" vers respectivement "v" et "w" finis.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒|h(c) - w| <x}

Procédons à un petit tour de passe-passe : prenons la valeur minimale entre "b" et "d". Si "b" est inférieur à "d", alors "b" est un "e", et si "d" est inférieur à "b", alors "d" est un "c" : travailler avec la valeur minimale suffit pour définir "c" et "e". Nous nommerons "r" la valeur minimale entre "b" et "d", et nous pouvons simplifier nos limites de "g" et "h".

∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒|g(s) - v| <x ∧|h(s) - w| <x}

Posons maintenant la fonction "f" égale à "g + h". On peut bidouiller notre formule précédente pour obtenir une limite de "f".

∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| +|h(s) - w| <2 * x}
g(s) - v >0 ∧h(s) - w >0 ⇒g(s) - v +h(s) - w <2 * x ⇔g(s) +h(s) - (v +w) <2 * x ⇔f(s) - (v +w) <2 * x ⇒|f(s) - (v +w)| <2 * x
g(s) - v >0 ∧h(s) - w <0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w >0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w <0 ⇒-2 * x <g(s) - v +h(s) - w <0 ⇔-2 * x <g(s) +h(s) - (v +w) <0 ⇔-2 * x <f(s) - (v +w) <0 ⇔0 <-(f(s) - (v +w)) <2 * x ⇒|f(s) - (v +w)| <2 * x

Dans tous les cas, on retrouve la limite de "f" : la limite de "f" en "a" est la somme des limites de "g" et "h" en "a". C'est l'exact même chose pour les limites à gauches.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒|h(c) - w| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| +|h(s) - w| <2 * x}
g(s) - v >0 ∧h(s) - w >0 ⇒g(s) - v +h(s) - w <2 * x ⇔g(s) +h(s) - (v +w) <2 * x ⇔f(s) - (v +w) <2 * x ⇒|f(s) - (v +w)| <2 * x
g(s) - v >0 ∧h(s) - w <0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w >0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w <0 ⇒-2 * x <g(s) - v +h(s) - w <0 ⇔-2 * x <g(s) +h(s) - (v +w) <0 ⇔-2 * x <f(s) - (v +w) <0 ⇔0 <-(f(s) - (v +w)) <2 * x ⇒|f(s) - (v +w)| <2 * x

C'est la même chose avec une limite à droite tendant vers "+ l'infini". Cependant, la démonstration est un peu plus simple.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) +h(s) >2 * x}
g(s) +h(s) >2 * x ⇔⇔f(s) >2 * x

C'est la même chose avec une limite à droite tendant vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒g(s) <-x ∧h(s) <-x ⇒g(s)+h(s) <-2 * x}
g(s) +h(s) >-2 * x ⇔⇔f(s) >-2 * x

C'est la même chose avec une limite à gauche tendant vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) +h(s) >2 * x}
g(s) +h(s) >2 * x ⇔⇔f(s) >2 * x

C'est la même chose avec une limite à gauche tendant vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒g(s) <-x ∧h(s) <-x ⇒g(s)+h(s) <-2 * x}
g(s) +h(s) >-2 * x ⇔⇔f(s) >-2 * x

On peut étendre ces résultats pour des limites en "+ l'infini" et "- l'infini". Dans le cas où l'on est en "+ l'infini", on peut s'occuper du cas où la limite est une valeur finie. Dans ce cas, notre "r" devient la plus grande valeur entre "b" et "d".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒|h(e) - w| <x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| +|h(s) - w| <2 * x}
g(s) - v >0 ∧h(s) - w >0 ⇒g(s) - v +h(s) - w <2 * x ⇔g(s) +h(s) - (v +w) <2 * x ⇔f(s) - (v +w) <2 * x ⇒|f(s) - (v +w)| <2 * x
g(s) - v >0 ∧h(s) - w <0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w >0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w <0 ⇒-2 * x <g(s) - v +h(s) - w <0 ⇔-2 * x <g(s) +h(s) - (v +w) <0 ⇔-2 * x <f(s) - (v +w) <0 ⇔0 <-(f(s) - (v +w)) <2 * x ⇒|f(s) - (v +w)| <2 * x

C'est la même chose avec une limite en "+ l'infini" tendant vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) +h(s) >2 * x}
g(s) +h(s) >2 * x ⇔f(s) >2 * x

C'est la même chose avec une limite en "+ l'infini" tendant vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒g(s) <-x ∧h(s) <-x ⇒g(s) +h(s) <-2 * x}
g(s) +h(s) <-2 * x ⇔f(s) <-2 * x

Finalement, dans le cas où l'on est en "- l'infini", on peut s'occuper du cas où la limite est une valeur finie. Dans ce cas, notre "r" devient la plus grande valeur entre "b" et "d".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒|h(e) - w| <x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| +|h(s) - w| <2 * x}
g(s) - v >0 ∧h(s) - w >0 ⇒g(s) - v +h(s) - w <2 * x ⇔g(s) +h(s) - (v +w) <2 * x ⇔f(s) - (v +w) <2 * x ⇒|f(s) - (v +w)| <2 * x
g(s) - v >0 ∧h(s) - w <0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w >0 ⇒-x <g(s) - v +h(s) - w <0 ⇔-x <g(s) - h(s) - (v - w) <0 ⇔-x <f(s) - (v +w) <0 ∧0 <-(f(s) - (v +w)) <x ⇒|f(s) - (v +w)| <x
g(s) - v <0 ∧h(s) - w <0 ⇒-2 * x <g(s) - v +h(s) - w <0 ⇔-2 * x <g(s) +h(s) - (v +w) <0 ⇔-2 * x <f(s) - (v +w) <0 ⇔0 <-(f(s) - (v +w)) <2 * x ⇒|f(s) - (v +w)| <2 * x

C'est la même chose avec une limite en "- l'infini" tendant vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) +h(s) >2 * x}
g(s) +h(s) >2 * x ⇔f(s) >2 * x

C'est la même chose avec une limite en "- l'infini" tendant vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒g(s) <-x ∧h(s) <-x ⇒g(s) +h(s) <-2 * x}
g(s) +h(s) <-2 * x ⇔f(s) <-2 * x

Traitons maintenant le cas où l'on additionne une valeur finie avec un infini. La démonstration implique aussi une grosse disjonction de cas. Commençons par la limite (finie) à droite où "g" tend vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒|h(s) - v| <x <g(s) ⇒x <x +|h(s) - v| <g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <g(s) - h(s) +v ⇒x - v <x - h(s) <g(s) - h(s) ⇒x - 3 * v <x - v +2 * h(s) <x +h(s) <g(s) +h(s)

Et vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒|h(s) - v| <x <-g(s) ⇒x <x +|h(s) - v| <-g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <-g(s) - h(s) +v ⇒x - v <x - h(s) <-g(s) - h(s) ⇒-x +v >-x +h(s) >g(s) +h(s)

En suite, pour la limite (toujours finie) à gauche. Commençons vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒|h(s) - v| <x <g(s) ⇒x <x +|h(s) - v| <g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <g(s) - h(s) +v ⇒x - v <x - h(s) <g(s) - h(s) ⇒x - 3 * v <x - v +2 * h(s) <x +h(s) <g(s) +h(s)

Et vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒|h(s) - v| <x <-g(s) ⇒x <x +|h(s) - v| <-g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <-g(s) - h(s) +v ⇒x - v <x - h(s) <-g(s) - h(s) ⇒-x +v >-x +h(s) >g(s) +h(s)

En suite, traitons la limite en "+ l'infini". Commençons avec "g" tendant vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒|h(s) - v| <x <g(s) ⇒x <x +|h(s) - v| <g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <g(s) - h(s) +v ⇒x - v <x - h(s) <g(s) - h(s) ⇒x - 3 * v <x - v +2 * h(s) <x +h(s) <g(s) +h(s)

Et vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒|h(s) - v| <x <-g(s) ⇒x <x +|h(s) - v| <-g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <-g(s) - h(s) +v ⇒x - v <x - h(s) <-g(s) - h(s) ⇒-x +v >-x +h(s) >g(s) +h(s)

En suite, traitons la limite en "- l'infini". Commençons avec "g" tendant vers "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒|h(s) - v| <x <g(s) ⇒x <x +|h(s) - v| <g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <g(s) - h(s) +v ⇒x - v <x - h(s) <g(s) - h(s) ⇒x - 3 * v <x - v +2 * h(s) <x +h(s) <g(s) +h(s)

Et vers "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒|h(e) - v| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒|h(s) - v| <x <-g(s) ⇒x <x +|h(s) - v| <-g(s) +|h(s) - v|
h(s) >v ⇒x <x +h(s) - v <g(s) +h(s) - v ⇒x +v <x +h(s) <g(s) +h(s)
h(s) <v ⇒x <x - h(s) +v <-g(s) - h(s) +v ⇒x - v <x - h(s) <-g(s) - h(s) ⇒-x +v >-x +h(s) >g(s) +h(s)

3.1.3.1

Démontrons que dans une fonction "f" représentant le produit d'autres fonctions, la limite de "f" en une valeur représente le produit des limites en cette valeur des fonctions qui constituent "f". La démonstration de ce résultat n'est pas si complexe que ça, mais demande une disjonction de cas précise. Posons deux fonctions "g" et "h" définies de "R" vers "R", admettant une limite à droite en une valeur finie "a" vers respectivement "v" et "w" finis.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒|h(c) - w| <x}

Procédons à un petit tour de passe-passe : prenons la valeur minimale entre "b" et "d". Si "b" est inférieur à "d", alors "b" est un "e", et si "d" est inférieur à "b", alors "d" est un "c" : travailler avec la valeur minimale suffit pour définir "c" et "e". Nous nommerons "r" la valeur minimale entre "b" et "d", et nous pouvons simplifier nos limites de "g" et "h".

∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒|g(s) - v| <x ∧|h(s) - w| <x}

Posons maintenant la fonction "f" égale à "g * h". On peut bidouiller notre formule précédente pour obtenir une limite de "f".

∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| * |h(s) - w| <x * x} ∧{limx⟶a((g(s) * -w) +(h(s) * -v)) =0}
g(s) - v >0 ∧h(s) - w >0 ⇒0 <(g(s) - v) * (h(s) - w) <x * x ⇔0 <g(s) * h(s) - (v * w) +(g(s) * -w) +(h(s) * -v) <x * x ⇔f(s) - (v * w) <x * x ⇒0 <|f(s) - (v * w)| <x * x
g(s) - v >0 ∧h(s) - w <0 ⇒0 <(g(s) - v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w >0 ⇒0 <(-g(s) +v) * (h(s) - w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w <0 ⇒0 <(-g(s) +v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) <x * x ⇒0 <|f(s) - (v * w)| <x * x

Dans tous les cas, on retrouve la limite de "f" : la limite de "f" en "a" est le produit des limites de "g" et "h" en "a". C'est l'exact même chose pour les limites à gauches.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒|h(c) - w| <x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| * |h(s) - w| <x * x} ∧{limx⟶a((g(s) * -w) +(h(s) * -v)) =0}
g(s) - v >0 ∧h(s) - w >0 ⇒0 <(g(s) - v) * (h(s) - w) <x * x ⇔0 <g(s) * h(s) - (v * w) +(g(s) * -w) +(h(s) * -v) <x * x ⇔f(s) - (v * w) <x * x ⇒0 <|f(s) - (v * w)| <x * x
g(s) - v >0 ∧h(s) - w <0 ⇒0 <(g(s) - v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w >0 ⇒0 <(-g(s) +v) * (h(s) - w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w <0 ⇒0 <(-g(s) +v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) <x * x ⇒0 <|f(s) - (v * w)| <x * x

On peut étendre ces résultats pour des limites en "+ l'infini" et "- l'infini". Dans ce cas, notre "r" devient la plus grande valeur entre "b" et "d". On reste dans le cas où "v" et "w" sont des valeurs finies. Commençons par la limite en "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒|h(e) - w| <x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| +|h(s) - w| <2 * x}
g(s) - v >0 ∧h(s) - w >0 ⇒0 <(g(s) - v) * (h(s) - w) <x * x ⇔0 <g(s) * h(s) - (v * w) +(g(s) * -w) +(h(s) * -v) <x * x ⇔f(s) - (v * w) <x * x ⇒0 <|f(s) - (v * w)| <x * x
g(s) - v >0 ∧h(s) - w <0 ⇒0 <(g(s) - v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w >0 ⇒0 <(-g(s) +v) * (h(s) - w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w <0 ⇒0 <(-g(s) +v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) <x * x ⇒0 <|f(s) - (v * w)| <x * x

C'est la même chose pour les limites en "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒|h(e) - w| <x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <|g(s) - v| <x ∧0 <|h(s) - w| <x ⇒0 <|g(s) - v| +|h(s) - w| <2 * x}
g(s) - v >0 ∧h(s) - w >0 ⇒0 <(g(s) - v) * (h(s) - w) <x * x ⇔0 <g(s) * h(s) - (v * w) +(g(s) * -w) +(h(s) * -v) <x * x ⇔f(s) - (v * w) <x * x ⇒0 <|f(s) - (v * w)| <x * x
g(s) - v >0 ∧h(s) - w <0 ⇒0 <(g(s) - v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w >0 ⇒0 <(-g(s) +v) * (h(s) - w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) * -1 <x * x ⇔0 <(f(s) - (v * w)) * -1 <x * x ⇒|f(s) - (v * w)| <x * x
g(s) - v <0 ∧h(s) - w <0 ⇒0 <(-g(s) +v) * (-h(s) +w) <x * x ⇔0 <(g(s) - v) * (h(s) - w) <x * x ⇒0 <|f(s) - (v * w)| <x * x

Dans le cas de limites en "+ l'infini" et en "- l'infini", il faut faire plus attention à bien respecter la règle des signes. Commençons dans le cas de limites en une valeur finie. Si nous avons deux limites à droites en "+ l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) * h(s) >x * x ⇒f(x) >x * x}

Et à gauche.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) * h(s) >x * x ⇒f(x) >x * x}

Maintenant, si nous avons deux limites à droites en "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒g(s) <-x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}

Et à gauche.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒g(s) <-x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}

Maintenant, si nous avons une limite à droite en "+ l'infini" et une en "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}

Et à gauche.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}

C'est la même chose en "+ l'infini" (dans tous les cas).

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) * h(s) >x * x ⇒f(x) >x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒g(s) <-x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}

C'est la même chose en "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <g(s) >x ∧0 <h(s) >x ⇒g(s) * h(s) >x * x ⇒f(x) >x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒g(s) <-x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) >x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒g(c) <-x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒g(s) >x ∧h(s) <-x ⇒g(s) * h(s) <-x * x ⇒f(x) <-x * x}

Parlons maintenant du cas où l'on compare une limite vers une valeur finie et une limite vers une valeur infinie. On se rendra compte que multiplier un positif par un infini quelconque donne le même infini, et multiplier un négatif par un infini quelconque donne l'infini opposé. Commençons par le cas de la limite en une valeur finie à droite, avec une limite finie positive. Pour économiser de la place, on fait en premier lieu "+ l'infini", puis "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <|g(s) - v| <x ∧h(s) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v >x * g(s) +x * -v ⇔h(s) * g(s) >x * g(s) +v * -x +(h(s) * v) ⇔h(s) * g(s) >x * g(s) +v * (h(s) - x) >x * v ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) >x * (-g(s) +v) ⇔h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) >x * v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(s) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <-x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v <-x * g(s) +-x * -v ⇔h(s) * g(s) <-x * g(s) +v * x +(h(s) * v) ⇔h(s) * g(s) <-x * g(s) +v * (h(s) - x) <-x * v ⇔h(s) * g(s) <-x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) <-x * (-g(s) +v) ⇔h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) <-x * v

On peut aussi la faire dans le cas de la limite à gauche.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <|g(s) - v| <x ∧h(sachant) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v >x * g(s) +x * -v ⇔h(s) * g(s) >x * g(s) +v * -x +(h(s) * v) ⇔h(s) * g(s) >x * g(s) +v * (h(s) - x) >x * v ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) >x * (-g(s) +v) ⇔h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) >x * v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(s) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <-x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v <-x * g(s) +-x * -v ⇔h(s) * g(s) <-x * g(s) +v * x +(h(s) * v) ⇔h(s) * g(s) <-x * g(s) +v * (h(s) - x) <-x * v ⇔h(s) * g(s) <-x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) <-x * (-g(s) +v) ⇔h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) <-x * v

Maintenant, faisons le cas où "v" est négatif. Commençons par la limite à droite. Encore une fois, on fait en premier lieu "+ l'infini", puis "- l'infini".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <|g(s) - v| <x ∧h(e) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v >h(s) * -v +v * x >h(s) * g(s) +h(s) * -v ⇔0 >v * x >h(s) * g(s) ⇔h(s) * g(s) <x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v >0 ⇔h(s) * g(s) * -1 >-v - h(s) >-v - x ⇔h(s) * g(s) <x +v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a,a +d[ ⇒h(s) <-x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a,a +r[ ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v <h(s) * -v +v * x <h(s) * g(s) +h(s) * -v ⇔0 <v * x <h(s) * g(s) ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v <0 ⇔h(s) * g(s) * -1 <-v - h(s) <-v - x ⇔h(s) * g(s) >x +v

Et pour la limite à gauche.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <|g(s) - v| <x ∧h(e) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v >h(s) * -v +v * x >h(s) * g(s) +h(s) * -v ⇔0 >v * x >h(s) * g(s) ⇔h(s) * g(s) <x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v >0 ⇔h(s) * g(s) * -1 >-v - h(s) >-v - x ⇔h(s) * g(s) <x +v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e ∈]a - d,a[ ⇒h(s) <-x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s ∈]a - r,a[ ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v <h(s) * -v +v * x <h(s) * g(s) +h(s) * -v ⇔0 <v * x <h(s) * g(s) ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v <0 ⇔h(s) * g(s) * -1 <-v - h(s) <-v - x ⇔h(s) * g(s) >x +v

C'est la même chose en "+ l'infini" (dans tous les cas). Si "v" est positif :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <|g(s) - v| <x ∧h(sachant) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v >x * g(s) +x * -v ⇔h(s) * g(s) >x * g(s) +v * -x +(h(s) * v) ⇔h(s) * g(s) >x * g(s) +v * (h(s) - x) >x * v ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) >x * (-g(s) +v) ⇔h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) >x * v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(s) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <-x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v <-x * g(s) +-x * -v ⇔h(s) * g(s) <-x * g(s) +v * x +(h(s) * v) ⇔h(s) * g(s) <-x * g(s) +v * (h(s) - x) <-x * v ⇔h(s) * g(s) <-x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) <-x * (-g(s) +v) ⇔h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) <-x * v

Et si "v" est négatif :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <|g(s) - v| <x ∧h(e) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v >h(s) * -v +v * x >h(s) * g(s) +h(s) * -v ⇔0 >v * x >h(s) * g(s) ⇔h(s) * g(s) <x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v >0 ⇔h(s) * g(s) * -1 >-v - h(s) >-v - x ⇔h(s) * g(s) <x +v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e >d ⇒h(s) <-x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s >r ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v <h(s) * -v +v * x <h(s) * g(s) +h(s) * -v ⇔0 <v * x <h(s) * g(s) ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v <0 ⇔h(s) * g(s) * -1 <-v - h(s) <-v - x ⇔h(s) * g(s) >x +v

C'est la même chose en "- l'infini" (dans tous les cas). Si "v" est positif :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <|g(s) - v| <x ∧h(sachant) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v >x * g(s) +x * -v ⇔h(s) * g(s) >x * g(s) +v * -x +(h(s) * v) ⇔h(s) * g(s) >x * g(s) +v * (h(s) - x) >x * v ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) >x * (-g(s) +v) ⇔h(s) * (g(s) - v) >x * (g(s) - v) ⇔h(s) * g(s) >x * v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(s) <-x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <-x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) +h(s) * -v <-x * g(s) +-x * -v ⇔h(s) * g(s) <-x * g(s) +v * x +(h(s) * v) ⇔h(s) * g(s) <-x * g(s) +v * (h(s) - x) <-x * v ⇔h(s) * g(s) <-x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) <-x * (-g(s) +v) ⇔h(s) * (g(s) - v) <-x * (g(s) - v) ⇔h(s) * g(s) <-x * v

Et si "v" est négatif :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(e) >x}∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <|g(s) - v| <x ∧h(e) >x ⇒h(s) * |g(s) - v| >x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v >h(s) * -v +v * x >h(s) * g(s) +h(s) * -v ⇔0 >v * x >h(s) * g(s) ⇔h(s) * g(s) <x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v >0 ⇔h(s) * g(s) * -1 >-v - h(s) >-v - x ⇔h(s) * g(s) <x +v
∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
∀x ∈R*+,∃d ∈R*+,{∀e ∈R,e <-d ⇒h(s) <-x}
∀x ∈R*+,∃r ∈R*+,{∀s ∈R,s <-r ⇒0 <|g(s) - v| <x ∧h(s) <-x ⇒h(s) * |g(s) - v| <x * |g(s) - v|}
g(s) - v >0 ⇒h(s) * (g(s) - v) =h(s) * g(s) +h(s) * -v ⇔h(s) * -v <h(s) * -v +v * x <h(s) * g(s) +h(s) * -v ⇔0 <v * x <h(s) * g(s) ⇔h(s) * g(s) >x * v
g(s) - v <0 ⇒h(s) * (-g(s) +v) =h(s) * g(s) * -1 +h(s) * v ⇔h(s) * g(s) * -1 +h(s) * v <0 ⇔h(s) * g(s) * -1 <-v - h(s) <-v - x ⇔h(s) * g(s) >x +v

3.1.3.2

Démontrons l'existence de la limite de l'inverse d'une fonction admettant une limite quelconque, en une valeur quelconque. Parlons du cas de l'inverse d'une limite vers une valeur finie qui n'est pas 0. Posons une fonction "g" définie de "R" vers "R", admettant une limite à droite en une valeur finie "a" vers "v" fini.

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}

Posons maintenant la fonction "f" égale à "1 / g". On peut bidouiller notre formule précédente pour obtenir une limite de "f".

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a,a +b[ ⇒|g(c) - v| <x}
g(c) >v ⇒g(c) - v <x ⇒g(c) <x +v ⇒1g(c)>1x + v⇒1g(c)- 1v>1x + v- 1v⇒-1g(c)+1v<1v- 1x + v⇒|f(c) - 1v| <xx * v + v²<xg(c) <v ⇒-g(c) +v <x ⇒g(c) >v - x ⇒1g(c)<1v - x⇒1g(c)- 1v<1v - x- 1v⇒|f(c) - 1v| <xx * v + v²<x

Dans le cas de la limite à gauche :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c ∈]a - b,a[ ⇒|g(c) - v| <x}
g(c) >v ⇒g(c) - v <x ⇒g(c) <x +v ⇒1g(c)>1x + v⇒1g(c)- 1v>1x + v- 1v⇒-1g(c)+1v<1v- 1x + v⇒|f(c) - 1v| <xx * v + v²<xg(c) <v ⇒-g(c) +v <x ⇒g(c) >v - x ⇒1g(c)<1v - x⇒1g(c)- 1v<1v - x- 1v⇒|f(c) - 1v| <xx * v + v²<x

Dans le cas de la limite en "+ l'infini" :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c >b ⇒|g(c) - v| <x}
g(c) >v ⇒g(c) - v <x ⇒g(c) <x +v ⇒1g(c)>1x + v⇒1g(c)- 1v>1x + v- 1v⇒-1g(c)+1v<1v- 1x + v⇒|f(c) - 1v| <xx * v + v²<xg(c) <v ⇒-g(c) +v <x ⇒g(c) >v - x ⇒1g(c)<1v - x⇒1g(c)- 1v<1v - x- 1v⇒|f(c) - 1v| <xx * v + v²<x

Dans le cas de la limite en "- l'infini" :

∀x ∈R*+,∃b ∈R*+,{∀c ∈R,c <-b ⇒|g(c) - v| <x}
g(c) >v ⇒g(c) - v <x ⇒g(c) <x +v ⇒1g(c)>1x + v⇒1g(c)- 1v>1x + v- 1v⇒-1g(c)+1v<1v- 1x + v⇒|f(c) - 1v| <xx * v + v²<xg(c) <v ⇒-g(c) +v <x ⇒g(c) >v - x ⇒1g(c)<1v - x⇒1g(c)- 1v<1v - x- 1v⇒|f(c) - 1v| <xx * v + v²<x

L'arithmétique des fonctions continues

3.1.4.0

Démontrons que la fonction représentant la somme de deux fonctions continues en "a" est continue en "a". Posons "f" et "g" deux fonctions continues.

f(x) =f(x) =f(a)
g(x) =g(x) =g(a)

Posons la fonction "h" tel que "h(x) = f(x) + g(x)". Calculons la limite de "h" à gauche et à droite en "a" en utilisant l'arithmétique des limites démontrées au 3.1.3.0.

h(x) =f(x) +g(x)
h(x) =f(x) +g(x)

Or, ces deux valeurs sont égales. Donc, la propriété de continuité est vérifiée. Donc, "h" est continue en "a".

3.1.4.1

Démontrons que la fonction représentant le produit de deux fonctions continues en "a" est continue en "a". Posons "f" et "g" deux fonctions continues.

f(x) =f(x) =f(a)
g(x) =g(x) =g(a)

Posons la fonction "h" tel que "h(x) = f(x) * g(x)". Calculons la limite de "h" à gauche et à droite en "a" en utilisant l'arithmétique des limites démontrées au 3.1.3.1.

h(x) =f(x) * g(x)
h(x) =f(x) * g(x)

Or, ces deux valeurs sont égales. Donc, la propriété de continuité est vérifiée. Donc, "h" est continue en "a".

3.1.4.2

Démontrons que la fonction représentant la composition de deux fonctions continues en "a" est continue en "a". Posons "f" et "g" deux fonctions continues.

f(x) =f(x) =f(a)
g(x) =g(x) =g(a)

Posons la fonction "h" tel que "h(x) = f(g(x))". Calculons la limite de "h" à gauche et à droite en "a" en utilisant l'arithmétique des limites démontrées au 3.1.3.1.

h(x) =f(g(x))
h(x) =f(g(x))

Or, ces deux valeurs sont égales. Donc, la propriété de continuité est vérifiée. Donc, "h" est continue en "a".