0401 Remarkable points and lines in a triangle
By using dynamic geometry the entire H-line can be displayed, including the border of the disk. This opens up new horizons in abstraction. As already mentioned, Bolyai proved that Euclidean geometry is a limiting case of the hyperbolic geometry system. If the disk of the P-model is much larger than the visible construction we work with, we can obtain drawings similar to the Euclidean ones, by using the P-model. On
a much-enlarged disk it is hard to notice that we work in the P-model, just as with standing on the floor it is hard to notice that we live on a spherical planet.
Let’s draw a triangle using its vertices! Let’s construct its sides, and then illustrate the following relationships in order:
- If the perpendiculars drawn from the midpoints of any two sides of a triangle intersect, then the perpendicular drawn from the midpoint of the third side also passes through that point of intersection. This point is the center of the circle circumscribed around the triangle.
- It can be proven using the Euclidean parallel postulate that the perpendiculars to the midlines of any two sides of a triangle intersect.
- Let us show that we can formulate statements similar to the three above regarding the altitudes of a triangle!
- Let’s show that: the medians of the triangle intersect at a single point!
040101
040102
Are the three perpendicular bisectors of a triangle concurrent? The affirmative answer “Yes!” seems so obvious in the Euclidean plane that the question does not come up in most cases. However, the visualization in the P-model shows that the answer is very far from trivial in another system of geometry, hyperbolic geometry. The answer may be negative “No!” in sharp contrast with the Euclidean case.