Question Number 99495 by bobhans last updated on 21/Jun/20
$$\mathrm{solve}\:\mathrm{for}\:\mathrm{x},\mathrm{y}\:\in\:\mathbb{N}\: \\ $$$$\mathrm{7}^{\mathrm{y}} +\mathrm{2}\:=\:\mathrm{3}^{\mathrm{x}} \: \\ $$
Commented by PRITHWISH SEN 2 last updated on 21/Jun/20
$$\mathrm{x}=\mathrm{1},\mathrm{y}=\mathrm{0} \\ $$
Commented by floor(10²Eta[1]) last updated on 21/Jun/20
$$ \\ $$$${go}\:{to}\:{michael}\:{penn}\:{channel}\:{on}\:{yt} \\ $$$${he}\:{made}\:{a}\:{video}\:{for}\:{that}\:\mathrm{4}\:{days}\:{ago} \\ $$
Answered by bobhans last updated on 21/Jun/20
$$\left(\mathrm{x},\mathrm{y}\right)\:=\:\begin{cases}{\left(\mathrm{1},\mathrm{0}\right)}\\{\left(\mathrm{2},\mathrm{1}\right)}\end{cases} \\ $$
Answered by 1549442205 last updated on 21/Jun/20
$$\mathrm{It}\:\mathrm{is}\:\mathrm{easy}\:\mathrm{to}\:\mathrm{check}\:\mathrm{that}\:\mathrm{for}\:\left(\mathrm{x};\mathrm{y}\right)\in\left\{\left(\mathrm{1};\mathrm{0}\right);\left(\mathrm{2};\mathrm{1}\right)\right\} \\ $$$$\mathrm{are}\:\mathrm{roots}\:\mathrm{of}\:\mathrm{given}\:\mathrm{equation}.\mathrm{Also},\:\mathrm{for}\:\mathrm{y}=\mathrm{3} \\ $$$$\nexists\mathrm{x}\in\mathbb{N}\:\mathrm{satisfying}\:\mathrm{the}\:\mathrm{given}\:\mathrm{equation}. \\ $$$$\mathrm{Now}\:\mathrm{we}\:\mathrm{prove}\:\mathrm{that}\:\mathrm{for}\:\mathrm{y}>\mathrm{3},\mathrm{y}\in\mathbb{N}\:\mathrm{the}\:\mathrm{given} \\ $$$$\mathrm{equation}\:\mathrm{has}\:\mathrm{no}\:\mathrm{solutions}.\mathrm{Indeed}, \\ $$$$\mathrm{putting}\:\mathrm{y}=\mathrm{k}+\mathrm{3}\left(\mathrm{k}\in\mathbb{N}^{\ast} \right)\mathrm{we}\:\mathrm{get} \\ $$$$\mathrm{7}^{\mathrm{3}+\mathrm{k}} +\mathrm{2}=\mathrm{3}^{\mathrm{x}} \Rightarrow\mathrm{x}>\mathrm{3}\:\mathrm{and}\:\mathrm{we}\:\mathrm{have}\: \\ $$$$\mathrm{243}.\mathrm{7}^{\mathrm{k}} −\mathrm{3}^{\mathrm{x}} =−\mathrm{2}.\mathrm{This}\:\mathrm{equation}\:\mathrm{has}\:\mathrm{no} \\ $$$$\mathrm{solutions}\:\mathrm{because}\:\mathrm{LHS}\:\mathrm{always}\:\mathrm{is}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{9} \\ $$$$\mathrm{while}\:\mathrm{RHF}\:\mathrm{isn}'\mathrm{t}\:\mathrm{divisible}\:\mathrm{by}\:\mathrm{9}.\mathrm{Hence}, \\ $$$$\mathrm{the}\:\mathrm{given}\:\mathrm{equation}\:\mathrm{has}\:\mathrm{only}\:\mathrm{roots} \\ $$$$\left(\boldsymbol{\mathrm{x}};\boldsymbol{\mathrm{y}}\right)\in\left\{\left(\mathrm{1};\mathrm{0}\right);\left(\mathrm{2};\mathrm{1}\right)\right\} \\ $$