Wolfram Language

Einfache Vermutungen anstellen: Der Satz des Thales

Mit FindGeometricConjectures können Sie geometrische Beziehungen und Gleichheiten in einer GeometricScene ermitteln.

Der Satz des Thales besagt, dass wenn , und verschiedene Punkte auf einem Kreis hat, wobei die Gerade ein Durchmesser ist, dann ist der Winkel ein rechter Winkel. Visualisieren Sie die Hypothesen des Thales als GeometricScene.

Erzeugen Sie eine beliebige Struktur.

Suchen Sie nach Vermutungen über diese Struktur.

Extrahieren Sie die Schlussfolgerungen aus diesen Vermutungen. Diese beiden Schlussfolgerungen sind gleichwertig.

Ermitteln Sie verschiedene Instanzen derselben abstrakten Strukturen.

Die gleichen Vermutungen, die zuvor gefunden wurden, gelten auch für alle diese Fälle.

Verwandte Beispiele

en es fr ja pt-br zh