# Angle bisector theorem

Na geometria, the angle bisector theorem is concerned with the relative lengths of the two segments that a triangle's side is divided into by a line that bisects the opposite angle. It equates their relative lengths to the relative lengths of the other two sides of the triangle.

# Angle bisector theorem

In this diagram, BD:DC = AB:CA.

Dentro geometria, a angle bisector theorem is concerned with the relative lengths of the two segments that a triângulo's side is divided into by a line that bisects the opposite angle. It equates their relative lengths to the relative lengths of the other two sides of the triangle.

Índice

## Teorema[]

Consider a triangle abc. Deixe o angle bisector of angle UMA intersect side BC at a point D entre B e C. The angle bisector theorem states that the ratio of the length of the line segment BD to the length of segment CD is equal to the ratio of the length of side AB to the length of side CA:

$"{displaystyle$CD|}}={fratura {|AB|}{|CA|}},}

e conversely, if a point D on the side BC of triangle abc divides BC in the same ratio as the sides AB e CA, então DE ANÚNCIOS is the angle bisector of angle ∠ A.

The generalized angle bisector theorem states that if D lies on the line BC, então

$"{displaystyle$CD|}}={fratura {|AB|sin angle DAB}{|CA|sin angle DAC}}.}

This reduces to the previous version if DE ANÚNCIOS is the bisector of ∠ BAC. Quando D is external to the segment BC, directed line segments and directed angles must be used in the calculation.

The angle bisector theorem is commonly used when the angle bisectors and side lengths are known. It can be used in a calculation or in a proof.

An immediate consequence of the theorem is that the angle bisector of the vertex angle of an isosceles triangle will also bisect the opposite side.

## Provas[]

### Prova 1[]

In the above diagram, use the law of sines on triangles ABD e ACD:

$"{displaystyle$sin angle ADB}{sin angle DAB}}}

(1)

$"{displaystyle$CD|}}={fratura {sin angle ADC}{sin angle DAC}}}

(2)

Angles ∠ ADB e ∠ ADC form a linear pair, isso é, they are adjacent supplementary angles.

Since supplementary angles have equal sines,

$"{displaystyle$sin angle ADB}={sin angle ADC}.}

Angles ∠ DAB e ∠ DAC are equal. Portanto, the right hand sides of equations (1) e (2) are equal, so their left hand sides must also be equal.

$"{displaystyle$CD|}}={fratura {|AB|}{|CA|}},}

which is the angle bisector theorem.

If angles ∠ DAB e ∠ DAC are unequal, equations (1) e (2) can be re-written as:

$"{displaystyle$sin angle DAB=sin angle ADB},}

$"{displaystyle$CD|}}sin angle DAC=sin angle ADC}.}

Angles ∠ ADB e ∠ ADC are still supplementary, so the right hand sides of these equations are still equal, so we obtain:

$"{displaystyle$sin angle DAB={fratura {|CA|}{|CD|}}sin angle DAC},}

which rearranges to the "generalized" version of the theorem.

### Prova 2[]

Deixar D be a point on the line BC, not equal to B ou C e tal que DE ANÚNCIOS is not an altitude of triangle abc.

Deixar B1 be the base (foot) of the altitude in the triangle ABD Através dos B e deixar C1 be the base of the altitude in the triangle ACD Através dos C. Então, E se D is strictly between B e C, one and only one of B1 ou C1 lies inside triangle abc and it can be assumed sem perda de generalidade este B1 does. This case is depicted in the adjacent diagram. Se D lies outside of segment BC, then neither B1 nem C1 lies inside the triangle.

∠ DB1B e ∠ DC1C are right angles, while the angles ∠ B1DB e ∠ C1DC are congruent if D lies on the segment BC (isso é, entre B e C) and they are identical in the other cases being considered, so the triangles DB1B e DC1C are similar (AAA), o que implica que:

$"{displaystyle$CD|}}={fratura {|BB_{1}|}{|CC_{1}|}}={fratura {|AB|sin angle BAD}{|CA|sin angle CAD}}.}

Se D is the foot of an altitude, então,

$"{displaystyle$=sin angle BAD{texto{ e }}{fratura {|CD|}{|CA|}}=sin angle DAC,}

and the generalized form follows.

### Prova 3[]

$"{displaystyle$angle BAC}{2}}=angle BAD=angle CAD}

A quick proof can be obtained by looking at the ratio of the areas of the two triangles

$"{displaystyle$displaystyle triangle BAD}

e

$"{displaystyle$displaystyle triangle CAD}

, which are created by the angle bisector in

$"{displaystyle$

