Welcome to our community

Be a part of something great, join today!

Product of two integers

  • Thread starter
  • Admin
  • #1

anemone

MHB POTW Director
Staff member
Feb 14, 2012
3,756
Prove that $\large 3^{4^5}+4^{5^6}$ is the product of two integers, each at least $\large 10^{2009}$.
 

Albert

Well-known member
Jan 25, 2013
1,225
Prove that $\large 3^{4^5}+4^{5^6}$ is the product of two integers, each at least $\large 10^{2009}$.

$\large 3^{4^5}=3^{1024}$
$\large 4^{5^6}=4^{15625}=(3+1)^{1024}\times 4^{14601}$
using binomial expansion the first part is done
 
Last edited:

soroban

Well-known member
Feb 2, 2012
409
Hello, albert!

Prove that $3^{4^5}+4^{5^6}$ is the product of two integers,
each at least $\large 10^{2009}$.

You are misreading the exponents.

In an exponential "stack",
. . we read from the top down.

. . [tex]3^{4^5} \;=\;3^{1024}[/tex]

. . [tex]4^{5^6} \;=\;4^{15,625}[/tex]


However: .[tex](3^4)^5 \;=\;8^4\:\text{ and }\: (4^5)^6 \:=\:1024^6[/tex]
 

Albert

Well-known member
Jan 25, 2013
1,225
thanks soroban , in a haste I made a mistake in misreading the exponent :eek:

now the solution is as follows :


$(3^{512})^2+(2^{15625})^2---(1)$
let $a=3^{512}, b=2^{15625}$
(1) becomes $(a+b)^2 -2ab=(a+b)^2 -[(3^{256}\times 2^{7813})]^2=(x+y)(x-y)$
$here \,\, x=a+b, y=(3^{256}\times 2^{7813}) $
the rest is easy:
we only have to compare x-y and $10^{2009}$(compare digit numbers of both values)
I only count them roughly
$15625\times log 2>15625\times 0.3>4687>2009$
$256\times log 3+7813\times log 2>102+2343$
4687-102-2343=2242>2009
$\therefore x-y >10^{2009}$
and the proof is finished
 
Last edited:
  • Thread starter
  • Admin
  • #5

anemone

MHB POTW Director
Staff member
Feb 14, 2012
3,756
Hello, albert!


You are misreading the exponents.

In an exponential "stack",
. . we read from the top down.

. . [tex]3^{4^5} \;=\;3^{1024}[/tex]

. . [tex]4^{5^6} \;=\;4^{15,625}[/tex]


However: .[tex](3^4)^5 \;=\;8^4\:\text{ and }\: (4^5)^6 \:=\:1024^6[/tex]
Hi soroban,

Thanks for helping me to let Albert know that a misreading has occurred and that he has the chance to fix things right.:)

thanks soroban , in a haste I made a mistake in misreading the exponent :eek:

now the solution is as follows :


$(3^{512})^2+(2^{15625})^2---(1)$
let $a=3^{512}, b=2^{15625}$
(1) becomes $(a+b)^2 -2ab=(a+b)^2 -[(3^{256}\times 2^{7813})]^2=(x+y)(x-y)$
$here \,\, x=a+b, y=(3^{256}\times 2^{7813}) $
the rest is easy:
we only have to compare x-y and $10^{2009}$(compare digit numbers of both values)
I only count them roughly
$15625\times log 2>15625\times 0.3>4687>2009$
$256\times log 3+7813\times log 2>102+2343$
4687-102-2343=2242>2009
$\therefore x-y >10^{2009}$
and the proof is finished
Thanks Albert for participating and your solution as well!

Suggested solution by Pedro and Alex:

Let $m=3^{256}$ and $k=4^{3906}$. Then

$\begin{align*}\large 3^{4^5}+4^{5^6}&=m^4+4k^4\\&=(m^4+4m^2k^2+4k^4)-4m^2k^2\\&=(m^2+2mk+2k^2)(m^2-2mk+2k^2)\end{align*}$

Notice that $m^2+2mk+2k^2>m^2-2mk+2k^2>2k^2-2mk=2k(k-m)>k>2^{7800}>(10^3)^{780}>10^{2009}$.

The result is then follows.