Proportionality and Similarity in Triangles

The Fundamental Theorem of Proportionality in Triangles

Based on the principles derived from the Theorem of Thales, a fundamental theorem exists regarding the internal division of triangle sides by parallel lines. The theorem states that if a line is drawn parallel to one side of a triangle and intersects the other two sides, it divides those two sides into segments that are proportional to each other. In the specific geometric configuration provided, consider a triangle $ABC$ where a line segment $DE$ is drawn such that it is parallel to the base side $AC$. The hypothesis for this theorem is defined as $DE \parallel AC$. Consequently, the thesis or conclusion of the theorem establishes the following mathematical proportion: $BD : DA = BE : EC$. This indicates that the ratio of the segments on the left side of the triangle is equal to the ratio of the corresponding segments on the right side.

Furthermore, the converse or inverse of this theorem is also valid in Euclidean geometry. This inverse theorem states that if a line intersects two sides of a triangle and divides those sides into segments that are proportional to one another, then that line must necessarily be parallel to the third side of the triangle. The hypothesis for this inverse case is the proportion $BD : DA = BE : EC$, and the resulting thesis is the geometric condition $DE \parallel AC$.

The Internal Angle Bisector Theorem

In any given triangle, a specific proportional relationship exists involving the bisector of an internal angle. The Internal Angle Bisector Theorem states that the bisector of an internal angle of a triangle divides the opposite side into two segments that are proportional to the other two sides of the triangle. For example, in a triangle $ABC$, if we let the segment $CD$ be the bisector of the internal angle $\angle ACB$, then the point $D$ lies on the side $AB$. The hypothesis is defined by $CD$ being the bisector of $\angle ACB$. The resulting thesis states that the ratio of the segments created on the opposite side is proportional to the ratio of the adjacent sides: $AD : DB = AC : CB$.

Practical verification of these principles can be conducted using dynamic geometry software such as GeoGebra. By constructing a triangle and a line parallel to one of its sides, a student can manipulate the free elements of the triangle and observe that the intersected sides consistently maintain segments in a proportional relationship, regardless of the triangle's shape.

The External Angle Bisector Theorem

The properties of proportionality also extend to the bisectors of external angles. The External Angle Bisector Theorem applies when considering a triangle $ABC$ where the bisector of the external angle at a specific vertex, such as vertex $B$, is drawn. If this external bisector intersects the extension of the opposite side $AC$ at a point designated as $D$, then the segments $AD$ and $CD$ formed on that line are proportional to the other two sides of the triangle. The formal mathematical proportion is expressed as $AD : CD = AB : BC$.

To demonstrate the validity of this theorem, a geometric proof can be constructed by drawing a line through vertex $C$ that is parallel to the bisector $BD$. By applying the Theorem of Thales to this configuration, the proportionality of the segments can be logically derived and confirmed.

Definitions and Criteria for Similarity in Triangles

Similarity in geometry, specifically concerning triangles, is established through the relationship of both angles and sides. The formal definition states that two triangles are considered similar if they satisfy two conditions: first, they must have their angles respectively congruent, and second, the sides opposite to those congruent angles must be proportional to one another.

In terms of notation, the similarity between two triangles, for instance triangle $PQR$ and triangle $ABC$, is represented as $PQR \sim ABC$. Within similar triangles, the angles that are equal are referred to as "corresponding" or "homologous" angles. Similarly, the sides that relate to each other through the shared proportion are called homologous sides. The constant ratio existing between the lengths of the homologous sides of similar triangles is known as the ratio of similarity or the scale factor.