Prove triangle area formula for barycentric coordinates
Let $P_1, P_2, P_3$ be points with barycentric
coordinates (with reference triangle $ABC$) $P_i = (x_i, y_i, z_i )$ for $i = 1, 2, 3$. Then the signed area of $Delta P_1P_2P_3$ is given by the determinant $$frac{[P_1P_2P_3]}{[ABC]}=begin{vmatrix} x_1& y_1& z_1 \ x_2& y_2& z_2\x_3& y_3& z_3 end{vmatrix}$$
I came across this theorem in Evan Chen's "Euclidean Geometry in Mathematical Olympiads" where the proof is skipped. I failed to prove this myself and cannot find the proof online. Any help will be appreciated.
geometry triangle barycentric-coordinates
This question has an open bounty worth +50
reputation from Anubhab Ghosal ending in 4 days.
This question has not received enough attention.
add a comment |
Let $P_1, P_2, P_3$ be points with barycentric
coordinates (with reference triangle $ABC$) $P_i = (x_i, y_i, z_i )$ for $i = 1, 2, 3$. Then the signed area of $Delta P_1P_2P_3$ is given by the determinant $$frac{[P_1P_2P_3]}{[ABC]}=begin{vmatrix} x_1& y_1& z_1 \ x_2& y_2& z_2\x_3& y_3& z_3 end{vmatrix}$$
I came across this theorem in Evan Chen's "Euclidean Geometry in Mathematical Olympiads" where the proof is skipped. I failed to prove this myself and cannot find the proof online. Any help will be appreciated.
geometry triangle barycentric-coordinates
This question has an open bounty worth +50
reputation from Anubhab Ghosal ending in 4 days.
This question has not received enough attention.
@ja72, I fail to understand how notation plays a role when I have specifically mentioned that the coordinates are barycentric. Moreover, the conversion between barycentric and cartesian is not that simple. See en.wikipedia.org/wiki/….
– Anubhab Ghosal
Jan 3 at 15:32
You are right. I was just trying to understand the question, and in the process, I confused myself and possibly others. I am deleting my original comment.
– ja72
Jan 3 at 17:27
@ja72, will my changing z to w perhaps lessen the probability of people being confused? If it will, I shall edit my question.(You know, I am unaware of the popular notation)
– Anubhab Ghosal
Jan 3 at 17:58
Barycentric coordinates are ratios of distances (weights) and using $x$, $y$ and $z$ is confusing. I prefer $w_A$, $w_B$ and $w_C$ for the coordinates such that the a homogeneous point is defined by $$boldsymbol{P}(w_A,w_B,w_C) = w_A boldsymbol{A}+w_B boldsymbol{B} + w_C boldsymbol{C}$$
– ja72
Jan 3 at 18:54
@ja72, two subscripts is cumbersome.
– Anubhab Ghosal
Jan 3 at 19:01
add a comment |
Let $P_1, P_2, P_3$ be points with barycentric
coordinates (with reference triangle $ABC$) $P_i = (x_i, y_i, z_i )$ for $i = 1, 2, 3$. Then the signed area of $Delta P_1P_2P_3$ is given by the determinant $$frac{[P_1P_2P_3]}{[ABC]}=begin{vmatrix} x_1& y_1& z_1 \ x_2& y_2& z_2\x_3& y_3& z_3 end{vmatrix}$$
I came across this theorem in Evan Chen's "Euclidean Geometry in Mathematical Olympiads" where the proof is skipped. I failed to prove this myself and cannot find the proof online. Any help will be appreciated.
geometry triangle barycentric-coordinates
Let $P_1, P_2, P_3$ be points with barycentric
coordinates (with reference triangle $ABC$) $P_i = (x_i, y_i, z_i )$ for $i = 1, 2, 3$. Then the signed area of $Delta P_1P_2P_3$ is given by the determinant $$frac{[P_1P_2P_3]}{[ABC]}=begin{vmatrix} x_1& y_1& z_1 \ x_2& y_2& z_2\x_3& y_3& z_3 end{vmatrix}$$
I came across this theorem in Evan Chen's "Euclidean Geometry in Mathematical Olympiads" where the proof is skipped. I failed to prove this myself and cannot find the proof online. Any help will be appreciated.
geometry triangle barycentric-coordinates
geometry triangle barycentric-coordinates
edited 2 days ago
Alex Ravsky
39.4k32181
39.4k32181
asked Jan 3 at 14:00
Anubhab GhosalAnubhab Ghosal
81617
81617
This question has an open bounty worth +50
reputation from Anubhab Ghosal ending in 4 days.
This question has not received enough attention.
This question has an open bounty worth +50
reputation from Anubhab Ghosal ending in 4 days.
This question has not received enough attention.
@ja72, I fail to understand how notation plays a role when I have specifically mentioned that the coordinates are barycentric. Moreover, the conversion between barycentric and cartesian is not that simple. See en.wikipedia.org/wiki/….
– Anubhab Ghosal
Jan 3 at 15:32
You are right. I was just trying to understand the question, and in the process, I confused myself and possibly others. I am deleting my original comment.
– ja72
Jan 3 at 17:27
@ja72, will my changing z to w perhaps lessen the probability of people being confused? If it will, I shall edit my question.(You know, I am unaware of the popular notation)
– Anubhab Ghosal
Jan 3 at 17:58
Barycentric coordinates are ratios of distances (weights) and using $x$, $y$ and $z$ is confusing. I prefer $w_A$, $w_B$ and $w_C$ for the coordinates such that the a homogeneous point is defined by $$boldsymbol{P}(w_A,w_B,w_C) = w_A boldsymbol{A}+w_B boldsymbol{B} + w_C boldsymbol{C}$$
– ja72
Jan 3 at 18:54
@ja72, two subscripts is cumbersome.
– Anubhab Ghosal
Jan 3 at 19:01
add a comment |
@ja72, I fail to understand how notation plays a role when I have specifically mentioned that the coordinates are barycentric. Moreover, the conversion between barycentric and cartesian is not that simple. See en.wikipedia.org/wiki/….
– Anubhab Ghosal
Jan 3 at 15:32
You are right. I was just trying to understand the question, and in the process, I confused myself and possibly others. I am deleting my original comment.
– ja72
Jan 3 at 17:27
@ja72, will my changing z to w perhaps lessen the probability of people being confused? If it will, I shall edit my question.(You know, I am unaware of the popular notation)
– Anubhab Ghosal
Jan 3 at 17:58
Barycentric coordinates are ratios of distances (weights) and using $x$, $y$ and $z$ is confusing. I prefer $w_A$, $w_B$ and $w_C$ for the coordinates such that the a homogeneous point is defined by $$boldsymbol{P}(w_A,w_B,w_C) = w_A boldsymbol{A}+w_B boldsymbol{B} + w_C boldsymbol{C}$$
– ja72
Jan 3 at 18:54
@ja72, two subscripts is cumbersome.
– Anubhab Ghosal
Jan 3 at 19:01
@ja72, I fail to understand how notation plays a role when I have specifically mentioned that the coordinates are barycentric. Moreover, the conversion between barycentric and cartesian is not that simple. See en.wikipedia.org/wiki/….
– Anubhab Ghosal
Jan 3 at 15:32
@ja72, I fail to understand how notation plays a role when I have specifically mentioned that the coordinates are barycentric. Moreover, the conversion between barycentric and cartesian is not that simple. See en.wikipedia.org/wiki/….
– Anubhab Ghosal
Jan 3 at 15:32
You are right. I was just trying to understand the question, and in the process, I confused myself and possibly others. I am deleting my original comment.
– ja72
Jan 3 at 17:27
You are right. I was just trying to understand the question, and in the process, I confused myself and possibly others. I am deleting my original comment.
– ja72
Jan 3 at 17:27
@ja72, will my changing z to w perhaps lessen the probability of people being confused? If it will, I shall edit my question.(You know, I am unaware of the popular notation)
– Anubhab Ghosal
Jan 3 at 17:58
@ja72, will my changing z to w perhaps lessen the probability of people being confused? If it will, I shall edit my question.(You know, I am unaware of the popular notation)
– Anubhab Ghosal
Jan 3 at 17:58
Barycentric coordinates are ratios of distances (weights) and using $x$, $y$ and $z$ is confusing. I prefer $w_A$, $w_B$ and $w_C$ for the coordinates such that the a homogeneous point is defined by $$boldsymbol{P}(w_A,w_B,w_C) = w_A boldsymbol{A}+w_B boldsymbol{B} + w_C boldsymbol{C}$$
– ja72
Jan 3 at 18:54
Barycentric coordinates are ratios of distances (weights) and using $x$, $y$ and $z$ is confusing. I prefer $w_A$, $w_B$ and $w_C$ for the coordinates such that the a homogeneous point is defined by $$boldsymbol{P}(w_A,w_B,w_C) = w_A boldsymbol{A}+w_B boldsymbol{B} + w_C boldsymbol{C}$$
– ja72
Jan 3 at 18:54
@ja72, two subscripts is cumbersome.
– Anubhab Ghosal
Jan 3 at 19:01
@ja72, two subscripts is cumbersome.
– Anubhab Ghosal
Jan 3 at 19:01
add a comment |
2 Answers
2
active
oldest
votes
The area of a triangle whose vertices have cartesian coordinates $(x_i, y_i)$ is
$$frac 1 2 begin{vmatrix}
x_2 - x_1 & y_2 - y_1 \
x_3 - x_1 & y_3 - y_1
end{vmatrix} =
frac 1 2 begin{vmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{vmatrix}.$$
If the three points $(x_i, y_i)$ have normalized barycentric coordinates $(u_i, v_i, w_i)$, then
$$frac 1 2 begin{pmatrix}
u_1 & v_1 & w_1 \
u_2 & v_2 & w_2 \
u_3 & v_3 & w_3
end{pmatrix}
begin{pmatrix}
x_A & y_A & 1 \
x_B & y_B & 1 \
x_C & y_C & 1
end{pmatrix} =
frac 1 2 begin{pmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{pmatrix}.$$
The determinant of a matrix product is the product of the determinants.
add a comment |
Without loss of generality, let $,ABC,$ be the three basis vectors in a cartesian coordinate system and let $,O,$ be the origin. The triangle
$,triangle ABC,$ is the convex hull of $,{A,B,C},$ and is the base of a tetrahedron with vertex at $,O,$. Any three points
$,{P_1,P_2,P_3},$ in the plane of $,triangle ABC,$ also form the base of a tetrahedron with vertex at $,O.,$ It is well-known that the volume of such a tetrahedon is $,1/6,$ the area of the base times the altitude to that base, and also that the volume is $,1/6,$ the determinant of the matrix given by the coordinates of the three points. The requested result follows. The key fact needed is that relative length, area, or volume is an affine invariant.
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%2f3060573%2fprove-triangle-area-formula-for-barycentric-coordinates%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
The area of a triangle whose vertices have cartesian coordinates $(x_i, y_i)$ is
$$frac 1 2 begin{vmatrix}
x_2 - x_1 & y_2 - y_1 \
x_3 - x_1 & y_3 - y_1
end{vmatrix} =
frac 1 2 begin{vmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{vmatrix}.$$
If the three points $(x_i, y_i)$ have normalized barycentric coordinates $(u_i, v_i, w_i)$, then
$$frac 1 2 begin{pmatrix}
u_1 & v_1 & w_1 \
u_2 & v_2 & w_2 \
u_3 & v_3 & w_3
end{pmatrix}
begin{pmatrix}
x_A & y_A & 1 \
x_B & y_B & 1 \
x_C & y_C & 1
end{pmatrix} =
frac 1 2 begin{pmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{pmatrix}.$$
The determinant of a matrix product is the product of the determinants.
add a comment |
The area of a triangle whose vertices have cartesian coordinates $(x_i, y_i)$ is
$$frac 1 2 begin{vmatrix}
x_2 - x_1 & y_2 - y_1 \
x_3 - x_1 & y_3 - y_1
end{vmatrix} =
frac 1 2 begin{vmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{vmatrix}.$$
If the three points $(x_i, y_i)$ have normalized barycentric coordinates $(u_i, v_i, w_i)$, then
$$frac 1 2 begin{pmatrix}
u_1 & v_1 & w_1 \
u_2 & v_2 & w_2 \
u_3 & v_3 & w_3
end{pmatrix}
begin{pmatrix}
x_A & y_A & 1 \
x_B & y_B & 1 \
x_C & y_C & 1
end{pmatrix} =
frac 1 2 begin{pmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{pmatrix}.$$
The determinant of a matrix product is the product of the determinants.
add a comment |
The area of a triangle whose vertices have cartesian coordinates $(x_i, y_i)$ is
$$frac 1 2 begin{vmatrix}
x_2 - x_1 & y_2 - y_1 \
x_3 - x_1 & y_3 - y_1
end{vmatrix} =
frac 1 2 begin{vmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{vmatrix}.$$
If the three points $(x_i, y_i)$ have normalized barycentric coordinates $(u_i, v_i, w_i)$, then
$$frac 1 2 begin{pmatrix}
u_1 & v_1 & w_1 \
u_2 & v_2 & w_2 \
u_3 & v_3 & w_3
end{pmatrix}
begin{pmatrix}
x_A & y_A & 1 \
x_B & y_B & 1 \
x_C & y_C & 1
end{pmatrix} =
frac 1 2 begin{pmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{pmatrix}.$$
The determinant of a matrix product is the product of the determinants.
The area of a triangle whose vertices have cartesian coordinates $(x_i, y_i)$ is
$$frac 1 2 begin{vmatrix}
x_2 - x_1 & y_2 - y_1 \
x_3 - x_1 & y_3 - y_1
end{vmatrix} =
frac 1 2 begin{vmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{vmatrix}.$$
If the three points $(x_i, y_i)$ have normalized barycentric coordinates $(u_i, v_i, w_i)$, then
$$frac 1 2 begin{pmatrix}
u_1 & v_1 & w_1 \
u_2 & v_2 & w_2 \
u_3 & v_3 & w_3
end{pmatrix}
begin{pmatrix}
x_A & y_A & 1 \
x_B & y_B & 1 \
x_C & y_C & 1
end{pmatrix} =
frac 1 2 begin{pmatrix}
x_1 & y_1 & 1 \
x_2 & y_2 & 1 \
x_3 & y_3 & 1
end{pmatrix}.$$
The determinant of a matrix product is the product of the determinants.
answered 2 days ago
MaximMaxim
4,5781219
4,5781219
add a comment |
add a comment |
Without loss of generality, let $,ABC,$ be the three basis vectors in a cartesian coordinate system and let $,O,$ be the origin. The triangle
$,triangle ABC,$ is the convex hull of $,{A,B,C},$ and is the base of a tetrahedron with vertex at $,O,$. Any three points
$,{P_1,P_2,P_3},$ in the plane of $,triangle ABC,$ also form the base of a tetrahedron with vertex at $,O.,$ It is well-known that the volume of such a tetrahedon is $,1/6,$ the area of the base times the altitude to that base, and also that the volume is $,1/6,$ the determinant of the matrix given by the coordinates of the three points. The requested result follows. The key fact needed is that relative length, area, or volume is an affine invariant.
add a comment |
Without loss of generality, let $,ABC,$ be the three basis vectors in a cartesian coordinate system and let $,O,$ be the origin. The triangle
$,triangle ABC,$ is the convex hull of $,{A,B,C},$ and is the base of a tetrahedron with vertex at $,O,$. Any three points
$,{P_1,P_2,P_3},$ in the plane of $,triangle ABC,$ also form the base of a tetrahedron with vertex at $,O.,$ It is well-known that the volume of such a tetrahedon is $,1/6,$ the area of the base times the altitude to that base, and also that the volume is $,1/6,$ the determinant of the matrix given by the coordinates of the three points. The requested result follows. The key fact needed is that relative length, area, or volume is an affine invariant.
add a comment |
Without loss of generality, let $,ABC,$ be the three basis vectors in a cartesian coordinate system and let $,O,$ be the origin. The triangle
$,triangle ABC,$ is the convex hull of $,{A,B,C},$ and is the base of a tetrahedron with vertex at $,O,$. Any three points
$,{P_1,P_2,P_3},$ in the plane of $,triangle ABC,$ also form the base of a tetrahedron with vertex at $,O.,$ It is well-known that the volume of such a tetrahedon is $,1/6,$ the area of the base times the altitude to that base, and also that the volume is $,1/6,$ the determinant of the matrix given by the coordinates of the three points. The requested result follows. The key fact needed is that relative length, area, or volume is an affine invariant.
Without loss of generality, let $,ABC,$ be the three basis vectors in a cartesian coordinate system and let $,O,$ be the origin. The triangle
$,triangle ABC,$ is the convex hull of $,{A,B,C},$ and is the base of a tetrahedron with vertex at $,O,$. Any three points
$,{P_1,P_2,P_3},$ in the plane of $,triangle ABC,$ also form the base of a tetrahedron with vertex at $,O.,$ It is well-known that the volume of such a tetrahedon is $,1/6,$ the area of the base times the altitude to that base, and also that the volume is $,1/6,$ the determinant of the matrix given by the coordinates of the three points. The requested result follows. The key fact needed is that relative length, area, or volume is an affine invariant.
edited 2 days ago
answered 2 days ago
SomosSomos
13.1k11034
13.1k11034
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.
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.
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%2f3060573%2fprove-triangle-area-formula-for-barycentric-coordinates%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
@ja72, I fail to understand how notation plays a role when I have specifically mentioned that the coordinates are barycentric. Moreover, the conversion between barycentric and cartesian is not that simple. See en.wikipedia.org/wiki/….
– Anubhab Ghosal
Jan 3 at 15:32
You are right. I was just trying to understand the question, and in the process, I confused myself and possibly others. I am deleting my original comment.
– ja72
Jan 3 at 17:27
@ja72, will my changing z to w perhaps lessen the probability of people being confused? If it will, I shall edit my question.(You know, I am unaware of the popular notation)
– Anubhab Ghosal
Jan 3 at 17:58
Barycentric coordinates are ratios of distances (weights) and using $x$, $y$ and $z$ is confusing. I prefer $w_A$, $w_B$ and $w_C$ for the coordinates such that the a homogeneous point is defined by $$boldsymbol{P}(w_A,w_B,w_C) = w_A boldsymbol{A}+w_B boldsymbol{B} + w_C boldsymbol{C}$$
– ja72
Jan 3 at 18:54
@ja72, two subscripts is cumbersome.
– Anubhab Ghosal
Jan 3 at 19:01