Factoring $2^b-1$ out from $(1+2^a+…+2^(b-1)a)$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
1












It is well known that $2^ab-1=(2^a-1)(1+2^a+...+2^(b-1)a)=(2^b-1)(1+2^b+...+2^(a-1)b)$. Assuming $gcd(2^a-1,2^b-1)=1$, we see $2^b-1|(1+2^a+...+2^(b-1)a)$.
My question is simply how to factor out the factor $2^b-1$ from this expression.







share|cite|improve this question
















  • 1




    Try a few concrete cases first, like $a=2,b=3$, and $a=2,b=5$, and $a=3,b=4$, and $a=3,b=5$. See if you can spot some immediate pattern. If you swap $2$ with $x$, then this wikipedia article might help you identify the factors which appear.
    – Arthur
    Aug 18 at 4:34















up vote
3
down vote

favorite
1












It is well known that $2^ab-1=(2^a-1)(1+2^a+...+2^(b-1)a)=(2^b-1)(1+2^b+...+2^(a-1)b)$. Assuming $gcd(2^a-1,2^b-1)=1$, we see $2^b-1|(1+2^a+...+2^(b-1)a)$.
My question is simply how to factor out the factor $2^b-1$ from this expression.







share|cite|improve this question
















  • 1




    Try a few concrete cases first, like $a=2,b=3$, and $a=2,b=5$, and $a=3,b=4$, and $a=3,b=5$. See if you can spot some immediate pattern. If you swap $2$ with $x$, then this wikipedia article might help you identify the factors which appear.
    – Arthur
    Aug 18 at 4:34













up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





It is well known that $2^ab-1=(2^a-1)(1+2^a+...+2^(b-1)a)=(2^b-1)(1+2^b+...+2^(a-1)b)$. Assuming $gcd(2^a-1,2^b-1)=1$, we see $2^b-1|(1+2^a+...+2^(b-1)a)$.
My question is simply how to factor out the factor $2^b-1$ from this expression.







share|cite|improve this question












It is well known that $2^ab-1=(2^a-1)(1+2^a+...+2^(b-1)a)=(2^b-1)(1+2^b+...+2^(a-1)b)$. Assuming $gcd(2^a-1,2^b-1)=1$, we see $2^b-1|(1+2^a+...+2^(b-1)a)$.
My question is simply how to factor out the factor $2^b-1$ from this expression.









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 18 at 4:17









Tejas Rao

265




265







  • 1




    Try a few concrete cases first, like $a=2,b=3$, and $a=2,b=5$, and $a=3,b=4$, and $a=3,b=5$. See if you can spot some immediate pattern. If you swap $2$ with $x$, then this wikipedia article might help you identify the factors which appear.
    – Arthur
    Aug 18 at 4:34













  • 1




    Try a few concrete cases first, like $a=2,b=3$, and $a=2,b=5$, and $a=3,b=4$, and $a=3,b=5$. See if you can spot some immediate pattern. If you swap $2$ with $x$, then this wikipedia article might help you identify the factors which appear.
    – Arthur
    Aug 18 at 4:34








1




1




Try a few concrete cases first, like $a=2,b=3$, and $a=2,b=5$, and $a=3,b=4$, and $a=3,b=5$. See if you can spot some immediate pattern. If you swap $2$ with $x$, then this wikipedia article might help you identify the factors which appear.
– Arthur
Aug 18 at 4:34





Try a few concrete cases first, like $a=2,b=3$, and $a=2,b=5$, and $a=3,b=4$, and $a=3,b=5$. See if you can spot some immediate pattern. If you swap $2$ with $x$, then this wikipedia article might help you identify the factors which appear.
– Arthur
Aug 18 at 4:34
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2886415%2ffactoring-2b-1-out-from-12a-2b-1a%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2886415%2ffactoring-2b-1-out-from-12a-2b-1a%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?