You can see that the lengths of each segment and the measure of each angle is listed. The calculations are done separately on the algebra window and shown in the text. The triangle can be moved by the results remain consistent proving the formula true.