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.

In[1]:=1

✖

Gere uma representacão gráfica deste cenário.

In[2]:=2

✖

Out[2]=2

Procure por todas as hipóteses sobre essa cena.

In[3]:=3

✖

Out[3]=3

Extraia as conclusões dessas hipóteses. Essas duas conclusões são equivalentes.

In[4]:=4

✖

Out[4]=4

Encontre exemplos diferentes do mesmo cenário abstrato.

In[5]:=5

✖

Out[5]=5

As mesmas hipóteses encontradas anteriormente também são verdadeiras para todas esses exemplos.

In[6]:=6

✖

Out[6]=6