TOPICS
Search

Complement


In general, the word "complement" refers to that subset F^' of some set S which excludes a given subset F. Taking F and its complement F^' together then gives the whole of the original set. The notations F^' and F^_ are commonly used to denote the complement of a set F.

This concept is commonly used and made precise in the particular cases of a complement point, graph complement, knot complement, and complement set. The word "complementary" is also used in the same way, so combining an angle and its complementary angle gives a right angle and a complementary error function erfc and the usual error function erf give unity when added together,

erfc(x)+erf(x)=1.
(1)

The complement point of a point P with respect to a reference triangle DeltaABC, also called the inferior point, subordinate point, or medial image, is the point P^' such that

PG^->=2GP^'^->,
(2)

where G is the triangle centroid.

The complement point of a point with trilinear coordinates alpha:beta:gamma is therefore given by

The following table lists the complements of some named circles.

The complement of a line

lalpha+mbeta+ngamma=0
(4)

is given by the line

The following table summarizes the complements of a number of named lines.

X_n line Kimberling complement line
L_1 antiorthic axis L_(2176)
L_(523) Brocard axis *
L_(647) Euler line L_(647) Euler line
L_(526) Fermat axis *
L_(55) Gergonne line *
L_2 Lemoine axis L_(1613)
L_(649) Nagel line L_(649) Nagel line
L_3 orthic axis *
L_(657) Soddy line L_(1459)

The following table summarizes the complements of several common triangle centers.

X_P point X_(P^') complement point
X_1 incenter I X_(10) Spieker center Sp
X_5 nine-point center N X_(140) midpoint of X_3 and X_5
X_6 symmedian point K X_(141)
X_8 Nagel point Na X_1 incenter I
X_9 mittenpunkt M X_(142)
X_(10) Spieker center Sp X_(1125)
X_(13) first Fermat point X X_(618)
X_(14) second Fermat point X^' X_(619)
X_(15) first isodynamic point S X_(623)
X_(17) first Napoleon point N X_(629)
X_(18) second Napoleon point N^' X_(630)
X_(21) Schiffler point Sch X_(442)
X_(22) Exeter point X_(427)
X_(23) far-out point X_(858)
X_(25) X_(1368)
X_(27) X_(440)
X_(32) third power point X_(626)
X_(38) X_(1215)
X_(40) Bevan point X_(946) midpoint of M_(X_1X_4)
X_(52) X_(1216)
X_(54) Kosnita point X_(1209)
X_(56) X_(1329)
X_(61) isogonal conjugate of X_(17) X_(635)
X_(62) isogonal conjugate of X_(18) X_(636)
X_(63) isogonal conjugate of X_(19) X_(226)
X_(65) X_(960)
X_(66) isogonal conjugate of X_(22) X_(206)
X_(68) Prasolov point X_(1147)
X_(72) X_(942)
X_(74) X_(113)
X_(75) X_(37)
X_(76) X_(39)
X_(78) X_(1210)
triangle vertex A midpoint of side BC
triangle vertex B midpoint of side CA
triangle vertex C midpoint of side AB

AltStyle によって変換されたページ (->オリジナル) /