Measure, calculate, and justify triangle relationships from actual coordinates.
Drag the vertices, then use the live measurements to decide what is true.