Ecuația xʸ = yˣ
În general, exponențierea nu este comutativă . Cu toate acestea, ecuația este valabilă în cazuri speciale, cum ar fiXy=yX{\ displaystyle x ^ {y} = y ^ {x}}X=2,y=4.{\ displaystyle x = 2, y = 4.}
Istorie
Ecuația este menționată într-o scrisoare de la Bernoulli către Goldbach (Xy=yX{\ displaystyle x ^ {y} = y ^ {x}}29 iunie 1728). Scrisoarea conține afirmația că, cu singurele soluții de numere naturale , există și, deși există o infinitate de soluții în numere raționale . Răspunsul lui Goldbach (X≠y,{\ displaystyle x \ neq y,}(2,4){\ displaystyle (2,4)}(4,2),{\ displaystyle (4,2),}31 ianuarie 1729) conține o soluție generală a ecuației obținută prin substituire . O soluție similară a fost găsită de Euler .
y=vX{\ displaystyle y = vx}
J. van Hengel a subliniat că dacă sunt numere întregi pozitive cu atunci este suficient să luăm în considerare posibilitățile și pentru a găsi soluții întregi.
r,nu{\ displaystyle r, n}r≥3{\ displaystyle r \ geq 3}rr+nu>(r+nu)r;{\ displaystyle r ^ {r + n}> (r + n) ^ {r};}X=1{\ displaystyle x = 1}X=2{\ displaystyle x = 2}
Problema a fost abordată într-o serie de publicații. În 1960, ecuația se număra printre întrebările concursului William Lowell Putnam, care l-a determinat pe A. Hausner să extindă rezultatele la câmpurile numerelor algebrice .
Soluții reale pozitive
Un set infinit de soluții banale în numere reale pozitive este dat de .
X=y{\ displaystyle x = y}
Soluțiile non-banale pot fi găsite prin asumarea și poziționarea . Asa de,
X≠y{\ displaystyle x \ neq y}y=vX{\ displaystyle y = vx}
(vX)X=XvX=(Xv)X.{\ displaystyle (vx) ^ {x} = x ^ {vx} = (x ^ {v}) ^ {x}.}Ridicând ambele părți la putere și împărțind la ,
1X{\ displaystyle {\ tfrac {1} {x}}}X{\ displaystyle x}
v=Xv-1.{\ displaystyle v = x ^ {v-1}.}Soluțiile non-banale în numere reale pozitive sunt
X=v1v-1,{\ displaystyle x = v ^ {\ frac {1} {v-1}},}
y=vvv-1.{\ displaystyle y = v ^ {\ frac {v} {v-1}}.}
Cu sau generează întregi soluții non-banale .
v=2{\ displaystyle v = 2}v=12{\ displaystyle v = {\ tfrac {1} {2}}}42=24{\ displaystyle 4 ^ {2} = 2 ^ {4}}
Soluțiile banale și non-banale se intersectează când . Ecuațiile de mai sus nu pot fi evaluate direct, dar putem lua limita . Acest lucru se face prin înlocuirea cu , astfel
v=1{\ displaystyle v = 1}v→1{\ displaystyle v \ to 1}v=1+1/nu{\ displaystyle v = 1 + 1 / n}nu→∞{\ displaystyle n \ to \ infty}
X=limv→1v1v-1=limnu→∞(1+1nu)nu=e.{\ displaystyle x = \ lim _ {v \ to 1} v ^ {\ frac {1} {v-1}} = \ lim _ {n \ to \ infty} \ left (1 + {\ frac {1} {n}} \ right) ^ {n} = e.}Deci, linia și curba se intersectează când x = y = e .
Referințe
-
" 21st Putnam 1960. Problema B1 " [ arhiva din30 martie 2008] ,20 octombrie 1999.
-
(în) Alvin Hausner, „ Câmpurile numerice algebrice și ecuația diofantină m n = n m ” , American Mathematical Monthly , vol. 68, nr . 9,Noiembrie 1961, p. 856-861 ( JSTOR 2311682 ).
- (ro) AM Gleason , RE Greenwood, LM Kelly (A 21-a competiție matematică William Lowell Putnam (3 decembrie 1960), sesiunea de după-amiază, problema 1), Problemele și soluțiile de concurs matematic William Lowell Putnam: 1938-1964 , Nou York, MAA ,1980, 59 p. ( ISBN 0-88385-428-7 , citit online )
- (de) Johann van Hengel, „ Beweis des Satzes, dass unter allen reellen positiven ganzen Zahlen nur das Zahlenpaar 4 und 2 für a und b der Gleichung a b = b a genügt ” , Bericht: über d. Schuljahr ... / Königliches Gymnasium zu Emmerich (1876) ,1888, p. 9-12 ( citește online )
linkuri externe
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">