Stel
\(\sqrt[n]m \ge \sqrt[3]3\)
en
\(\sqrt[m]n \ge \sqrt[3]3\)
Dan is
\(m^3 \ge 3^n\)
en
\(n^3 \ge 3^m\)
.
Dan is
\((mn)^3 \ge 3^{m+n}\)
en
\((mn)^{\frac32} \ge 3^{\frac{m+n}{2}} \ge 3^{\sqrt{mn}}\)
.
Logaritmen nemen geeft, met
\(mn = x > 1\)
\(\frac32 \ln(x) \ge \sqrt{x} \ln(3)\)
De functie
\(f\)
met functievoorschrift
\(f(x) = \frac32 \ln(x) - \sqrt{x} \ln(3)\)
is slechts positief voor
\(x>1\)
als
\(x = 7, 8\)
(en 0 voor
\(x=9\)
, hetgeen de oplossing
\(m=n=3\)
geeft).
De rest is een peuleschil.