积极 AI Logo 积极 AI

平方差公式无证词证明：大正方形减小正方形的几何拆解

平方差公式无证词证明：大正方形减小正方形的几何拆解
几何画板及绘图内容加载中，请稍等……
2012-09-17 10:07
多边形变换几何作图
这个范例演示两个正方形面积差如何通过几何拼接转化为矩形面积，直观展示平方差恒等式 a² − b² = (a − b)(a + b) 的无证词证明。涉及的核心数学概念包括平方差公式、正方形面积、多边形拼接与等变形、面积守恒以及代数恒等式的几何诠释。作图要点方面，使用了 GeoGebra 命令 Polygon 构建多边形，Translate 与 Rotate 进行平移和旋转拼接，Midpoint 确定中点，Segment 绘制线段；涉及对象包括大正方形 SqBig、小正方形 SqSmall、多个多边形片段 s1 到 s8 以及点 A、B、C、O、D、E、F、G、H、P，并辅以 area1、area2 等面积标注和 text 系列文本说明。适合初中代数与几何融合教学，也可用于高中复习代数恒等式的几何意义，适合课堂演示与自主探究。

GeoGebra 命令及参数

  1. Polygon(O, A, 4) → SqBig, s8, s1, s3, s4, B, C
  2. Polygon(D, A, 4) → SqSmall, s5, s2, s6, s7, E, F
  3. Polygon(B, C, G, E) → RecUp, u1, u2, u4, u3
  4. Polygon(F, G, O, D) → RecDown, r14, r12, r11, r13
  5. Translate(F, P) → F'
  6. Translate(G, P) → G'
  7. Translate(O, P) → O'
  8. Translate(D, P) → D'
  9. Polygon(F', G', O', D') → RecDown1, r22, r23, r24, r21
  10. Rotate(F', (((-k) * 90))°, P) → F''
  11. Rotate(G', (((-k) * 90))°, P) → G''
  12. Rotate(O', (((-k) * 90))°, P) → O''
  13. Rotate(D', (((-k) * 90))°, P) → D''
  14. Polygon(F'', G'', O'', D'') → RecDown2, r32, r31, r34, r33
  15. Midpoint(s4) → I
  16. Midpoint(s3) → J
  17. Midpoint(s6) → K
  18. Midpoint(r33) → L
  19. Midpoint(u2) → N
  20. Midpoint(r31) → Q
  21. Midpoint(r34) → R
  22. Segment(B, E) → dottedLine

AI 绘图提示语参考

绘制一个几何证明图：先画一个大正方形，在其内部左下角放置一个小正方形，两者共享一个顶点。大正方形剩余部分被分割成两个多边形，小正方形上方和右侧也各有一个多边形。将小正方形右侧的多边形平移并旋转，与大正方形上方的多边形拼成一个矩形，同时将剩余部分拼成另一个矩形。用虚线连接两个关键点，标注面积区域，并添加文字说明平方差公式的几何意义。
以上提示语为根据原始绘图命令整理而来，仅供参考。