Annales de mathématiques pures et appliquées/Tome 14/Analise élémentaire, article 2
# Annales de mathématiques pures et appliquées/Tome 14/Analise élémentaire, article 2

## ANALISE ALGÉBRIQUE.

### Recherches d’analise sur les fonctions, avec application à la démonstration du parallélogramme des forces ;

Dans des recherches physico-mathématiques l on rencontre quelquefois des équations de quelqu’une des formes suivantes :

φ(t)+φ(u)=φ(t+u), φ(t)+φ(u)=φ(tu), φ(t).φ(u)=φ(t+u), φ(t).φ(u)=φ(tu);

dans lesquelles la forme de la fonction φ est l’inconnue du problème. Nous allons, dans ce qui va suivre, montrer comment on peut déterminer, pour chaque cas, la nature de la fonction φ ; nous appliquerons ensuite à un exemple les résultats que nous aurons obtenus.

I. Si, dans l’équation

φ(t)+φ(u)=φ(t+u),

on change u en u+v, elle devient

φ(t)+φ(u+v)=φ(t+u+v);

mais, en vertu de la proposée

φ(u+v)=φ(u)+φ(v);

donc, en substituant

φ(t)+φ(u)+φ(v)=φ(t+u+v);

en supposant ensuite que v se change en v+x, on trouvera, par de semblables considérations que

φ(t)+φ(u)+φ(v)+φ(x)=φ(t+u+v+x);

et en général

φ(t)+φ(u)+φ(v)+…=φ(t+u+v+…).

Si l’on suppose ensuite toutes les lettres t, u, v, … égales à t et au nombre de q, cette équation deviendra

q.φ(t)=φ(qt)

où q est un nombre essentiellement entier et positif. On aurait semblablement

q.φ(u)=φ(qu)

Dans cette dernière équation, posons qu=t; d’où u=1/q t; ce qui donnera, en substituant,

q.φ( 1/q t)=φ(t),

d’où

φ( 1/q t)=1/q φ(t);

puis, en multipliant les deux membres par p

p.φ( 1/q t)=p/q φ(t).

Mais si dans l’équation (3) on change q en p, elle devient

p.φ(t)=φ(pt),

puis, en changeant t en 1/q t,

p.φ(1/q t)=φ(p/q t);

donc, en comparant (4) et (5),

p/q φ(t)=φ(p/q t);

et, comme les nombres entiers positifs p, q peuvent être pris aussi grands qu’on voudra, il en résulte que l’équation (3) doit avoir lieu, lors même que q est incommensurable. Il ne serait pas difficile de prouver qu’elle doit avoir lieu également lorsque q est négatif.

Si présentement on pose p/q t=u, d’où p/q=u/t, l’équation (6) deviendra

u/t φ(t)=φ(u)

ou bien

φ(t)/t=φ(u)/u

et comme t et u sont supposés deux variables indépendantes, qui ne sauraient généralement être égales entre elles, on doit en conclure

φ(t)/t=A,

φ(t)=At.

A étant une constante.

Ce résultat se vérifie d’ailleurs facilement ; il donne en effet

φ(t)=At, φ(u)=Au

d’où, en ajoutant,

φ(t)+φ(u)=At+Au=A(t+u)=φ(t+u);

comme le veut l’équation proposée.

II. Si, dans l’équation

φ(t)+φ(u)=φ(tu),

on change u en uv, puis v en vx, et ainsi de suite ; en développant successivement φ(uv), φ(vx), … au moyen de cette même équation, on trouvera généralement

φ(t)+φ(u)+φ(v)+…=φ(tuv…).

Supposant ensuite que les variables t, u, v, … toutes égales entre elles, sont au nombre de q, on aura

q.φ(t)=φ(t𐞥);

et l’on aurait pareillement

q.φ(u)=φ(u𐞥).

Faisant, dans cette dernière équation, u𐞥=t, d’où u=t¹ᐟ𐞥, elle deviendra

q.φ(t¹ᐟ𐞥)=φ(t),

