FindGeometricConjectures

FindGeometricConjectures[scene]

finds conjectures that appear to hold for the GeometricScene object scene and adds these conjectures to the scene object.

FindGeometricConjectures[{scene1,scene2,…}]

finds conjectures that appear to hold for all instances scenei of a geometric scene and returns a combined scene with the conjectures added.

FindGeometricConjectures[scenes,patt]

adds only conjectures that match the pattern patt.

FindGeometricConjectures[scenes,patt,n]

adds only up to n conjectures.

Details and Options

Examples

open allclose all

Basic Examples  (2)

Represent a scene with a circumscribed triangle with the diameter as an edge:

Find conjectures that appear to hold for the scene:

Discover Thales's theorem:

Represent a scene with a pentagram where some angles are known:

Solve for missing angles:

Applications  (3)

Represent a scene with two sets of collinear points:

Discover Pappus's hexagon theorem:

Iteratively take circumcenters:

Discover Kosnita's theorem:

Describe a scene with two squares and a quadrilateral formed by taking midpoints:

Discover the Finsler–Hadwiger theorem:

Wolfram Research (2019), FindGeometricConjectures, Wolfram Language function, https://reference.wolfram.com/language/ref/FindGeometricConjectures.html.

Text

Wolfram Research (2019), FindGeometricConjectures, Wolfram Language function, https://reference.wolfram.com/language/ref/FindGeometricConjectures.html.

CMS

Wolfram Language. 2019. "FindGeometricConjectures." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FindGeometricConjectures.html.

APA

Wolfram Language. (2019). FindGeometricConjectures. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FindGeometricConjectures.html

BibTeX

@misc{reference.wolfram_2024_findgeometricconjectures, author="Wolfram Research", title="{FindGeometricConjectures}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/FindGeometricConjectures.html}", note=[Accessed: 24-April-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_findgeometricconjectures, organization={Wolfram Research}, title={FindGeometricConjectures}, year={2019}, url={https://reference.wolfram.com/language/ref/FindGeometricConjectures.html}, note=[Accessed: 24-April-2024 ]}