피타고라스의 정리
RandomInstance는 기하학 정리의 시각화 표현을 만드는 데 사용할 수 있습니다. 직각 삼각형의 두 변 
와 
에서 빗변이 
일 때 
이 성립한다고 하는 피타고라스의 정리는 유클리드 기하학의 기본 정리입니다.
직각 삼각형의 각 변에 따라 사각형의 면적에서 피타고라스의 정리를 시각화합니다.
안쪽 사각형의 각 정점이 바깥쪽 사각형의 한 변을 길이 
와 
의 두 개의 선으로 분할하듯이, 한 변의 길이가 
의 사각형 안에 한 변의 길이가 
인 사각형을 내접시켜 증명할 수 있습니다.
큰 정사각형 면적은 두 가지 방식으로 계산할 수 있습니다.
바깥쪽 정사각형의 면적은 한 변의 길이 
의 제곱 
이고, 
가 됩니다.
또한 안쪽 사각형의 면적은 
이고, 네 개의 삼각형 면적은 각각 
이므로 큰 사각형의 면적은 
즉 
입니다.
따라서 
, 즉 
이 됩니다.
