Building on what they have already learned about the application of Pythagoras Theorem to find the length of a line segment , the concept enables them to discover the distance formula.