根号2的无理性证明（可视化演示）
几何画板及绘图内容加载中，请稍等……
① 本范例通过几何构造与数列迭代，直观演示了√2为无理数的经典证明思路，即假设√2为有理数并推导出矛盾的过程。② 核心数学概念包括无理数、有理数、平方根、直角三角形斜边长度、以及无限递降序列（Fermat无穷递降法）的思想。③ 作图要点：使用GeoGebra的Ray（射线）和Sequence（序列）命令，构造了对象O、P、f以及multiples（倍数），通过射线上的点列和序列生成逐步逼近的几何图形，展示边长比例关系中的矛盾。④ 适合高中及以上学段，用于数论入门、数学证明可视化教学，或作为探究无理数本质的互动演示工具。
GeoGebra 命令及参数
Ray(O, P) → fSequence(Dilate[P, k, O], k, 2, 100) → multiples
AI 绘图提示语参考
绘制一个从原点出发的射线，并在射线上标记一系列等距放大的点，从起点开始按整数倍逐渐远离。这些点沿射线分布，形成一条逐渐延伸的序列。图形用于展示一个几何证明，通过不断缩小的相似直角三角形或线段比例，暗示无限下降的矛盾。整体构图简洁，以射线和点列为主，突出比例关系与迭代过程。
以上提示语为根据原始绘图命令整理而来，仅供参考。