WOLFRAM

Wolfram Language & System Documentation Center

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
Details and Options Details and Options
Examples  
Basic Examples  
Scope  
Applications  
See Also
Tech Notes
Related Guides
History
Cite this Page

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 all close all

Basic Examples  (1)

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:

Scope  (2)

Find two instances of a scene with two sets of collinear points:

Discover Pappus's hexagon theorem by searching for conjectures satisfied by both instances:

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

Solve for missing angles:

Only return one missing angle:

Applications  (2)

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_2025_findgeometricconjectures, author="Wolfram Research", title="{FindGeometricConjectures}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/FindGeometricConjectures.html}", note=[Accessed: 08-August-2025]}

BibLaTeX

@online{reference.wolfram_2025_findgeometricconjectures, organization={Wolfram Research}, title={FindGeometricConjectures}, year={2019}, url={https://reference.wolfram.com/language/ref/FindGeometricConjectures.html}, note=[Accessed: 08-August-2025]}