Show that these 3 projective lines intersect on the same point
$begingroup$
I'm stuck with the following problem of projective geometry from an assignment:
Let $P_1$, $P_2$, $P_3$ and $Q$ be four points in the projective plane (over an algebraically closed field) such that any 3 of them are not collinear. Define
$Q_1=overline{P_1Q}capoverline{P_2P_3}$, $Q_2=overline{P_2Q}capoverline{P_1P_3}$ and
$Q_3=overline{P_3Q}capoverline{P_1P_2}$. Now, let $R$ be another point not contained on the lines $overline{P_1P_2}$, $overline{P_1P_3}$ and $overline{P_2P_3}$ and define $R_1$, $R_2$ and $R_3$ the same way as above.
Let $alpha_1$ be the only automorphism of the line $overline{P_2P_3}$ such that $alpha_1(Q_1)=Q_1$, $alpha_1(P_2)=P_3$ and $alpha_1(P_3)=P_2$. Define $S_1=alpha_1(R_1)$. Similarly, define $S_2$ and $S_3$. Show that the lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$ intersect in the same point.
Since the statement is a bit messy, I tried to make a figure to help understanding it (which is also a bit messy):
I'm trying to use cross-ratio to show that the points $overline{P_1S_1}capoverline{P_2S_2}$ and $overline{P_2S_2}capoverline{P_3S_3}$ are equal: I would express the cross-ratio between one of this points and 3 other (fixed) points of the line $overline{P_2S_2}$ and, using the invariance properties of the cross-ratio, express it in terms of the other know points mentioned above, to show that the cross-ratio between the other point and the 3 fixed points are the same. But none of my attempts of finding adequate central projections helped me with that, the cross-ratios obtained would always involve "strange points" for which I don't know anything (i.e. points other than those mentioned above).
Could someone please help me with a hint (not a full solution, since it's an assignment)? Thanks!
algebraic-curves projective-geometry
$endgroup$
add a comment |
$begingroup$
I'm stuck with the following problem of projective geometry from an assignment:
Let $P_1$, $P_2$, $P_3$ and $Q$ be four points in the projective plane (over an algebraically closed field) such that any 3 of them are not collinear. Define
$Q_1=overline{P_1Q}capoverline{P_2P_3}$, $Q_2=overline{P_2Q}capoverline{P_1P_3}$ and
$Q_3=overline{P_3Q}capoverline{P_1P_2}$. Now, let $R$ be another point not contained on the lines $overline{P_1P_2}$, $overline{P_1P_3}$ and $overline{P_2P_3}$ and define $R_1$, $R_2$ and $R_3$ the same way as above.
Let $alpha_1$ be the only automorphism of the line $overline{P_2P_3}$ such that $alpha_1(Q_1)=Q_1$, $alpha_1(P_2)=P_3$ and $alpha_1(P_3)=P_2$. Define $S_1=alpha_1(R_1)$. Similarly, define $S_2$ and $S_3$. Show that the lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$ intersect in the same point.
Since the statement is a bit messy, I tried to make a figure to help understanding it (which is also a bit messy):
I'm trying to use cross-ratio to show that the points $overline{P_1S_1}capoverline{P_2S_2}$ and $overline{P_2S_2}capoverline{P_3S_3}$ are equal: I would express the cross-ratio between one of this points and 3 other (fixed) points of the line $overline{P_2S_2}$ and, using the invariance properties of the cross-ratio, express it in terms of the other know points mentioned above, to show that the cross-ratio between the other point and the 3 fixed points are the same. But none of my attempts of finding adequate central projections helped me with that, the cross-ratios obtained would always involve "strange points" for which I don't know anything (i.e. points other than those mentioned above).
Could someone please help me with a hint (not a full solution, since it's an assignment)? Thanks!
algebraic-curves projective-geometry
$endgroup$
add a comment |
$begingroup$
I'm stuck with the following problem of projective geometry from an assignment:
Let $P_1$, $P_2$, $P_3$ and $Q$ be four points in the projective plane (over an algebraically closed field) such that any 3 of them are not collinear. Define
$Q_1=overline{P_1Q}capoverline{P_2P_3}$, $Q_2=overline{P_2Q}capoverline{P_1P_3}$ and
$Q_3=overline{P_3Q}capoverline{P_1P_2}$. Now, let $R$ be another point not contained on the lines $overline{P_1P_2}$, $overline{P_1P_3}$ and $overline{P_2P_3}$ and define $R_1$, $R_2$ and $R_3$ the same way as above.
Let $alpha_1$ be the only automorphism of the line $overline{P_2P_3}$ such that $alpha_1(Q_1)=Q_1$, $alpha_1(P_2)=P_3$ and $alpha_1(P_3)=P_2$. Define $S_1=alpha_1(R_1)$. Similarly, define $S_2$ and $S_3$. Show that the lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$ intersect in the same point.
Since the statement is a bit messy, I tried to make a figure to help understanding it (which is also a bit messy):
I'm trying to use cross-ratio to show that the points $overline{P_1S_1}capoverline{P_2S_2}$ and $overline{P_2S_2}capoverline{P_3S_3}$ are equal: I would express the cross-ratio between one of this points and 3 other (fixed) points of the line $overline{P_2S_2}$ and, using the invariance properties of the cross-ratio, express it in terms of the other know points mentioned above, to show that the cross-ratio between the other point and the 3 fixed points are the same. But none of my attempts of finding adequate central projections helped me with that, the cross-ratios obtained would always involve "strange points" for which I don't know anything (i.e. points other than those mentioned above).
Could someone please help me with a hint (not a full solution, since it's an assignment)? Thanks!
algebraic-curves projective-geometry
$endgroup$
I'm stuck with the following problem of projective geometry from an assignment:
Let $P_1$, $P_2$, $P_3$ and $Q$ be four points in the projective plane (over an algebraically closed field) such that any 3 of them are not collinear. Define
$Q_1=overline{P_1Q}capoverline{P_2P_3}$, $Q_2=overline{P_2Q}capoverline{P_1P_3}$ and
$Q_3=overline{P_3Q}capoverline{P_1P_2}$. Now, let $R$ be another point not contained on the lines $overline{P_1P_2}$, $overline{P_1P_3}$ and $overline{P_2P_3}$ and define $R_1$, $R_2$ and $R_3$ the same way as above.
Let $alpha_1$ be the only automorphism of the line $overline{P_2P_3}$ such that $alpha_1(Q_1)=Q_1$, $alpha_1(P_2)=P_3$ and $alpha_1(P_3)=P_2$. Define $S_1=alpha_1(R_1)$. Similarly, define $S_2$ and $S_3$. Show that the lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$ intersect in the same point.
Since the statement is a bit messy, I tried to make a figure to help understanding it (which is also a bit messy):
I'm trying to use cross-ratio to show that the points $overline{P_1S_1}capoverline{P_2S_2}$ and $overline{P_2S_2}capoverline{P_3S_3}$ are equal: I would express the cross-ratio between one of this points and 3 other (fixed) points of the line $overline{P_2S_2}$ and, using the invariance properties of the cross-ratio, express it in terms of the other know points mentioned above, to show that the cross-ratio between the other point and the 3 fixed points are the same. But none of my attempts of finding adequate central projections helped me with that, the cross-ratios obtained would always involve "strange points" for which I don't know anything (i.e. points other than those mentioned above).
Could someone please help me with a hint (not a full solution, since it's an assignment)? Thanks!
algebraic-curves projective-geometry
algebraic-curves projective-geometry
asked Jan 23 at 2:10


Edu W.Edu W.
155
155
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The problem is a lot simpler than it looks and I was able to figure out the solution thanks to a tip given by the instructor. The tip is:
One can assume, via projective transformation, that $P_1=(1:0:0)$, $P_2=(0:1:0)$, $P_3=(0:0:1)$ and $Q=(1:1:1)$.
With this, one is able to express $S_1$, $S_2$ and $S_3$ simply in terms of $R$ and calculate directly the intersection between the three lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$.
$endgroup$
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%2f3083990%2fshow-that-these-3-projective-lines-intersect-on-the-same-point%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
$begingroup$
The problem is a lot simpler than it looks and I was able to figure out the solution thanks to a tip given by the instructor. The tip is:
One can assume, via projective transformation, that $P_1=(1:0:0)$, $P_2=(0:1:0)$, $P_3=(0:0:1)$ and $Q=(1:1:1)$.
With this, one is able to express $S_1$, $S_2$ and $S_3$ simply in terms of $R$ and calculate directly the intersection between the three lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$.
$endgroup$
add a comment |
$begingroup$
The problem is a lot simpler than it looks and I was able to figure out the solution thanks to a tip given by the instructor. The tip is:
One can assume, via projective transformation, that $P_1=(1:0:0)$, $P_2=(0:1:0)$, $P_3=(0:0:1)$ and $Q=(1:1:1)$.
With this, one is able to express $S_1$, $S_2$ and $S_3$ simply in terms of $R$ and calculate directly the intersection between the three lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$.
$endgroup$
add a comment |
$begingroup$
The problem is a lot simpler than it looks and I was able to figure out the solution thanks to a tip given by the instructor. The tip is:
One can assume, via projective transformation, that $P_1=(1:0:0)$, $P_2=(0:1:0)$, $P_3=(0:0:1)$ and $Q=(1:1:1)$.
With this, one is able to express $S_1$, $S_2$ and $S_3$ simply in terms of $R$ and calculate directly the intersection between the three lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$.
$endgroup$
The problem is a lot simpler than it looks and I was able to figure out the solution thanks to a tip given by the instructor. The tip is:
One can assume, via projective transformation, that $P_1=(1:0:0)$, $P_2=(0:1:0)$, $P_3=(0:0:1)$ and $Q=(1:1:1)$.
With this, one is able to express $S_1$, $S_2$ and $S_3$ simply in terms of $R$ and calculate directly the intersection between the three lines $overline{P_1S_1}$, $overline{P_2S_2}$ and $overline{P_3S_3}$.
answered Jan 26 at 12:35


Edu W.Edu W.
155
155
add a comment |
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%2f3083990%2fshow-that-these-3-projective-lines-intersect-on-the-same-point%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