勾股定理平方图示

GeoGebra 命令及参数

1. UnitVector(Segment[A, B]) → u
2. OrthogonalVector(u) → v
3. Sequence(Sequence[A + (dlt * ((i * u) - (j * v))), i, 0, n - 1], j, 0, n - 1) → l1
4. Sequence(Sequence[A + (dlt * (((-i) * u) + (j * v))), i, 0, m - 1], j, 0, m - 1) → l2
5. UnitVector(Segment[C, B]) → w
6. OrthogonalVector(w) → w'
7. Sequence(Sequence[C + (dlt * ((i * w) + (j * w'))), i, 0, p - 1], j, 0, p - 1) → l3
8. Polygon(B, A, 4) → poly1, f, g, h, i, D, E
9. Polygon(A, C, 4) → poly2, j, k, l, q, F, G
10. Polygon(C, B, 4) → poly3, r, s, t, a, H, I
11. Sequence(Segment[Translate[A, Vector[((i * u) * dlt)]], Translate[D, Vector[((i * u) * dlt)]]], i, 1, n - 1) → l4
12. Sequence(Segment[Translate[B, Vector[(((-i) * v) * dlt)]], Translate[A, Vector[(((-i) * v) * dlt)]]], i, 1, n - 1) → l5
13. Sequence(Segment[Translate[A, Vector[(((-i) * u) * dlt)]], Translate[C, Vector[(((-i) * u) * dlt)]]], i, 1, m - 1) → l6
14. Sequence(Segment[Translate[G, Vector[((i * v) * dlt)]], Translate[A, Vector[((i * v) * dlt)]]], i, 1, m - 1) → l7
15. Sequence(Segment[Translate[I, Vector[((i * w) * dlt)]], Translate[C, Vector[((i * w) * dlt)]]], i, 1, p) → l8
16. Sequence(Segment[Translate[C, Vector[((i * w') * dlt)]], Translate[B, Vector[((i * w') * dlt)]]], i, 1, p) → l9
17. Angle(B, A, C) → α