RandomInstance 可用于创建几何定理的示意图。勾股定理是欧氏几何中的一个基本定理,它表明对于任何直角边为 和 、斜边为 的直角三角形,。
用基于直角三角形每个边的正方形的面积可视化勾股定理。