. Computing those areas twice using different formulas, isso é

$"{displaystyle$gh}

with base

$"{displaystyle$

and altitude

$"{displaystyle$

e

$"{displaystyle$absin(gama )}

with sides

$"{displaystyle$

,

$"{displaystyle$

and their enclosed angle

$"{displaystyle$

, will yield the desired result.

Deixar

$"{displaystyle$

denote the height of the triangles on base

$"{displaystyle$

e

$"{displaystyle$

be half of the angle in

$"{displaystyle$

. Então

$"{displaystyle$triangle ABD|}{|triangle ACD|}}={fratura {{fratura {1}{2}}|BD|h}{{fratura {1}{2}}|CD|h}}={fratura {|BD|}{|CD|}}}

e

$"{displaystyle$triangle ABD|}{|triangle ACD|}}={fratura {{fratura {1}{2}}|AB||DE ANÚNCIOS|pecado(alfa )}{{fratura {1}{2}}|CA||DE ANÚNCIOS|pecado(alfa )}}={fratura {|AB|}{|CA|}}}

yields

$"{displaystyle$CD|}}={fratura {|AB|}{|CA|}}.}

## Exterior angle bisectors[]

exterior angle bisectors (dotted red):
Points D, E, F are collinear and the following equations for ratios hold:

$"{displaystyle$EB|}{|EC|}}={tfrac {|AB|}{|CA|}}}

,

$"{displaystyle$FB|}{|FA|}}={tfrac {|CB|}{|CA|}}}

,

$"{displaystyle$DA|}{|DC|}}={tfrac {|BA|}{|BC|}}}

For the exterior angle bisectors in a non-equilateral triangle there exist similar equations for the ratios of the lengths of triangle sides. More precisely if the exterior angle bisector in

$"{displaystyle$

intersects the extended side

$"{displaystyle$

dentro

$"{displaystyle$

, the exterior angle bisector in

$"{displaystyle$

intersects the extended side

$"{displaystyle$

dentro

$"{displaystyle$

and the exterior angle bisector in

$"{displaystyle$

intersects the extended side

$"{displaystyle$

dentro

$"{displaystyle$

, then the following equations hold:[1]

$"{displaystyle$EB|}{|EC|}}={fratura {|AB|}{|CA|}}}

,

$"{displaystyle$FB|}{|FA|}}={fratura {|CB|}{|CA|}}}

,

$"{displaystyle$DA|}{|DC|}}={fratura {|BA|}{|BC|}}}

The three points of intersection between the exterior angle bisectors and the extended triangle sides

$"{displaystyle$

,

$"{displaystyle$

e

$"{displaystyle$

are collinear, that is they lie on a common line.[2]

## História[]

The angle bisector theorem appears as Proposition 3 of Book VI in Euclid's Elements. According to Heath (1956, p. 197 (volume. 2)), the corresponding statement for an external angle bisector was given by Robert Simson who noted that Pappus assumed this result without proof. Heath goes on to say that Augustus De Morgan proposed that the two statements should be combined as follows:[3]

If an angle of a triangle is bisected internally or externally by a straight line which cuts the opposite side or the opposite side produced, the segments of that side will have the same ratio as the other sides of the triangle; e, if a side of a triangle be divided internally or externally so that its segments have the same ratio as the other sides of the triangle, the straight line drawn from the point of section to the angular point which is opposite to the first mentioned side will bisect the interior or exterior angle at that angular point.

## Formulários[]

 This section needs expansion com: more theorems/results. You can help by adding to it. (Setembro 2020)

This theorem has been used to prove the following theorems/results:

## Referências[]

1. ^ Alfred S. Posamentier: Geometria Euclidiana Avançada: Excursions for Students and Teachers. Springer, 2002,

ISBN 9781930190856, pp. 3-4

2. ^ Roger A. Johnson: Geometria Euclidiana Avançada. Dover 2007, ISBN 978-0-486-46237-0, p. 149 (original publication 1929 with Houghton Mifflin Company (Boston) as Modern Geometry).
3. ^ Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements (2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] ed.). Nova york: Publicações de Dover.
(3 vols.): ISBN 0-486-60088-2 (vol. 1), ISBN 0-486-60089-0 (vol. 2), ISBN 0-486-60090-4 (vol. 3). Heath's authoritative translation plus extensive historical research and detailed commentary throughout the text.

Se você quiser conhecer outros artigos semelhantes a Angle bisector theorem você pode visitar a categoria Elementary geometry.

Ir para cima

Usamos cookies próprios e de terceiros para melhorar a experiência do usuário Mais informação