et par suite

φ(t¹ᐟ𐞥)=1/q φ(t);

puis, en multipliant les deux membres par p,

p.φ(t¹ᐟ𐞥)=p/q φ(t).

Mais si, dans l’équation (3), on change q en p, elle devient

p.φ(t)=φ(tᵖ);

puis, en changeant t en t¹ᐟ𐞥,

p.φ(t¹ᐟ𐞥)=φ(tᵖᐟ𐞥);

donc, en comparant (4) et (5),

p/q φ(t)=φ(tᵖᐟ𐞥).

et, comme les nombres entiers positifs p, q peuvent être pris aussi grands qu’on le voudra, il en résulte que l’équation (3) doit avoir lieu lors même que q est incommensurable. Il ne serait pas difficile de prouver qu’elle doit avoir lieu également, lorsque q est négatif.

Si présentement on pose tᵖᐟ𐞥=u, on en tirera p/q=Log.u/Log.t, et l’équation (6) deviendra

Log.u/Log.t φ(t)=φ(u),

ou bien

φ(t)/Log.t=φ(u)/Log.u ;

d’où on conclura, comme ci-dessus,

φ(t)/Log.t=A,

φ(t)=ALog.t.

Ce résultat se vérifie d’ailleurs facilement ; il donne en effet

φ(t)=ALog.t, φ(u)=ALog.u;

d’où, en ajoutant

φ(t)+φ(u)=ALog.t+ALog.u=A(Log.t+Log.u)=ALog.(tu)=φ(tu),

comme le veut l’équation proposée.

III. Si, dans l’équation

φ(t).φ(u)=φ(t+u),

on change, tour-à-tour, u en u+v, v en v+x, et ainsi de suite, en développant successivement φ(u+v), φ(v+x), …, au moyen de cette même équation, on trouvera généralement

φ(t).φ(u).φ(v)…=φ(t+u+v+…)

supposant ensuite que les variables t, u, v, …, toutes égales entre elles, sont au nombre de q, on aura

{φ(t)}𐞥=φ(qt),

et l’on aurait pareillement

{φ(u)}𐞥=φ(qu).

Faisant, dans cette dernière, qu=t, d’où u=1/q t, elle deviendra

{φ( 1/q t)}𐞥=φ(t);

et par suite

φ( 1/q t)={φ(t)}¹ᐟ𐞥;

puis, en élevant les deux membres à la puissance p,

{φ( 1/q t)}ᵖ={φ(t)}ᵖᐟ𐞥.

Mais si, dans l’équation, 3), on change q en p, elle devient

{φ(t)}ᵖ=φ(pt),

d’où, en changeant t en 1/q t,

{φ( 1/q t)}ᵖ=φ( p/q t),

donc, en comparant (4) à (5),

{φ(t)}ᵖᐟ𐞥=φ( p/q t);

et, comme les nombres entiers positifs p et q peuvent être supposés si grands qu’on le voudra, il s’ensuit que l’équation (3) doit avoir lieu, lors même que q est incommensurable. Il ne serait pas difficile de prouver qu’elle doit avoir lieu également, lorsque q est négatif.

Si présentement on pose p/q t=u d’où p/q=u/t, l’équation (6) deviendra

{φ(t)}ᵘᐟᵗ=φ(u),

ou bien

{φ(t)}¹ᐟᵗ={φ(u)}¹ᐟᵘ;

d’où on conclura, comme ci-dessus,

{φ(t)}¹ᐟᵗ=A,

φ(t)=Aᵗ.

Ce résultat se vérifie d’ailleurs facilement ; il donne en effet

φ(t)=Aᵗ, φ(u)=Aᵘ,

d’où, en multipliant,

φ(t).φ(u)=Aᵗ.Aᵘ=Aᵗ⁺ᵘ=φ(t+u);

comme le veut l’équation proposée.

IV. Si, dans l’équation

φ(t).φ(u)=φ(tu),

on change tour-à-tour u en uv, v en vx, et ainsi de suite, en développant successivement φ(uv), φ(vx), …, au moyen de cette même équation, on trouvera généralement

