Glivenko–Cantelli theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Yobot
m Tagging, added Empty section (1) tag using AWB (9510)
Empirical measures: clarified the measure theoretic language
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
In [[geometry]], the '''trilinear coordinates''' of a point relative to a given [[triangle]] describe the relative distances from the three sides of the triangle.  Trilinear coordinates are an example of [[homogeneous coordinates]].  They are often called simply "trilinears".
Irwin Butts is what my spouse loves to call me though I don't really like being known as like that.  home std test kit Hiring has been my profession for some time but I've already [http://www.pridecenterflorida.org/resources/hiv-std-testing/ utilized] for another 1. North Dakota is at home std testing our birth place. His spouse doesn't like it the way he does but what he truly likes  [http://www.hamcass.org/index.php?document_srl=268708&mid=gido at home std testing] performing is  [http://www.gaysphere.net/blog/297540 gaysphere.net] to do aerobics and he's been performing it for quite a while.<br><br>Also visit my site: [http://moodle.kspu.karelia.ru/user/view.php?id=23302&course=1 moodle.kspu.karelia.ru]
 
==Examples==
The trilinears of the [[incenter]] of a triangle ''ABC'' is 1 : 1 : 1; that is, the (directed) distances from the incenter to the sidelines ''BC'', ''CA'', ''AB'' are proportional to the actual distances denoted by (''r'', ''r'', ''r''), where ''r'' is the inradius of triangle ''ABC''. 
 
Note that the symbol ''x'':''y'':''z''(for trilinears) is different from (''kx'', ''ky'', ''kz'')(for actual directed distances),
 
where k can be determined by the formula: <math>k = \frac{2\sigma}{ax + by + cz}</math>,
 
where ''a'', ''b'', ''c'' are the respective sidelengths ''BC'', ''CA'', ''AB'', and σ = area of ''ABC''("Comma notation" for trilinears should be avoided, because the notation (''x'', ''y'', ''z''), which means an ordered triple, does not allow, for example, (''x'', ''y'', ''z'') = (2''x'', 2''y'', 2''z''), whereas the "colon notation" does allow ''x'' : ''y'' : ''z'' = 2''x'' : 2''y'' : 2''z''.)
 
[[Image:Trilinear coordinates.svg|right|300px]]
 
:* ''A'' = 1 : 0 : 0
:* ''B'' = 0 : 1 : 0
:* ''C'' = 0 : 0 : 1
:* [[incenter]] = 1 : 1 : 1
:* [[centroid]] = ''bc'' : ''ca'' : ''ab'' = 1/''a'' : 1/''b'' : 1/''c'' = csc ''A'' : csc ''B'' : csc ''C''.
:* [[circumcenter]] = cos ''A'' : cos ''B'' : cos ''C''.
:* [[orthocenter]] = sec ''A'' : sec ''B'' : sec ''C''.
:* [[nine-point center]] = cos(''B'' &minus; ''C'') : cos(''C'' &minus; ''A'') : cos(''A'' &minus; ''B'').
:* [[symmedian point]] = ''a'' : ''b'' : ''c'' = sin ''A'' : sin ''B'' : sin ''C''.
:* ''A''-excenter = &minus;1 : 1 : 1
:* ''B''-excenter = 1 : &minus;1 : 1
:* ''C''-excenter = 1 : 1 : &minus;1.
 
Note that, in general, the incenter is not the same as the [[centroid]]; the centroid has [[Barycentric coordinates (mathematics)|barycentric coordinates]] 1 : 1 : 1 (these being proportional to actual signed areas of the triangles ''BGC'', ''CGA'', ''AGB'', where ''G'' = centroid.)
 
==Formulas==
Trilinears enable many algebraic methods in triangle geometry.  For example, three points
 
:''P = p'' : ''q'' : ''r''
:''U = u'' : ''v'' : ''w''
:''X = x'' : ''y'' : ''z''
 
are collinear if and only if the [[determinant]]
 
:<math> D = \begin{vmatrix}p&q&r\\
u&v&w\\x&y&z\end{vmatrix}</math>
 
equals zero. The dual of this proposition is that the lines
 
:''pα + qβ + rγ = 0''
:''uα + vβ + wγ = 0'',
:''xα + yβ + zγ = 0''
 
concur in a point if and only if ''D = 0.''
 
Also, if the actual directed distances are used when evaluating determinant D, then (area of ''(PUX)) = KD'', where ''K = abc/8σ''<sup>''2''</sup> if triangle PUX has the same orientation as triangle ABC, and ''K = - abc/8σ''<sup>''2''</sup> otherwise.
 
Many cubic curves are easily represented using trilinears.  For example, the pivotal self-isoconjugate cubic ''Z(U,P)'', as the locus of a point ''X'' such that the ''P''-isoconjugate of ''X'' is on the line ''UX'' is given by the determinant equation
 
:<math> \begin{vmatrix}x&y&z\\
qryz&rpzx&pqxy\\u&v&w\end{vmatrix} = 0.</math>
 
Among named cubics ''Z(U,P)'' are the following:
 
: Thomson cubic: ''Z(X(2),X(1))'', where ''X(2) = ''[[centroid]], ''X(1) = ''[[incenter]]
: Feuerbach cubic: ''Z(X(5),X(1))'', where ''X(5) = ''[[Feuerbach point]]
: Darboux cubic: ''Z(X(20),X(1))'', where ''X(20) = ''[[De Longchamps point]]
: Neuberg cubic: ''Z(X(30),X(1))'', where ''X(30) = ''[[Euler infinity point]].
 
==Conversions==
A point with trilinears ''α'' : ''β'' : ''γ'' has barycentric coordinates ''aα'' : ''bβ'' : ''cγ'' where ''a'', ''b'', ''c'' are the sidelengths of the triangle. Conversely, a point with barycentrics ''α'' : ''β'' : ''γ'' has trilinears ''α/a'' : ''β/b'' : ''γ/c''.
 
There are formulas for converting between trilinear coordinates and 2D [[Cartesian coordinates]]. Given a reference triangle ABC, express the position of the vertex B in terms of an ordered pair of Cartesian coordinates and represent this algebraically as a [[vector (geometric)|vector]] <u>''a''</u>, using vertex C as the origin. Similarly define the position vector of vertex A as <u>''b''</u>. Then any point P associated with the reference triangle ABC can be defined in a 2D Cartesian system as a vector <u>''P''</u> = α<u>''a''</u> + β<u>''b''</u>. If this point P has trilinear coordinates x : y : z then the conversion formulas are:
 
: <math>x:y:z = \frac{\beta}{a} : \frac{\alpha}{b} : \frac{1 - \alpha - \beta}{c} </math>
 
and
 
: <math>\alpha = \frac{by}{ax + by + cz}, \quad \beta = \frac{ax}{ax + by + cz}.</math>
 
If an arbitrary origin is chosen where the Cartesian coordinates of the vertices are known and represented by the vectors <u>''A''</u>, <u>''B''</u> and <u>''C''</u> and if the point P has trilinear coordinates ''x'' : ''y'' : ''z'', then the Cartesian coordinates of <u>''P''</u> are the weighted average of the Cartesian coordinates of these vertices using the barycentric coordinates ''ax'', ''by'' and ''cz'' as the weights.
 
Hence
: <math>\underline{P}=\frac{ax}{ax+by+cz}\underline{A}+\frac{by}{ax+by+cz}\underline{B}+\frac{cz}{ax+by+cz}\underline{C},</math><br />
where |<u>''C''</u> − <u>''B''</u>| = ''a'', |<u>''A''</u> − <u>''C''</u>| = ''b'' and |<u>''B''</u> − <u>''A''</u>| = ''c''.
 
==References==
*{{MathWorld|title=Trilinear Coordinates|urlname=TrilinearCoordinates}}
 
==External links==
*[http://faculty.evansville.edu/ck6/encyclopedia/ETC.html Encyclopedia of Triangle Centers - ETC] by Clark Kimberling; has trilinear coordinates (and barycentric) for more than 3200 triangle centers
 
[[Category:Linear algebra]]
[[Category:Affine geometry]]
[[Category:Triangle geometry]]
[[Category:Coordinate systems]]

Latest revision as of 20:39, 12 September 2014

Irwin Butts is what my spouse loves to call me though I don't really like being known as like that. home std test kit Hiring has been my profession for some time but I've already utilized for another 1. North Dakota is at home std testing our birth place. His spouse doesn't like it the way he does but what he truly likes at home std testing performing is gaysphere.net to do aerobics and he's been performing it for quite a while.

Also visit my site: moodle.kspu.karelia.ru