Which geometrical theorem is a fundamental relation in Euclidean geometry involving the longest side of a right-angled triangle?