Introduction to the triangle midsegment theorem