Any symmetry that fixes three non-collinear points is the identity











up vote
1
down vote

favorite












I am asked to finish the following sentence:



Let $sigma$ be an isometry on $mathbb{R}^2$, suppose it fixes the points $A$ and $B$



Suppose $sigma$ also fixes a third point $C$ which is not on the line $AB$.



Complete the
following sentence: If $P$ is a fourth point in the plane which is not fixed by $sigma$,
so $sigma(P) neq P$, then $A$, $B$ and $C$ are all on the $dots$ BLANK



This is a contradiction and
so $sigma(P) = P$. Since P is arbitrary, we conclude that $sigma$ is the identity.



I am not entirely sure what the author is going for. I think what they want is to make the case that $A,B$ and $C$ are on same reflection line, but I do not see how. This would contradict $C$ not being on the line through $AB$. It just seems like the argument skips a step










share|cite|improve this question




















  • 1




    My initial instinct on reading this is that there is an error in the assignment, and "which is not on the line $AB$" should not have been there. Then you could fill "same line" into the BLANK.
    – Mees de Vries
    Nov 15 at 12:20










  • Yeah that's precisely the contradiction part.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 12:21















up vote
1
down vote

favorite












I am asked to finish the following sentence:



Let $sigma$ be an isometry on $mathbb{R}^2$, suppose it fixes the points $A$ and $B$



Suppose $sigma$ also fixes a third point $C$ which is not on the line $AB$.



Complete the
following sentence: If $P$ is a fourth point in the plane which is not fixed by $sigma$,
so $sigma(P) neq P$, then $A$, $B$ and $C$ are all on the $dots$ BLANK



This is a contradiction and
so $sigma(P) = P$. Since P is arbitrary, we conclude that $sigma$ is the identity.



I am not entirely sure what the author is going for. I think what they want is to make the case that $A,B$ and $C$ are on same reflection line, but I do not see how. This would contradict $C$ not being on the line through $AB$. It just seems like the argument skips a step










share|cite|improve this question




















  • 1




    My initial instinct on reading this is that there is an error in the assignment, and "which is not on the line $AB$" should not have been there. Then you could fill "same line" into the BLANK.
    – Mees de Vries
    Nov 15 at 12:20










  • Yeah that's precisely the contradiction part.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 12:21













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I am asked to finish the following sentence:



Let $sigma$ be an isometry on $mathbb{R}^2$, suppose it fixes the points $A$ and $B$



Suppose $sigma$ also fixes a third point $C$ which is not on the line $AB$.



Complete the
following sentence: If $P$ is a fourth point in the plane which is not fixed by $sigma$,
so $sigma(P) neq P$, then $A$, $B$ and $C$ are all on the $dots$ BLANK



This is a contradiction and
so $sigma(P) = P$. Since P is arbitrary, we conclude that $sigma$ is the identity.



I am not entirely sure what the author is going for. I think what they want is to make the case that $A,B$ and $C$ are on same reflection line, but I do not see how. This would contradict $C$ not being on the line through $AB$. It just seems like the argument skips a step










share|cite|improve this question















I am asked to finish the following sentence:



Let $sigma$ be an isometry on $mathbb{R}^2$, suppose it fixes the points $A$ and $B$



Suppose $sigma$ also fixes a third point $C$ which is not on the line $AB$.



Complete the
following sentence: If $P$ is a fourth point in the plane which is not fixed by $sigma$,
so $sigma(P) neq P$, then $A$, $B$ and $C$ are all on the $dots$ BLANK



This is a contradiction and
so $sigma(P) = P$. Since P is arbitrary, we conclude that $sigma$ is the identity.



I am not entirely sure what the author is going for. I think what they want is to make the case that $A,B$ and $C$ are on same reflection line, but I do not see how. This would contradict $C$ not being on the line through $AB$. It just seems like the argument skips a step







geometry euclidean-geometry isometry






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 15 at 11:42

























