Combining Thales and Pythagoras
LocusEquation[a^2+b^2==c^2,C] asks GeoGebra to show the possible set of points of C such that . This is true if and only if the triangle is right at C. And this is true if and only if C lies on the circle with diameter AB.