Teorema de Pitágoras
RandomInstance pode ser usado para criar representações visuais de teoremas geométricos. O teorema de Pitágoras é um teorema fundamental na geometria euclidiana que afirma que para qualquer triângulo retângulo com comprimentos de catetos 
e 
e hipotenusa 
, 
.
Visualize o teorema de Pitágoras onde as áreas dos quadrados estão baseadas em cada lado de um triângulo retângulo.
Uma boa prova visual é desenhar um quadrado de comprimento lateral 
dentro de um quadrado de comprimento lateral 
de tal maneira que cada vértice do quadrado interno divida um lado do quadrado externo em dois segmentos de comprimento 
e 
.
De fato, a área do quadrado grande pode ser calculada de duas maneiras.
A área do quadrado externo é o quadrado 
de seu comprimento lateral 
, produzindo 
.
De forma alternativa, o quadrado interno tem área 
, e cada um dos quatro triângulos tem área 
, então a área do quadrado grande é 
, que é 
.
Uma vez que 
, então 
.
