19
$\begingroup$

I found this problem on Math.SE:

Prove that $\log_35+\log_25$ is irrational.

https://math.stackexchange.com/q/986227/173397.

I labored on it for a few days, and couldn't find an algebraic solution- I'm not even sure if such a solution exists. All I was able to do was prove that both components were irrational by themselves (as opposed to their sum). I am wondering if anyone has seen this problem before, and/or if anyone knows a solution. If so, I could really use a hint.

So far, using the Fundamental Theorem of Arithmetic (i.e., all integers have a unique prime factorization) hasn't helped me the way one would use it to show that the individual components are irrational.

Thank you in advance.

Improve this question
$\endgroup$
6
  • $\begingroup$ To make this question more self contained, I would recommend giving the number itself. $\endgroup$
    – Joonas Ilmavirta
    Commented Oct 27, 2014 at 20:43
  • $\begingroup$ Will do. Editing it now. $\endgroup$
    – daOnlyBG
    Commented Oct 27, 2014 at 20:43
  • 3
    $\begingroup$ One would expect this sum to be transcendental, but even proving irrationality of the sum of two given transcendental numbers tends to be hard. $\endgroup$
    – Stefan Kohl ♦
    Commented Oct 27, 2014 at 21:19
  • 7
    $\begingroup$ Incidentally, Schanuel's conjecture would imply that this number is transcendental. $\endgroup$
    – Henry Cohn
    Commented Oct 27, 2014 at 21:23
  • 1
    $\begingroup$ This won't help much, but you can rewrite the number as $(\log5\log6)/(\log2\log3)$. $\endgroup$
    – Gerry Myerson
    Commented Oct 28, 2014 at 5:40

1 Answer 1

Reset to default
8
$\begingroup$

To resonate with Henry Cohn's comment, Schanuel's conjecture implies that the natural logarithms of the primes are algebraically independent over $\mathbb{Q}$. In particular, the statement in the original post is probably true, but proving it might be out of reach at the moment.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .