The midpoint by definition is the divides a line segment in two.
This means if point Y is the midpoint of XZ, then it is equidistant from X and Z which means

And since from segment addition postulate, we know that

substituting XY = YZ in the above equation gives



Hence, it is proved that if Y is the midpoint of XZ then XY = 1/2XZ.