Faça suposições: o teorema de Thales
FindGeometricConjectures pode ser usado para descobrir relações geométricas e igualdades em um GeometricScene.
O teorema de Thales afirma que se 
, 
and 
são pontos distintos em um círculo onde a linha 
é um diâmetro, então o ângulo 
é um ângulo reto. Represente as hipóteses do teorema de Thales como um GeometricScene.
Gere uma representacão gráfica deste cenário.
Procure por todas as hipóteses sobre essa cena.
Extraia as conclusões dessas hipóteses. Essas duas conclusões são equivalentes.
Encontre exemplos diferentes do mesmo cenário abstrato.
As mesmas hipóteses encontradas anteriormente também são verdadeiras para todas esses exemplos.
