X^X−N^X=Mを満たす解析的に表せる無理数Xの例|指数方程式の作り方を解説

大学数学

指数を含む方程式「X^X−N^X=M」において、Xが無理数であり、さらに整数やe、πなどから有限回の四則演算・指数・対数操作で表現できる例を考えることは、指数関数の性質を理解するうえで興味深い問題です。

一見するとXを先に決めてからNやMを探す必要があるように思えますが、実際には式を変形して条件を満たすようにNやMを選ぶことで具体例を構成できます。この記事では、その考え方と具体的な例を紹介します。

指数方程式X^X−N^X=Mを考える基本的な考え方

与えられた式は、

X^X−N^X=M

という形をしています。ここでNとMは0ではない整数、Xは無理数です。

通常の方程式では、整数NやMが決められていてXを求めます。しかし今回のような問題では、Xの形に条件があるため、先に扱いやすい無理数Xを選び、その後でNやMを決定する方法が有効です。

つまり、「このようなXが存在するか」ではなく、「条件を満たすXを作り、その値から整数N,Mを得られるか」を考えます。

最も簡単な構成方法はXを平方根などの無理数にすること

解析的に表現できる無理数として、例えば√2があります。√2は整数から有限回の四則演算や平方根によって表せる代表的な無理数です。

ここでX=√2と置くと、式は、

(√2)^(√2)−N^(√2)=M

となります。

ただし、この場合は一般にNを整数として選んでも差が整数になる保証がありません。そのため、単純にXを選ぶだけではなく、整数Mが得られるようなNを探す必要があります。

整数Mを作るためにXを工夫する方法

より確実な方法は、指数部分が整数になるような無理数を利用することです。

例えば、

X=log₂3

を考えます。これは無理数であり、整数2と3から対数によって解析的に表現できます。

このとき、

2^X=3

が成立します。

したがって、N=2とすると、

N^X=2^X=3

となります。

問題はX^Xの部分ですが、Xをさらに調整することでX^Xが整数になる例を構成できます。

X^Xが整数になる無理数の例

有名な例として、

X=√2

について考えます。

√2の√2乗は、

(√2)^√2

となりますが、これは整数ではありません。

一方、ゲルフォン・シュナイダーの定理により、代数的無理数を底とし、代数的無理数を指数とする場合、特定の条件では超越数になることが知られています。そのため、単純な代数的無理数では整数化は難しいことが分かります。

そこで、逆向きに考えて、X^Xが整数になるようにXを定義します。

例えば、

X^X=2

を満たすXを考えると、

X=e^{W(log2)}

のようにランベルトW関数を使って表現できます。このXは無理数であり、解析的な表示が可能です。

具体的な構成例

X^X=2となる正の解をXとします。このときN=1を選ぶと、

N^X=1^X=1

になります。

したがって、

X^X−N^X=2−1=1

となります。

つまり、

N=1、M=1

とすれば、

X^X−1^X=1

を満たす無理数Xが存在します。

ただし、質問の条件ではNは0でない整数なのでN=1は条件を満たしています。

この例で使われているXの解析的表現について

X^X=2を解くためには、対数を取って、

X log X=log2

とします。

ここでy=logXと置くと、X=e^yなので、

ye^y=log2

になります。

これはランベルトW関数を用いて、

y=W(log2)

と書けます。

したがって、

X=e^{W(log2)}

となり、整数や指数、対数、特殊関数を含む解析的な表現として記述できます。

まとめ|指数方程式はXを先に設計すると解を作れる

X^X−N^X=Mという形の式では、決められた整数から無理数Xを探すよりも、条件を満たすXを先に構成してからNやMを選ぶ方が考えやすくなります。

例えば、X^X=2を満たす無理数Xを利用すると、N=1、M=1によって、

X^X−1^X=1

という条件を満たす具体例を作ることができます。

このような問題では、通常の方程式の解法だけではなく、指数関数や対数関数を逆向きに利用して数を設計する発想が重要になります。

コメント

タイトルとURLをコピーしました