Timeline for How to prove that this equation has only one solution?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 17, 2015 at 20:50 | comment | added | Anthony Quas | @Gottfried: Yes exactly. Thanks for the correction. | |
| Jul 17, 2015 at 20:33 | comment | added | Gottfried Helms | @Anthony : didn't the argument of Rhin actually mean, that the approximation of the sum of logarithms to the nearest integer is actually bad instead of good so instead of "$\le$" in your formula you needed "$\ge$" ? (I don't have access to Rhin's paper, it seems just logical to me; also I found in a paper of J. Simons/B.de Weger the argument $ (K+l) \log2 - K \log3 \gt e^{-13.3(0.46057+ \log K)} \qquad $ with the reference to Rhin's result. ) | |
| Jun 25, 2015 at 11:46 | comment | added | Anthony Quas | Georges Rhin has a paper where he computes an explicit irrationality measure for $\log 2/\log 3$. He shows that $|a\log 2+b\log 3+c|\le \max(|a|,|b|,|c|)^{-13.3}$. That should make a very small search indeed. | |
| Jun 25, 2015 at 11:16 | history | answered | Jan-Christoph Schlage-Puchta | CC BY-SA 3.0 |