Denklem xʸ = yˣ
Genel olarak, üs alma değişmeli değildir . Ancak, denklem aşağıdaki gibi özel durumlarda geçerlidir:xy=yx{\ görüntü stili x ^ {y} = y ^ {x}}x=2,y=4.{\ görüntü stili x = 2, y = 4.}
Tarih
Denklemi gelen bir mektupta belirtilen Bernoulli için Goldbach (xy=yx{\ görüntü stili x ^ {y} = y ^ {x}}29 Haziran 1728). Mektup ile olduğu iddiasını içeren tek çözümlerin doğal sayılar vardır ve içinde çözümler bir sonsuzluk var olmasına rağmen rasyonel sayılar . Goldbach'ın yanıtı (x≠y,{\ görüntü stili x \ neq y,}(2,4){\ görüntü stili (2,4)}(4,2),{\ görüntü stili (4,2),}31 Ocak 1729) yerine konulması ile elde edilen denklemin genel bir çözümünü içerir . Benzer bir çözüm Euler tarafından bulundu .
y=vx{\ görüntü stili y = vx}
J. van Hengel , pozitif tamsayılar ise o zaman olasılıkları göz önünde bulundurmanın ve tamsayı çözümleri bulmak için yeterli olduğunun altını çizdi .
r,değil{\ görüntü stili r, n}r≥3{\ displaystyle r \ geq 3}rr+değil>(r+değil)r;{\ displaystyle r ^ {r + n}> (r + n) ^ {r};}x=1{\ görüntü stili x = 1}x=2{\ görüntü stili x = 2}
Sorun bir dizi yayında ele alındı. 1960 yılında, denklem, A. Hausner'ı sonuçları cebirsel sayıların alanlarına genişletmeye teşvik eden William Lowell Putnam Yarışması'nın soruları arasındaydı .
Olumlu gerçek çözümler
Pozitif reel sayılarda sonsuz önemsiz çözümler kümesi ile verilir .
x=y{\ görüntü stili x = y}
Önemsiz çözümler, varsayarak ve poz vererek bulunabilir . Yani,
x≠y{\ görüntü stili x \ neq y}y=vx{\ görüntü stili y = vx}
(vx)x=xvx=(xv)x.{\ görüntü stili (vx) ^ {x} = x ^ {vx} = (x ^ {v}) ^ {x}.}Her iki tarafı da güce yükselterek ve bölerek ,
1x{\ görüntü stili {\ tfrac {1} {x}}}x{\ görüntü stili x}
v=xv-1.{\ displaystyle v = x ^ {v-1}.}Pozitif reel sayılarda önemsiz olmayan çözümler
x=v1v-1,{\ displaystyle x = v ^ {\ frac {1} {v-1}},}
y=vvv-1.{\ displaystyle y = v ^ {\ frac {v} {v-1}}.}
İle veya önemsiz olmayan tüm çözümleri üretir .
v=2{\ görüntü stili v = 2}v=12{\ displaystyle v = {\ tfrac {1} {2}}}42=24{\ displaystyle 4 ^ {2} = 2 ^ {4}}
Önemsiz ve önemsiz olmayan çözümler kesiştiğinde . Yukarıdaki denklemler doğrudan değerlendirilemez, ancak limitini alabiliriz . Bu, ile değiştirilerek yapılır , böylece
v=1{\ görüntü stili v = 1}v→1{\ displaystyle v \ ila 1}v=1+1/değil{\ görüntü stili v = 1 + 1 / n}değil→∞{\ displaystyle n \ ila \ infty}
x=limv→1v1v-1=limdeğil→∞(1+1değil)değil=e.{\ displaystyle x = \ lim _ {v \ to 1} v ^ {\ frac {1} {v-1}} = \ lim _ {n \ to \ infty} \ sol (1 + {\ frac {1} {n}} \ sağ) ^ {n} = e.}Yani x = y = e olduğunda doğru ve eğri kesişir .
Referanslar
-
" 21. Putnam 1960. Problem B1 " [ arşivi30 Mart 2008] ,20 Ekim 1999.
-
(in) Alvin Hausner, " Cebirsel sayı alanları ve Diophant denklemi m n = n m " , American Mathematical Monthly , cilt. 68, n o 9,Kasım 1961, s. 856-861 ( JSTOR 2311682 ).
- (tr) AM Gleason , RE Greenwood, LM Kelly (yirmi birinci William Lowell Putnam matematik yarışması (3 Aralık 1960), öğleden sonra oturumu, problem 1), William Lowell Putnam matematiksel rekabet problemleri ve çözümleri: 1938-1964 , Yeni York, MAA ,1980, 59 s. ( ISBN 0-88385-428-7 , çevrimiçi okuyun )
- (de) Johann van Hengel , “ Beweis des Satzes, dass unter allen reellen pozitif ganzen Zahlen nur das Zahlenpaar 4 und 2 für a und b der Gleichung a b = b bir genügt ” , Bericht : über d. Schuljahr ... / Königliches Gymnasium zu Emmerich (1876) ,1888, s. 9-12 ( çevrimiçi okuyun )
Dış bağlantılar
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">