asked Nov 15 at 11:25









WesleyGroupshaveFeelingsToo

1,055321




1,055321








  • 1




    My initial instinct on reading this is that there is an error in the assignment, and "which is not on the line $AB$" should not have been there. Then you could fill "same line" into the BLANK.
    – Mees de Vries
    Nov 15 at 12:20










  • Yeah that's precisely the contradiction part.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 12:21














  • 1




    My initial instinct on reading this is that there is an error in the assignment, and "which is not on the line $AB$" should not have been there. Then you could fill "same line" into the BLANK.
    – Mees de Vries
    Nov 15 at 12:20










  • Yeah that's precisely the contradiction part.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 12:21








1




1




My initial instinct on reading this is that there is an error in the assignment, and "which is not on the line $AB$" should not have been there. Then you could fill "same line" into the BLANK.
– Mees de Vries
Nov 15 at 12:20




My initial instinct on reading this is that there is an error in the assignment, and "which is not on the line $AB$" should not have been there. Then you could fill "same line" into the BLANK.
– Mees de Vries
Nov 15 at 12:20












Yeah that's precisely the contradiction part.
– WesleyGroupshaveFeelingsToo
Nov 15 at 12:21




Yeah that's precisely the contradiction part.
– WesleyGroupshaveFeelingsToo
Nov 15 at 12:21










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










You are correct, the term for the blank space would be bisection of the segment $P, sigma(P)$, since $d(P,X)=d(sigma(P), X)$ for each $Xin{A, B, C}$.



And it is indeed a contradiction, as the next line says, and that finishes the proof.






share|cite|improve this answer





















  • Thank you, I had trouble finding the right word for it too. How considerate of you.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 11:48











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: 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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999574%2fany-symmetry-that-fixes-three-non-collinear-points-is-the-identity%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote



accepted










You are correct, the term for the blank space would be bisection of the segment $P, sigma(P)$, since $d(P,X)=d(sigma(P), X)$ for each $Xin{A, B, C}$.



And it is indeed a contradiction, as the next line says, and that finishes the proof.






share|cite|improve this answer





















  • Thank you, I had trouble finding the right word for it too. How considerate of you.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 11:48















up vote
0
down vote



accepted










You are correct, the term for the blank space would be bisection of the segment $P, sigma(P)$, since $d(P,X)=d(sigma(P), X)$ for each $Xin{A, B, C}$.



And it is indeed a contradiction, as the next line says, and that finishes the proof.






share|cite|improve this answer





















  • Thank you, I had trouble finding the right word for it too. How considerate of you.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 11:48













up vote
0
down vote



accepted







up vote
0
down vote



accepted






You are correct, the term for the blank space would be bisection of the segment $P, sigma(P)$, since $d(P,X)=d(sigma(P), X)$ for each $Xin{A, B, C}$.



And it is indeed a contradiction, as the next line says, and that finishes the proof.






share|cite|improve this answer












You are correct, the term for the blank space would be bisection of the segment $P, sigma(P)$, since $d(P,X)=d(sigma(P), X)$ for each $Xin{A, B, C}$.



And it is indeed a contradiction, as the next line says, and that finishes the proof.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 15 at 11:44









Berci

59.1k23671




59.1k23671












  • Thank you, I had trouble finding the right word for it too. How considerate of you.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 11:48


















  • Thank you, I had trouble finding the right word for it too. How considerate of you.
    – WesleyGroupshaveFeelingsToo
    Nov 15 at 11:48
















Thank you, I had trouble finding the right word for it too. How considerate of you.
– WesleyGroupshaveFeelingsToo
Nov 15 at 11:48




Thank you, I had trouble finding the right word for it too. How considerate of you.
– WesleyGroupshaveFeelingsToo
Nov 15 at 11:48


















draft saved

draft discarded




















































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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999574%2fany-symmetry-that-fixes-three-non-collinear-points-is-the-identity%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?