Heron's Law of Shortest Distance

Proof of Heron's Law of Shortest Distance using GeoGebra

Given any two points A and B above the x-axis, find the point C on the x-axis, such that the length of AC + BC is the shortest