Question Number 13584 by Tinkutara last updated on 21/May/17
$$\mathrm{Calculate}\:\mathrm{19}^{\mathrm{93}} \:\left(\mathrm{mod}\:\mathrm{81}\right). \\ $$
Commented by RasheedSindhi last updated on 22/May/17
$$\mathrm{Using} \\ $$$$\left(\mathrm{1}+\mathrm{x}\right)^{\mathrm{n}} \equiv\mathrm{1}+\mathrm{nx}\left(\mathrm{mod}\:\mathrm{y}\right) \\ $$$$\:\:\:\:\:\left(\mathrm{Mentioned}\:\mathrm{by}\:\mathrm{tinkutara}\:\mathrm{elsewhere}.\right) \\ $$$$\left(\mathrm{1}+\mathrm{18}\right)^{\mathrm{93}} \equiv\mathrm{1}+\mathrm{18}×\mathrm{93}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\mathrm{1675}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\mathrm{20}×\mathrm{81}+\mathrm{55}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\mathrm{55}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$
Commented by Tinkutara last updated on 22/May/17
$$\mathrm{But}\:\mathrm{it}\:\mathrm{was}\:\mathrm{my}\:\mathrm{doubt},\:\mathrm{is}\:\mathrm{it}\:\mathrm{true}\:\mathrm{in}\:\mathrm{all} \\ $$$$\mathrm{cases}\:\mathrm{even}\:\mathrm{when}\:{x}\:\mathrm{and}\:{y}\:\mathrm{have}\:\mathrm{no} \\ $$$$\mathrm{common}\:\mathrm{factor}? \\ $$
Commented by RasheedSindhi last updated on 22/May/17
$$\mathrm{I}\:\mathrm{think}\:\mathrm{it}'\mathrm{s}\:\mathrm{not}\:\mathrm{general}: \\ $$$$\left(\mathrm{1}+\mathrm{15}\right)^{\mathrm{2}} \equiv\mathrm{1}+\mathrm{2}×\mathrm{15}\left(\mathrm{mod}\:\mathrm{7}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\mathrm{31}\left(\mathrm{mod}\:\mathrm{7}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\mathrm{3}\left(\mathrm{mod}\:\mathrm{7}\right) \\ $$$$\mathrm{But}\:\:\:\mathrm{256}=\mathrm{7}×\mathrm{36}+\mathrm{4} \\ $$$$\mathrm{Here}\:\mathrm{15}\:\mathrm{and}\:\mathrm{7}\:\mathrm{are}\:\mathrm{coprime}\:\mathrm{and} \\ $$$$\mathrm{formula}\:\mathrm{doesn}'\mathrm{t}\:\mathrm{work}. \\ $$
Commented by Tinkutara last updated on 22/May/17
$$\mathrm{Then}\:\mathrm{where}\:\mathrm{it}\:\mathrm{can}\:\mathrm{be}\:\mathrm{applied}? \\ $$
Commented by mrW1 last updated on 22/May/17
$${if}\:{x}^{\mathrm{2}} \:{mod}\:{y}\:=\mathrm{0}\:{then}\:{always} \\ $$$$\left(\mathrm{1}+{x}\right)^{{n}} \:{mod}\:{y}\:=\:\left(\mathrm{1}+{nx}\right)\:{mod}\:{y} \\ $$
Commented by Tinkutara last updated on 22/May/17
$$\mathrm{But}\:\mathrm{you}\:\mathrm{have}\:\mathrm{calculated}\:\mathrm{13}^{\mathrm{99}} \:\mathrm{mod}\:\mathrm{81} \\ $$$$\equiv\:\mathrm{55}\:\mathrm{mod}\:\mathrm{81}. \\ $$$$\mathrm{13}^{\mathrm{99}} \:\mathrm{mod}\:\mathrm{81}\:=\:\left(\mathrm{1}\:+\:\mathrm{12}\right)^{\mathrm{99}} \:\mathrm{mod}\:\mathrm{81} \\ $$$$\equiv\:\left(\mathrm{1}\:+\:\mathrm{99}×\mathrm{12}\right)\:\mathrm{mod}\:\mathrm{81}\:\equiv\:\mathrm{55}\:\mathrm{mod}\:\mathrm{81} \\ $$$$\mathrm{But}\:\mathrm{here}\:\mathrm{12}^{\mathrm{2}} \:\mathrm{mod}\:\mathrm{81}\:=\:\mathrm{144}\:\mathrm{mod}\:\mathrm{81}\:\neq\:\mathrm{0} \\ $$
Commented by mrW1 last updated on 22/May/17
$${if}\:{x}^{\mathrm{2}} \:{mod}\:{y}\:=\:\mathrm{0}\:{then}\: \\ $$$$\left(\mathrm{1}+{x}\right)^{{n}} \:{mod}\:{y}\:=\:\left(\mathrm{1}+{nx}\right)\:{mod}\:{y} \\ $$$${this}\:{is}\:{always}\:{true}. \\ $$$$ \\ $$$${if}\:{x}^{\mathrm{2}} \:{mod}\:{y}\:\neq\:\mathrm{0}\:{and} \\ $$$${x}^{\mathrm{3}} \:{mod}\:{y}\:\neq\:\mathrm{0}\:{but} \\ $$$${x}^{\mathrm{4}} \:{mod}\:{y}\:=\:\mathrm{0}, \\ $$$${then}\:{you}\:{should}\:{check}\:{the}\:{terms}\:{with} \\ $$$${x}^{\mathrm{2}} \:{and}\:{x}^{\mathrm{3}} \:{separately}.\:{They}\:{may}\:{be}\:{also} \\ $$$${divisible}\:{by}\:{y},\:{but}\:{not}\:{always}. \\ $$
Commented by mrW1 last updated on 22/May/17
$$\left(\mathrm{1}+{x}\right)^{{n}} =\mathrm{1}+{nx}+\frac{{n}\left({n}−\mathrm{1}\right){x}^{\mathrm{2}} }{\mathrm{2}}+\frac{{n}\left({n}−\mathrm{1}\right)\left({n}−\mathrm{2}\right){x}^{\mathrm{3}} }{\mathrm{6}}+… \\ $$$$={A}_{\mathrm{0}} +{A}_{\mathrm{1}} +{A}_{\mathrm{2}} +{A}_{\mathrm{3}} +… \\ $$$${For}\:\left(\mathrm{1}+{x}\right)^{{n}} \:{mod}\:{y}\:=\:\left(\mathrm{1}+{nx}\right)\:{mod}\:{y} \\ $$$${it}\:{means}\:{A}_{\mathrm{2}} \:{upwards}\:{is}\:{divisible}\:{by}\:{y}. \\ $$$${The}\:{condition}\:{for}\:{this}\:{is} \\ $$$${x}^{\mathrm{2}} \:{mod}\:{y}\:=\mathrm{0} \\ $$$${or} \\ $$$$\begin{cases}{\frac{{n}\left({n}−\mathrm{1}\right){x}^{\mathrm{2}} }{\mathrm{2}}\:{mod}\:{y}\:=\mathrm{0}}\\{\left({n}−\mathrm{2}\right){x}\:{mod}\:\mathrm{3}\:=\mathrm{0}}\end{cases} \\ $$$$ \\ $$$${For}\:{example}\:\left(\mathrm{1}+\mathrm{12}\right)^{\mathrm{99}} \:{mod}\:\mathrm{162}=? \\ $$$${x}^{\mathrm{2}} =\mathrm{12}^{\mathrm{2}} =\mathrm{144}\:{mod}\:\mathrm{162}\:=\mathrm{144}\neq\mathrm{0} \\ $$$${but}\:\frac{\mathrm{99}×\mathrm{98}×\mathrm{12}^{\mathrm{2}} }{\mathrm{2}}=\mathrm{11}×\mathrm{49}×\mathrm{9}×\mathrm{12}^{\mathrm{2}} \\ $$$$=\mathrm{11}×\mathrm{49}×\mathrm{8}×\mathrm{162}\:{mod}\:\mathrm{162}=\mathrm{0} \\ $$$${and}\: \\ $$$$\left(\mathrm{99}−\mathrm{2}\right)×\mathrm{12}=\mathrm{97}×\mathrm{4}×\mathrm{3}\:{mod}\:\mathrm{3}=\mathrm{0} \\ $$$$\Rightarrow\left(\mathrm{1}+\mathrm{12}\right)^{\mathrm{99}} \:{mod}\:\mathrm{162}\:=\left(\mathrm{1}+\mathrm{99}×\mathrm{12}\right)\:{mod}\:\mathrm{162} \\ $$$$=\mathrm{1189}\:{mod}\:\mathrm{162}\:=\mathrm{55} \\ $$
Commented by Tinkutara last updated on 22/May/17
$$\mathrm{So}\:\mathrm{it}\:\mathrm{is}\:\mathrm{better}\:\mathrm{to}\:\mathrm{expand}\:\mathrm{using}\:\mathrm{binomial} \\ $$$$\mathrm{theorem}. \\ $$
Commented by mrW1 last updated on 22/May/17
$${yes}! \\ $$
Answered by ajfour last updated on 21/May/17
$$\mathrm{19}^{\mathrm{93}} =\left(\mathrm{1}+\mathrm{18}\right)^{\mathrm{93}} \\ $$$$\:\:\:\:=\mathrm{1}+^{\mathrm{93}} \mathrm{C}_{\mathrm{1}} \left(\mathrm{18}\right)+^{\mathrm{93}} \mathrm{C}_{\mathrm{2}} \left(\mathrm{18}\right)^{\mathrm{2}} +… \\ $$$$\:\:\:\:\:\:……+^{\mathrm{93}} \mathrm{C}_{\mathrm{92}} \left(\mathrm{18}\right)^{\mathrm{92}} +^{\mathrm{93}} \mathrm{C}_{\mathrm{93}} \left(\mathrm{18}\right)^{\mathrm{93}} \\ $$$$\:\:\mathrm{third}\:\mathrm{term}\:\mathrm{onwards}\:\mathrm{each}\:\mathrm{is} \\ $$$$\mathrm{divisible}\:\mathrm{by}\:\mathrm{81}, \\ $$$$\mathrm{and}\:\mathrm{1}+^{\mathrm{93}} \mathrm{C}_{\mathrm{1}} \left(\mathrm{18}\right)=\mathrm{1}+\mathrm{93}×\mathrm{18} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\:\mathrm{1675}\:=\mathrm{81}\left(\mathrm{20}\right)+\mathrm{55} \\ $$$$\mathrm{so}\:\:\:\mathrm{19}^{\mathrm{93}} \:\left(\mathrm{mod}\:\mathrm{81}\right)\:=\mathrm{55}\:. \\ $$
Commented by Tinkutara last updated on 21/May/17
$$\mathrm{Thanks}! \\ $$
Answered by RasheedSoomro last updated on 05/Jun/17
$$\:^{\mathrm{Rasheed}\:\mathrm{Sindhi}} \\ $$$$\mathrm{Since}\:\left(\mathrm{19},\mathrm{81}\right)=\mathrm{1}\:\mathrm{Euler}\:\mathrm{theorm}\:\mathrm{can}\:\mathrm{apply} \\ $$$$\:\:\mathrm{Statement}\:\mathrm{of}\:\mathrm{Euler}\:\mathrm{theorm}: \\ $$$$\bullet\mathrm{If}\:\left(\mathrm{a},\mathrm{m}\right)=\mathrm{1},\mathrm{then} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{a}^{\phi\left(\mathrm{m}\right)} \equiv\mathrm{1}\left(\mathrm{mod}\:\mathrm{m}\right) \\ $$$$\bullet\mathrm{Here}\:\phi\left(\mathrm{m}\right)\:\mathrm{is}\:\mathrm{number}\:\mathrm{of}\:\mathrm{coprimes}\:\mathrm{of}\:\mathrm{m} \\ $$$$\mathrm{which}\:\mathrm{are}\:\mathrm{not}\:\mathrm{greater}\:\mathrm{than}\:\mathrm{m} \\ $$$$\bullet\:\:\:\:\:\:\:\:\mathrm{If}\:\mathrm{m}=\mathrm{p}_{\mathrm{1}} ^{\alpha_{\mathrm{1}} } \mathrm{p}_{\mathrm{2}} ^{\alpha_{\mathrm{2}} } …..\mathrm{p}_{\mathrm{n}} ^{\alpha_{\mathrm{n}} } \\ $$$$\:\:\:\:\:\:\mathrm{then}\:\:\phi\left(\mathrm{m}\right)=\mathrm{m}\left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{p}_{\mathrm{1}} }\right)\left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{p}_{\mathrm{2}} }\right)…\left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{p}_{\mathrm{n}} }\right) \\ $$$$\mathrm{So}\:\mathrm{as}\:\mathrm{81}=\mathrm{3}^{\mathrm{4}} \\ $$$$\:\:\:\:\:\:\:\phi\left(\mathrm{81}\right)=\mathrm{81}\left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{3}}\right)=\mathrm{81}×\frac{\mathrm{2}}{\mathrm{3}}=\mathrm{54} \\ $$$$\mathrm{And}\:\mathrm{hence} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{19}^{\mathrm{54}} \equiv\mathrm{1}\left(\mathrm{mod}\:\mathrm{81}\right)………\left(\mathrm{i}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{19}^{\mathrm{5}} \equiv\mathrm{10}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\left(\:\mathrm{19}^{\mathrm{5}} \right)^{\mathrm{8}} \equiv\left(\mathrm{10}\right)^{\mathrm{8}} =\mathrm{100000000}\equiv\mathrm{73}\left(\mathrm{mod}\:\mathrm{81}\right. \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{19}^{\mathrm{40}} \equiv\mathrm{73}\left(\mathrm{mod}\:\mathrm{81}\right)………\left(\mathrm{ii}\right) \\ $$$$\left(\mathrm{i}\right)×\left(\mathrm{ii}\right):\:\:\mathrm{19}^{\mathrm{54}} ×\mathrm{19}^{\mathrm{40}} \equiv\mathrm{1}×\mathrm{73}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{19}^{\mathrm{94}} \equiv\mathrm{73}+\mathrm{81}×\mathrm{12}=\mathrm{1045}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{19}^{\mathrm{94}} /\mathrm{19}\equiv\mathrm{1045}/\mathrm{19}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{19}^{\mathrm{93}} \equiv\mathrm{55}\left(\mathrm{mod}\:\mathrm{81}\right) \\ $$