The construction described here was done with Geometer’s Sketchpad. However, it can also be done with Cabri, Geometry Expressions or GeoGebra. Anywhere where we mention ‘move the point’ we mean move the point in the dynamic geometry software environment.
- Draw a horizontal line and an arbitrary triangle ABC with its base on the line.
- Select two arbitrary points D and E somewhere above the line
- Create a point F on the base of the triangle ABC
- Construct segment DF, label the point of intersection of it with the side of the triangle as G
- Construct segment EF, label the point of intersection of it with the side of the triangle as H
- Draw rays EG and DH, label intersection of these two rays as K
- Label intersections of DC and AE with sides of the triangle as L and M
- Construct a line k passing through the points L and M
- Calculate the distance of the line k from the point K, result is equal to 0
- Move any of the triangle points, or any of the points D and E, the measurement d(k,K) will be still 0, this supports the claim that the three points K, L, and M are collinear.
- PROVE that the three points K, L and M are collinear.