Searching for links to Thales:
CircleTheorem
Pythagoras
ThalesTheorem