φ(t).φ(u).φ(v)…=φ(tuv…).

Supposant ensuite que les variables t, u, v, … toutes égales entre elles, sont au nombre de q, on aura

{φ(t)}𐞥=φ(t𐞥);

et l’on aurait pareillement

{φ(u)}𐞥=φ(u𐞥).

Faisant, dans cette dernière, u𐞥=t, d’où u=t¹ᐟ𐞥, elle deviendra

{φ(t¹ᐟ𐞥)}𐞥=φ(t);

et par suite

φ(t¹ᐟ𐞥)={φ(t)}¹ᐟ𐞥;

puis, en élevant les deux nombres à la puissance p,

{φ(t¹ᐟ𐞥)}ᵖ={φ(t)}ᵖᐟ𐞥.

Mais si, dans l’équation (3), on change q en p, elle devient

{φ(t)}ᵖ=φ(tᵖ);

d’où, en changeant t en t¹ᐟ𐞥,

{φ(t¹ᐟ𐞥)}ᵖ=φ(tᵖᐟ𐞥);

donc, en comparant (4) et (5),

{φ(t)}ᵖᐟ𐞥=φ(tᵖᐟ𐞥);

et, comme les nombres entiers positifs p et q peuvent être supposés si grands qu’on le voudra, il s’ensuit que l’équation (3) doit avoir lieu lors même que q est incommensurable. Il ne serait pas difficile de prouver qu’elle doit avoir lieu également lorsque q est négatif.

Si présentement on pose tᵖᐟ𐞥=u, d’où p/q=Log.u/Log.t, l’équation (6) deviendra

{φ(t)}ᴸᵒᵍ‧ᵘᐟᴸᵒᵍ‧ᵗ=φ(u),

ou bien

{φ(t)}¹ᐟᴸᵒᵍ‧ᵗ={φ(u)}¹ᐟᴸᵒᵍ‧ᵘ;

d’où on conclura, comme ci-dessus

{φ(t)}¹ᐟᴸᵒᵍ‧ᵗ=A,

φ(t)=Aᴸᵒᵍ‧ᵗ;

mais on a

Aᴸᵒᵍ‧ᵗ=tᴸᵒᵍ‧ᴬ=tᴮ,

B étant une nouvelle constante, donc finalement

φ(t)=tᴮ.

Ce résultat se vérifie d’ailleurs facilement ; il donne en effet

φ(t)=tᴮ, φ(u)=uᴮ;

d’où, en multipliant,

φ(t).φ(u)=tᴮ.uᴮ=(tu)ᴮ=φ(tu),

comme le veut l’équation proposée.

Entre autres usages que l’on pourrait faire de ces résultats, nous indiquerons ici l’application ingénieuse que M. Ampère a faite du dernier à la démonstration du parallélogramme des forces. On sait que lorsque deux forces agissent sur un même point, suivant des directions quelconques, elles ont une résultante unique, dirigée vers ce point, comprise dans le plan des composantes et passant dans l’angle que forment leurs directions. Il est de plus manifeste que, si les composantes sont égales, la résultante divisera cet angle en deux parties égales ; c’est-à-dire qu’elle sera alors dirigée suivant la diagonale du rhombe construit sur les droites qui représente les composantes en intensité et en direction.

On peut prouver de plus que, lorsque ces composantes égales sont en outre rectangulaires, la diagonale dont il vient d’être question représente la résultante non seulement en direction mais encore en intensité. Cette proposition se déduit d’un raisonnement fort simple que, parce qu’il est peu connu, on sera sans doute bien aise de rencontrer ici.

Si l’on suppose que la résultante de deux forces représentées en intensité et en direction par deux côtés consécutifs d’un carré est représentée en intensité par une longueur plus grande que sa diagonale, il faudra, à l’inverse, qu’une force représentée en intensité et en direction par cette diagonale ; décomposée suivant les deux côtés qui la comprennent, ait des composantes représentées en intensité par des droites moins longues que les côtés de ce carré ; et au contraire, si la résultante est représentée en intensité par une droite moins longue que la diagonale, une force représentée par cette diagonale aura des composantes représentées en intensité par des droites plus longues que les côtés de ce carré.

