Difference between revisions of "Barycentric coordinates"
(→Points on bisectors) |
(→Set of parallel lines) |
||
(12 intermediate revisions by the same user not shown) | |||
Line 354: | Line 354: | ||
<cmath>\frac {IC'}{FC'} = \frac {a+b-c}{c}; \frac {IA'}{DA'} = \frac {b+c-a}{a};</cmath> | <cmath>\frac {IC'}{FC'} = \frac {a+b-c}{c}; \frac {IA'}{DA'} = \frac {b+c-a}{a};</cmath> | ||
<cmath>\frac {ND}{NF} = \frac {a(a+b-c)}{c(b+c-a)}.</cmath> | <cmath>\frac {ND}{NF} = \frac {a(a+b-c)}{c(b+c-a)}.</cmath> | ||
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | ==Crosspoint of median and set of secants== | ||
+ | [[File:Incircle and secants.png|350px|right]] | ||
+ | Triangle <math>ABC</math> and point <math>P \in BC</math> be given. The incircle <math>\omega</math> of <math>\triangle ABC</math> touches side <math>BC</math> at point <math>D.</math> Point <math>P'</math> is symmetrical to point <math>P</math> with respect midpoint <math>M</math> of <math>BC.</math> The common points of segments <math>AP</math> and <math>AP'</math> with <math>\omega</math> form a convex quadrilateral <math>EFE'F'.</math> | ||
+ | |||
+ | Prove that point <math>G = DI \cap AM</math> lies on <math>EF.</math> | ||
+ | |||
+ | <i><b>Proof</b></i> | ||
+ | |||
+ | Denote <math>p_a = \frac{b+c-a}{2}, p_b = \frac{a-b+c}{2}, p_c = \frac{a+b-c}{2}, m = \sqrt{\frac {CP}{BP}}.</math> | ||
+ | <math>D = \left (0 : p_c : p_b \right), P= \left (0: m: \frac{1}{m}\right), P' = \left ( 0: \frac{1}{m}: m\right).</math> | ||
+ | <cmath>\omega:\hspace{10mm} {p_a}^2x^2 + p_b^2y^2 + p_c^2z^2 - 2p_a p_b xy - 2p_a p_c xz - 2p_bp_cyz = 0,</cmath> | ||
+ | Line <math>AP: \frac {y}{m} = z \cdot m,</math> line <math>AP' : y \cdot m = \frac {z}{m}.</math> | ||
+ | |||
+ | We solve the system of these equations and get: | ||
+ | <cmath>E = \left( \left(\sqrt{\frac {p_c}{m}} + \sqrt {p_b \cdot m} \right)^2 : mp_a : \frac {p_a}{m} \right),</cmath> | ||
+ | <cmath>F' = \left( \left(\sqrt{\frac {p_c}{m}} - \sqrt {p_b \cdot m} \right)^2 : mp_a : \frac {p_a}{m} \right),</cmath> | ||
+ | <cmath>F = \left( \left(\sqrt{p_c \cdot m} + \sqrt {\frac {p_b}{m}} \right)^2 : \frac {p_a}{m} : mp_a \right),</cmath> | ||
+ | <cmath>E' = \left( \left(\sqrt{p_c \cdot m} - \sqrt {\frac {p_b}{m}} \right)^2 : \frac {p_a}{m} : mp_a \right).</cmath> | ||
+ | We find the lines <math>EE'</math> and <math>FF',</math> we solve the system of equations for this lines and get: | ||
+ | <cmath>G = \left (a: pa : pa \right ).</cmath> This point lies at the line <math>AM, \frac {AG}{GM} =\frac {2 p_a}{a}.</math> | ||
+ | Point <math>G</math> lies at line <math>DI</math> and <math>\frac {DI}{GI} = \frac {b+c}{a}.</math> | ||
+ | |||
+ | <i><b>Corollary</b></i> | ||
+ | |||
+ | Denote <math>D' = AB \cap \omega, D'' = AC \cap \omega.</math> Then <math>\frac {D'G}{D''G} = \frac {b}{c}.</math> | ||
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | ==Set of lines in triangle== | ||
+ | [[File:Set of lines 30 34 .png|395px|right]] | ||
+ | Let triangle <math>\triangle ABC</math> and points <math>D</math> at the line <math>BC, E \in AC, F \in AB</math> be given. | ||
+ | |||
+ | Denote <math>D'</math> point in <math>AB</math> such that <math>DD'||AC.</math> Similarly, <math>E' \in BC, EE'||AB, F' \in AC, FF'||BC.</math> | ||
+ | |||
+ | <cmath>K = AD \cap CD', K' = CE \cap AE', L = BE \cap AE',</cmath> <cmath>L' = AD \cap BF', N = CF \cap BF', N' = BE \cap CD'.</cmath> | ||
+ | |||
+ | Prove that lines <math>KK', LL',</math> and <math>NN'</math> are concurrent. | ||
+ | |||
+ | <i><b>Proof</b></i> | ||
+ | |||
+ | Let <math>d = \frac {CD}{BD}, e = \frac{BF}{AF}, f = \frac{BF}{AF}.</math> | ||
+ | |||
+ | Then <math>D = (0: d: 1), E = (1: 0: e), F = (f: 1: 0).</math> | ||
+ | <cmath>DD' || AC \implies D' = (1 :d : 0), EE' || AB \implies E' = (0 :1 : e), FF' || BC \implies F' = (f : 0 : 1).</cmath> | ||
+ | <cmath>K = (1 : d : 1), L = (1 : 1 : e), N = (f : 1 : 1), K' = (f : 1 : e), L' = (f : d : 1), N' = (1 : d : e).</cmath> | ||
+ | |||
+ | Point <math>G = (1 +f : 1 + d : 1 + e)</math> lies at lines <math>KK', LL',</math> and <math>NN'.</math> | ||
+ | |||
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | ==Set of parallel lines== | ||
+ | [[File:Set of lines small.png|400px|right]] | ||
+ | |||
+ | Let triangle <math>\triangle ABC</math> and points <math>D</math> at the line <math>BC, E \in AC, F \in AB</math> be given. | ||
+ | |||
+ | Denote <math>d = \frac {CD}{BD}, e = \frac{BF}{AF}, f = \frac{BF}{AF}.</math> | ||
+ | |||
+ | Let <math>A'</math> be the point such that <math>A'E||AB, A'D||AC.</math> | ||
+ | |||
+ | Similarly, <math>B'E||AB, B'F||BC, C'D||AC, C'F||BC.</math> | ||
+ | |||
+ | Prove that lines <math>AA', BB',</math> and <math>CC'</math> are concurrent. | ||
+ | |||
+ | Find the condition that <math>\triangle ABC = \triangle A'B'C'.</math> | ||
+ | |||
+ | <i><b>Proof</b></i> | ||
+ | |||
+ | One can get <math>A' = \left ( \frac {1}{d \cdot e}-1 : 1 + \frac {1}{e} : 1 + \frac {1}{d} \right ),</math> | ||
+ | <cmath>B' = \left (1 + \frac {1}{e} : \frac {1}{e \cdot f}-1 : 1 + \frac {1}{f} \right ), | ||
+ | C' = \left (1 + \frac {1}{d} : 1 + \frac {1}{f} : \frac {1}{d \cdot f}-1 \right ),</cmath> | ||
+ | <cmath>O = \left (\frac {f}{1+f} : \frac {d}{1+d} : \frac {e}{1 + e} \right ), | ||
+ | \frac {A'O}{AO} = \frac{B'O}{BO} = \frac {C'O}{CO} = \frac{2def + df + de + ef - 1}{(1+d)(1+ e)(1+f)}.</cmath> | ||
+ | If <math>\frac {A'O}{AO} = 1 </math> then <math>def = d+e+f+1.</math> | ||
+ | [[File:Set of lines small С.png|350px|right]] | ||
+ | <i><b>Corollary</b></i> | ||
+ | |||
+ | Let points <math>D, E,</math> and <math>F</math> lie at the lines <math>BC, AC,</math> and <math>AB.</math> | ||
+ | |||
+ | Denote circle <math>\omega = \odot DEF, D' = \omega \cap BC, E' = \omega \cap AC, F' = \omega \cap AB.</math> | ||
+ | |||
+ | Let <math>ED' || DE', D'F' || E'F, DF' || FE,</math> | ||
+ | <cmath>A' = DF' \cap D'E, B' = D'E \cap E'F, C' = DF' \cap E'F.</cmath> | ||
+ | |||
+ | Then lines <math>AA', BB',</math> and <math>CC'</math> are concurrent. | ||
+ | |||
+ | WLOG, situation is shown on diagram. | ||
+ | |||
+ | The proof contain calculations started from <math>\triangle A'B'C'</math> and finished at <math>\triangle ABC.</math> | ||
'''vladimir.shelomovskii@gmail.com, vvsss''' | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
Line 359: | Line 451: | ||
==Small Pascal's theorem== | ==Small Pascal's theorem== | ||
[[File:PascalS Lemoine.png|390px|right]] | [[File:PascalS Lemoine.png|390px|right]] | ||
+ | [[File:Pascal S Lemoine E.png|390px|right]] | ||
+ | |||
Let <math>\triangle ABC</math> and point <math>P</math> be given. Let <math>\Omega</math> be the circumcircle of <math>\triangle ABC,</math> | Let <math>\triangle ABC</math> and point <math>P</math> be given. Let <math>\Omega</math> be the circumcircle of <math>\triangle ABC,</math> | ||
<cmath>A' = AP \cap \Omega, B' = BP \cap \Omega, C' = CP \cap \Omega.</cmath> | <cmath>A' = AP \cap \Omega, B' = BP \cap \Omega, C' = CP \cap \Omega.</cmath> | ||
Line 367: | Line 461: | ||
<i><b>Proof</b></i> | <i><b>Proof</b></i> | ||
− | 1. Simplest case, <math>P</math> is the Lemoine point, <math>P = (a^2 : b^2 : c^2).</math> | + | 1. Simplest case, <math>P</math> is the Lemoine point, <math>P = L = (a^2 : b^2 : c^2).</math> |
The equation of <math>\Omega</math> is <math> xyc^2 + xzb^2 + yza^2 = 0.</math> | The equation of <math>\Omega</math> is <math> xyc^2 + xzb^2 + yza^2 = 0.</math> | ||
Line 378: | Line 472: | ||
The line <math>DEF</math> is <math>\frac {x}{a^2} + \frac {y}{b^2} + \frac {z}{c^2} = 0.</math> | The line <math>DEF</math> is <math>\frac {x}{a^2} + \frac {y}{b^2} + \frac {z}{c^2} = 0.</math> | ||
+ | |||
+ | 2. Simple case, <math>P</math> is one of the external Lemoine point, <math>P = L' = (a^2 : - b^2 : c^2).</math> | ||
+ | |||
+ | This point is the crosspoint of the tangent lines to <math>\Omega</math> in points <math>A</math> and <math>C,</math> so | ||
+ | <cmath>A' = A, C' = C, B' = \left (a^2 : -\frac{b^2}{2} : c^2 \right ).</cmath> | ||
+ | The line <math>B'C'</math> is <math>b^2 x + 2y a^2 = 0 \implies D = \left( 2a^2 : -b^2 : c^2 \right).</math> | ||
+ | |||
+ | Similarly, <math>E = ( a^2 : 0 : - c^2), F = (a^2 : - b^2 : 2c^2).</math> | ||
+ | |||
+ | The line <math>DEF</math> is <math>\frac {x}{a^2} + \frac {3y}{b^2} + \frac {z}{c^2} = 0.</math> | ||
+ | |||
+ | Similarly, if <math>P = (-a^2 : b^2 : c^2),</math> then the line <math>DEF</math> is <math>\frac {3x}{a^2} + \frac {y}{b^2} + \frac {z}{c^2} = 0.</math> | ||
+ | |||
+ | If <math>P = (a^2 : b^2 : -c^2),</math> then the line <math>DEF</math> is <math>\frac {x}{a^2} + \frac {y}{b^2} + \frac {3z}{c^2} = 0.</math> | ||
+ | |||
+ | These three lines intersect in pairs at points <math>D, E,</math> and <math>F</math> of the line of case 1. | ||
+ | |||
+ | 3. Common case. Denote the coordinates of the point <math>P = (x_P : y_P : z_P).</math> The equation of <math>\Omega</math> is <math> xyc^2 + xzb^2 + yza^2 = 0.</math> | ||
+ | |||
+ | Line <math>AP</math> is <math>l z_P + m y_P = 0 \implies A' = \left( \frac{-y_P \cdot z_P a^2}{y_P c^2 + z_P b^2} : y_P :z_P \right ).</math> | ||
+ | |||
+ | Similarly, <math>B' = \left (x_P : \frac{-x_P \cdot z_P b^2}{x_P c^2 + z_P a^2} : z_P \right ), C' = \left (x_P : y_P : \frac{-x_P \cdot y_P c^2}{x_P b^2 + y_P a^2} \right ).</math> | ||
+ | |||
+ | The tangent line <math>l_A</math> to <math>\Omega</math> at <math>A</math> is <math>yC^2 +zb^2=0.</math> | ||
+ | |||
+ | The line <math>B'C'</math> is <math>\frac{y_P \cdot z_P a^2}{x_P} x - (x_P \cdot c^2 + z_P a^2)y - (x_P b^2 +y_Pa^2)z = 0.</math> | ||
+ | |||
+ | <math>D = l_A \cap B'C' = \left( x_P (y_P c^2 - z_P b^2) : -y_P \cdot z_P b^2 : y_P \cdot z_P c^2 \right).</math> | ||
+ | |||
+ | Similarly, <math>E = l_B \cap A'C' = \left( x_P z_P a^2 : -y_P (x_P c^2 - z_P a^2) : -x_P \cdot z_P c^2 \right).</math> | ||
+ | <cmath>F = l_C \cap A'B' = \left( x_P y_P a^2 : -x_P y_P b^2 : z_P (y_P a^2 - x_P b^2) \right).</cmath> | ||
+ | The line <math>DEF</math> is <cmath> \frac {x}{x_P} (-\frac {a^2}{x_P} + \frac {b^2}{y_P} + \frac {c^2}{z_P}) + \frac {y}{y_P} (\frac {a^2}{x_P} - \frac {b^2}{y_P} + \frac {c^2}{z_P}) +\frac {z}{z_P} (\frac {a^2}{x_P} + \frac {b^2}{y_P} - \frac {c^2}{z_P}) = 0.</cmath> | ||
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' |
Latest revision as of 16:24, 22 November 2024
This can be used in mass points. http://mathworld.wolfram.com/BarycentricCoordinates.html This article is a stub. Help us out by expanding it.
Barycentric coordinates are triples of numbers corresponding to masses placed at the vertices of a reference triangle . These masses then determine a point , which is the geometric centroid of the three masses and is identified with coordinates . The vertices of the triangle are given by , , and . Barycentric coordinates were discovered by Möbius in 1827 (Coxeter 1969, p. 217; Fauvel et al. 1993).
The Central NC Math Group published a lecture concerning this topic at https://www.youtube.com/watch?v=KQim7-wrwL0 if you would like to view it.
Contents
- 1 Useful formulas
- 2 Product of isogonal segments
- 3 Ratio of isogonal segments
- 4 Point on incircle
- 5 Crossing point
- 6 Fixed point on circumcircle
- 7 Two pare isogonal points
- 8 Collinearity for two pares of isogonal points
- 9 Points on bisectors
- 10 Crosspoint of median and set of secants
- 11 Set of lines in triangle
- 12 Set of parallel lines
- 13 Small Pascal's theorem
Useful formulas
Notation
Let the triangle be a given triangle, be the lengths of
We use the following Conway symbols:
is semiperimeter, is twice the area of
where is the inradius, is the circumradius,
is the cosine of the Brocard angle,
Main
For any point in the plane there are barycentric coordinates(BC): The normalized (absolute) barycentric coordinates NBC satisfy the condition they are uniquely determined: Triangle vertices
The barycentric coordinates of a point do not change under an affine transformation.
Lines
The straight line in barycentric coordinates (BC) is given by the equation
The lines given in the BC by the equations and intersect at the point
These lines are parallel iff
The sideline contains the points its equation is
The line has equation it intersects the sideline at the point
Iff then
Let NBC of points and be
Then the square of distance The equation of bisector of is: Nagel line :
Circles
Any circle is given by an equation of the form
Circumcircle contains the points the equation of this circle:
The incircle contains the tangent points of the incircle with the sides:
The equation of the incircle is where
The radical axis of two circles given by equations of this form is: Conjugate
The point is isotomically conjugate with respect to with the point
The point is isogonally conjugate with respect to with the point
The point is isocircular conjugate with respect to with the point
Triangle centers
The median centroid is
The simmedian point is isogonally conjugate with respect to with the point
The bisector the incenter is
The excenters are
The circumcenter lies at the intersection of the bisectors and its BC coordinates
The orthocenter is isogonally conjugate with respect to with the point
Let Nagel point lies at line
The Gergonne point is the isotomic conjugate of the Nagel point, so
vladimir.shelomovskii@gmail.com, vvsss
Product of isogonal segments
Let triangle the circumcircle and isogonals and of the be given. Let point and be the isogonal conjugate of a point and with respect to Prove that
Proof
We fixed and the point So isogonal is fixed.
Denote
We need to prove that do not depends from
Line has the equation
To find the point we solve the equation:
We use the formula for isogonal cobnjugate point and get and then
To find the point we solve the equation: We calculate distances (using NBC) and get: where has sufficiently big formula.
Therefore vladimir.shelomovskii@gmail.com, vvsss
Ratio of isogonal segments
Let triangle and point be given. Denote the isogonal conjugate of a point with respect to Prove that
Proof
We use the formula for isogonal conjugate point and get
vladimir.shelomovskii@gmail.com, vvsss
Point on incircle
Let triangle be given. Denote the incircle the incenter , the Spieker center
Let be the point corresponding to the condition is symmetric with respect midpoint
Symilarly denote
Prove that point lies on
Proof We calculate distances (using NBC) and solve the system of equations:
We know one solution of this system (point D), so we get linear equation and get: Similarly Therefore We calculate the length of the segment and get
The author learned about the existence of such a point from Leonid Shatunov in August 2023.
vladimir.shelomovskii@gmail.com, vvsss
Crossing point
Let triangle and points and be given. Let point be the isogonal conjugate of a point with respect to a triangle Let be an arbitrary point at Prove that lies on
This configuration can be used as a straight-line mechanism since it allows to create a mechanism that converts the rotational motion of a point Z to perfect straight-line motion of the X point or vice versa. Of course, we need to use the prismatic joint at the points and
Proof
We use the barycentric coordinates: We get the equations for some lines:
Line is
line is
line is
line is
line is
We get the equations for some points:
point is
point is
point is
Any circle is given by an equation of the form We find the coefficients for the circles (these formulas are big), but can be used for calculations of the crossing points: We get the equations for some lines and :
We get the equation for the point Let point be the isogonal conjugate of a point with respect to a triangle The sum of coordinates is equal zero, so is in infinity, therefore the point lies on
vladimir.shelomovskii@gmail.com, vvsss
Fixed point on circumcircle
Let triangle point on circumcircle and point be given. Point lies on point be the isogonal conjugate of a point with respect to a triangle
Prove that is fixed point and not depends from position of
Proof
Denote the coordinates of the points The line is
The line is We find the circle and get the point depends only from points and
vladimir.shelomovskii@gmail.com, vvsss
Two pare isogonal points
Let triangle and points and (points do not lie on sidelines) be given.
Let point and be the isogonal conjugate of a point and with respect to a triangle
Denote
Prove that and lies on
Proof
The line is The line is Denote is the isogonal conjugate of a point with respect to If we use NBC, we get If we use NBC, we get
vladimir.shelomovskii@gmail.com, vvsss
Collinearity for two pares of isogonal points
Let triangle and points and be given. Let point and be the isogonal conjugate of the points and with respect to a triangle
Denote is the point isogonal conjugate to line with respect Isogonal_bijection_lines_and_points
Prove that points and are collinear.
Proof
After the simple calculations one can get:
We use the normalized barycentric coordinates NBC and get line in the form of: We check the condition of collinearity for points and and finishing the proof.
vladimir.shelomovskii@gmail.com, vvsss
Points on bisectors
Let a triangle be given.
Let segments and be the bisectors of
The lines and meet circumcircle ) at points respectively. is the midpoint Denote
We will find barycentric coordinates of the points and length of the segments. Line is line is line is
Circle is
Line is
Point
Line is
Point
Point
Some simple formulas: Circumcenter
Tangent is
Line is is the midpoint
vladimir.shelomovskii@gmail.com, vvsss
Crosspoint of median and set of secants
Triangle and point be given. The incircle of touches side at point Point is symmetrical to point with respect midpoint of The common points of segments and with form a convex quadrilateral
Prove that point lies on
Proof
Denote Line line
We solve the system of these equations and get: We find the lines and we solve the system of equations for this lines and get: This point lies at the line Point lies at line and
Corollary
Denote Then
vladimir.shelomovskii@gmail.com, vvsss
Set of lines in triangle
Let triangle and points at the line be given.
Denote point in such that Similarly,
Prove that lines and are concurrent.
Proof
Let
Then
Point lies at lines and
vladimir.shelomovskii@gmail.com, vvsss
Set of parallel lines
Let triangle and points at the line be given.
Denote
Let be the point such that
Similarly,
Prove that lines and are concurrent.
Find the condition that
Proof
One can get If then
Corollary
Let points and lie at the lines and
Denote circle
Let
Then lines and are concurrent.
WLOG, situation is shown on diagram.
The proof contain calculations started from and finished at
vladimir.shelomovskii@gmail.com, vvsss
Small Pascal's theorem
Let and point be given. Let be the circumcircle of Let the tangent line to at point cross line at point Similarly denote points and
Prove that the points and are collinear.
Proof
1. Simplest case, is the Lemoine point,
The equation of is
Line is The line is
Similarly,
The line is
2. Simple case, is one of the external Lemoine point,
This point is the crosspoint of the tangent lines to in points and so The line is
Similarly,
The line is
Similarly, if then the line is
If then the line is
These three lines intersect in pairs at points and of the line of case 1.
3. Common case. Denote the coordinates of the point The equation of is
Line is
Similarly,
The tangent line to at is
The line is
Similarly, The line is
vladimir.shelomovskii@gmail.com, vvsss