Le théorème de Pythagore
RandomInstance peut être utilisé pour créer des représentations visuelles de théorèmes géométriques. Le théorème de Pythagore est un théorème fondamental de la géométrie euclidienne qui stipule que, pour tout triangle rectangle avec les côtés et et l'hypoténuse , .
Visualisez le théorème de Pythagore en prenant les aires des carrés qui sont basés de chaque côté d'un triangle rectangle droit.
Pour une belle preuve visuelle, il suffit d'inscrire un carré avec des côtés de longueur dans un carré avec des côtés de longueur de telle sorte que chaque sommet du carré intérieur divise un côté du carré extérieur en deux segments de longueur et .
En effet, l'aire du grand carré peut être calculée de deux façons.
L'aire du carré extérieur correspond au carré de son côté ayant pour longueur , ce qui donne .
Alternativement, le carré intérieur a une aire et chacun des quatre triangles a une aire . Par conséquent, l'aire du grand carré est , ce qui correspond à .
Ainsi , par conséquent .