Euclidean division? ( $16=5cdot 3+1$ vs $16=3cdot 5+1$)
$begingroup$
Is the equality
$16=5cdot 3+1$
the euclidean division of $16$ by $3$ or not ?
This question is a point of discord between teachers where some them state that the divisor must be written in the first position (in this example, one has to write
$16=3cdot 5+1$ i.e must write the divisor first then the quotient).
What do you think ?
notation arithmetic euclidean-algorithm
$endgroup$
add a comment |
$begingroup$
Is the equality
$16=5cdot 3+1$
the euclidean division of $16$ by $3$ or not ?
This question is a point of discord between teachers where some them state that the divisor must be written in the first position (in this example, one has to write
$16=3cdot 5+1$ i.e must write the divisor first then the quotient).
What do you think ?
notation arithmetic euclidean-algorithm
$endgroup$
$begingroup$
is that a question on notation specifically? if so, add notation tag
$endgroup$
– gt6989b
Jan 17 at 15:32
$begingroup$
@gt6988b yes but I can't edit my post.
$endgroup$
– Profahk
Jan 17 at 15:38
add a comment |
$begingroup$
Is the equality
$16=5cdot 3+1$
the euclidean division of $16$ by $3$ or not ?
This question is a point of discord between teachers where some them state that the divisor must be written in the first position (in this example, one has to write
$16=3cdot 5+1$ i.e must write the divisor first then the quotient).
What do you think ?
notation arithmetic euclidean-algorithm
$endgroup$
Is the equality
$16=5cdot 3+1$
the euclidean division of $16$ by $3$ or not ?
This question is a point of discord between teachers where some them state that the divisor must be written in the first position (in this example, one has to write
$16=3cdot 5+1$ i.e must write the divisor first then the quotient).
What do you think ?
notation arithmetic euclidean-algorithm
notation arithmetic euclidean-algorithm
edited Jan 17 at 16:00
gt6989b
34.3k22455
34.3k22455
asked Jan 17 at 15:27
ProfahkProfahk
92
92
$begingroup$
is that a question on notation specifically? if so, add notation tag
$endgroup$
– gt6989b
Jan 17 at 15:32
$begingroup$
@gt6988b yes but I can't edit my post.
$endgroup$
– Profahk
Jan 17 at 15:38
add a comment |
$begingroup$
is that a question on notation specifically? if so, add notation tag
$endgroup$
– gt6989b
Jan 17 at 15:32
$begingroup$
@gt6988b yes but I can't edit my post.
$endgroup$
– Profahk
Jan 17 at 15:38
$begingroup$
is that a question on notation specifically? if so, add notation tag
$endgroup$
– gt6989b
Jan 17 at 15:32
$begingroup$
is that a question on notation specifically? if so, add notation tag
$endgroup$
– gt6989b
Jan 17 at 15:32
$begingroup$
@gt6988b yes but I can't edit my post.
$endgroup$
– Profahk
Jan 17 at 15:38
$begingroup$
@gt6988b yes but I can't edit my post.
$endgroup$
– Profahk
Jan 17 at 15:38
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
$ 16 = 5times 3 + 1$ could arise from dividing $16$ by $5$ or by $3$. Without any further context there is no way to determine if $5$ or $3$ is the intended divisor.
Though - as you mention - one could impose syntactic conventions that imply which is the intended divisor, this is usually not a good idea, since it violates referential transparency, i.e. replacing an expression with an equivalent expression should not change its meaning. But if we replace $3^2$ by $3times 3$ in $,37 = 3^2times 4 + 1$ then it changes the divisor from $9$ to $3$ (using your convention that the first factor is the divisor).
Further, conventions that force one to use specific commutations / associations of products may lead to increased complexity, e.g. instead of writing $, f(x) = (x^2+x+1)^n g(x) + 1$ we would be forced to instead write $,f(x) = (x^2+x+1)(x^2+x+1)^{n-1}g(x) + 1$ to denote that $,x^2+x+1,$ is the intended divisor.
As such, it is generally better to avoid such conventions and instead explicitly state the divisor.
$endgroup$
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
add a comment |
$begingroup$
The answer is neither yes nor no. “Euclidean division” is a concept, not an arithmetic expression. The quotient of the Euclidean division of $16$ by $5$ is $3$ and the remainder is $1$. You can prove it by any of the equalities $16=3times5+1$ or $16=5times3+1$ (they are equivalent, of course), but, again, none of them is the Euclidean division.
$endgroup$
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
add a comment |
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3077115%2feuclidean-division-16-5-cdot-31-vs-16-3-cdot-51%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$ 16 = 5times 3 + 1$ could arise from dividing $16$ by $5$ or by $3$. Without any further context there is no way to determine if $5$ or $3$ is the intended divisor.
Though - as you mention - one could impose syntactic conventions that imply which is the intended divisor, this is usually not a good idea, since it violates referential transparency, i.e. replacing an expression with an equivalent expression should not change its meaning. But if we replace $3^2$ by $3times 3$ in $,37 = 3^2times 4 + 1$ then it changes the divisor from $9$ to $3$ (using your convention that the first factor is the divisor).
Further, conventions that force one to use specific commutations / associations of products may lead to increased complexity, e.g. instead of writing $, f(x) = (x^2+x+1)^n g(x) + 1$ we would be forced to instead write $,f(x) = (x^2+x+1)(x^2+x+1)^{n-1}g(x) + 1$ to denote that $,x^2+x+1,$ is the intended divisor.
As such, it is generally better to avoid such conventions and instead explicitly state the divisor.
$endgroup$
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
add a comment |
$begingroup$
$ 16 = 5times 3 + 1$ could arise from dividing $16$ by $5$ or by $3$. Without any further context there is no way to determine if $5$ or $3$ is the intended divisor.
Though - as you mention - one could impose syntactic conventions that imply which is the intended divisor, this is usually not a good idea, since it violates referential transparency, i.e. replacing an expression with an equivalent expression should not change its meaning. But if we replace $3^2$ by $3times 3$ in $,37 = 3^2times 4 + 1$ then it changes the divisor from $9$ to $3$ (using your convention that the first factor is the divisor).
Further, conventions that force one to use specific commutations / associations of products may lead to increased complexity, e.g. instead of writing $, f(x) = (x^2+x+1)^n g(x) + 1$ we would be forced to instead write $,f(x) = (x^2+x+1)(x^2+x+1)^{n-1}g(x) + 1$ to denote that $,x^2+x+1,$ is the intended divisor.
As such, it is generally better to avoid such conventions and instead explicitly state the divisor.
$endgroup$
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
add a comment |
$begingroup$
$ 16 = 5times 3 + 1$ could arise from dividing $16$ by $5$ or by $3$. Without any further context there is no way to determine if $5$ or $3$ is the intended divisor.
Though - as you mention - one could impose syntactic conventions that imply which is the intended divisor, this is usually not a good idea, since it violates referential transparency, i.e. replacing an expression with an equivalent expression should not change its meaning. But if we replace $3^2$ by $3times 3$ in $,37 = 3^2times 4 + 1$ then it changes the divisor from $9$ to $3$ (using your convention that the first factor is the divisor).
Further, conventions that force one to use specific commutations / associations of products may lead to increased complexity, e.g. instead of writing $, f(x) = (x^2+x+1)^n g(x) + 1$ we would be forced to instead write $,f(x) = (x^2+x+1)(x^2+x+1)^{n-1}g(x) + 1$ to denote that $,x^2+x+1,$ is the intended divisor.
As such, it is generally better to avoid such conventions and instead explicitly state the divisor.
$endgroup$
$ 16 = 5times 3 + 1$ could arise from dividing $16$ by $5$ or by $3$. Without any further context there is no way to determine if $5$ or $3$ is the intended divisor.
Though - as you mention - one could impose syntactic conventions that imply which is the intended divisor, this is usually not a good idea, since it violates referential transparency, i.e. replacing an expression with an equivalent expression should not change its meaning. But if we replace $3^2$ by $3times 3$ in $,37 = 3^2times 4 + 1$ then it changes the divisor from $9$ to $3$ (using your convention that the first factor is the divisor).
Further, conventions that force one to use specific commutations / associations of products may lead to increased complexity, e.g. instead of writing $, f(x) = (x^2+x+1)^n g(x) + 1$ we would be forced to instead write $,f(x) = (x^2+x+1)(x^2+x+1)^{n-1}g(x) + 1$ to denote that $,x^2+x+1,$ is the intended divisor.
As such, it is generally better to avoid such conventions and instead explicitly state the divisor.
edited Jan 17 at 16:45
answered Jan 17 at 16:18
Bill DubuqueBill Dubuque
211k29193647
211k29193647
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
add a comment |
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
$begingroup$
Thank You.Do you have any reference (book, website,...) that I can convince my colleagues ?
$endgroup$
– Profahk
Jan 17 at 17:43
add a comment |
$begingroup$
The answer is neither yes nor no. “Euclidean division” is a concept, not an arithmetic expression. The quotient of the Euclidean division of $16$ by $5$ is $3$ and the remainder is $1$. You can prove it by any of the equalities $16=3times5+1$ or $16=5times3+1$ (they are equivalent, of course), but, again, none of them is the Euclidean division.
$endgroup$
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
add a comment |
$begingroup$
The answer is neither yes nor no. “Euclidean division” is a concept, not an arithmetic expression. The quotient of the Euclidean division of $16$ by $5$ is $3$ and the remainder is $1$. You can prove it by any of the equalities $16=3times5+1$ or $16=5times3+1$ (they are equivalent, of course), but, again, none of them is the Euclidean division.
$endgroup$
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
add a comment |
$begingroup$
The answer is neither yes nor no. “Euclidean division” is a concept, not an arithmetic expression. The quotient of the Euclidean division of $16$ by $5$ is $3$ and the remainder is $1$. You can prove it by any of the equalities $16=3times5+1$ or $16=5times3+1$ (they are equivalent, of course), but, again, none of them is the Euclidean division.
$endgroup$
The answer is neither yes nor no. “Euclidean division” is a concept, not an arithmetic expression. The quotient of the Euclidean division of $16$ by $5$ is $3$ and the remainder is $1$. You can prove it by any of the equalities $16=3times5+1$ or $16=5times3+1$ (they are equivalent, of course), but, again, none of them is the Euclidean division.
edited Jan 17 at 16:03
J. W. Tanner
2,4581117
2,4581117
answered Jan 17 at 15:32
José Carlos SantosJosé Carlos Santos
163k22131234
163k22131234
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
add a comment |
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
But we can write an equality to express an Euclidean division ?
$endgroup$
– Profahk
Jan 17 at 15:41
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
Both equalities $16=3times5+1$ and $16=5times3+1$ explain why is it that the quotient is $5$ and the remainder is $1$. But none of them is the Euclidean division.
$endgroup$
– José Carlos Santos
Jan 17 at 15:43
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I agree that both of them explain why the quotient is 5 and the remainder 1.
$endgroup$
– Profahk
Jan 17 at 15:46
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
$begingroup$
I think I'm misunderstood.
$endgroup$
– Profahk
Jan 17 at 15:47
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3077115%2feuclidean-division-16-5-cdot-31-vs-16-3-cdot-51%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
is that a question on notation specifically? if so, add notation tag
$endgroup$
– gt6989b
Jan 17 at 15:32
$begingroup$
@gt6988b yes but I can't edit my post.
$endgroup$
– Profahk
Jan 17 at 15:38