Cela posé, soit un carré OXZY, avec ses deux diagonales OZ, XY se coupant en C; et sur ses deux côtés OX, OY, comme diagonales, soient construits les deux autres carrés CA, CB. Supposons que OX, OY représentent les intensités et directions de deux composantes, auquel cas OZ sera la direction de leur résultante. Si l’on suppose que l’intensité de cette résultante soit plus grande que OZ, il faudra d’après cela que les composantes OD, OF de OX, et OE, OF de OY, soient moindres que OA=OC=OB; mais OD et OE se détruisent ; donc la résultante unique de OX et OY se trouverait ainsi représentée par 2OF<OZ, ce qui est contre l’hypothèse.

Si l’on supposait, au contraire, que la résultante de OX et OY fût moindre que OX, il faudrait que les composantes OD′, OF′ de OX, et OE′, OF′ de OY, furent plus grandes que OA=OC=OB; et comme encore ici OD′ et OE′ se détruisent, la résultante de OX et OY se trouverait être 2OF′>OZ, ce qui serait également contraire à l’hypothèse.

La résultante de OX et OY, ne pouvant être ainsi ni plus grande ni moindre que OZ, lui sera nécessairement égale, et on aura conséquemment

X=Y=Z/√2, Cos.(X, Z)=Cos.(Y, Z)=1/√2.

Soient présentement P′, P″ deux forces rectangulaires inégales quelconques, dont la résultante soit P; et soit Ang.(P, P′)=0; on devra avoir

P=F⁡(P′, P″), θ=Φ(P′, P″)

d’où, par l’élimination de P

Φ(P, P′, θ)=0;

équation qui doit être de la forme

P′/P=f⁡(θ),

afin que θ ne varie pas, tant que le rapport de P′ à P demeurera le même.

Mais, parce que θ est une fonction de Cos.θ, on pourra à cette équation substituer la suivante

P′/P=φ(Cos.θ),

φ étant la caractéristique d’une fonction inconnue qu’il s’agit présentement de déterminer.

Pour y parvenir, considérons trois forces rectangulaires X, Y, Z agissant sur un même point O. Soient P la résultante partielle de X et Z, Q celle Y et Z, et R la résultante de tout le système ; cette dernière pourra être indifféremment considérée comme la résultante des forces rectangulaires P et Y ou comme la résultante des forces rectangulaires Q et X.

Soient posés

Ang.(P, X)=t, Ang.(P, R)=u, Ang.(X, R)=v;

nous aurons, par ce qui précède

X/P=φ(Cos.t), P/R=φ(Cos.u), X/R=φ(Cos.v),

d’où en comparant le produit des deux premières équations à la troisième

φ(Cos.v)=φ(Cos.t).φ(Cos.u).

Mais l’angle trièdre, rectangle suivant la direction de P, dont les deux autres arêtes sont suivant X et R, donne

Cos.v=Cos.t.Cos.u

d’où

φ(Cos.v)=φ(Cos.t.Cos.u)

donc

φ(Cos.t).φ(Cos.u)=φ(Cos.t.Cos.u);

d’où on tire, par ce que nous avons vu (IV)

φ(Cos.t)=Cos.ᴮt.

Donc Z étant la résultante de deux forces rectangulaires X et Y, faisant avec leurs directions des angles α, β, on doit avoir

X=ZCos.ᴮα, Y=ZCos.ᴮβ;

d’où

X²+Y²=Z²{Cos.²ᴮα+Cos.²ᴮβ};

mais si l’on suppose Y=X, d’où Cos.β=Cos.α=1/√2, on doit avoir, comme nous l’avons vu, 2X²=Z²; donc B=1; donc enfin

X=ZCos.α, Y=ZCos.β,

X²+Y²=Z².

