直角三角形的性质探究

GeoGebra 命令及参数

1. Vector(A, C1) → u
2. Rotate(E - (5, 0), (-(70°)), E) → F
3. Union(Sequence[(x(A) + (Length[u] * cos(t°)), y(A) + (Length[u] * sin(t°))), t, 0, 355, 5], {G}) → VPoints
4. Point(Ray[A + (1, 0), A + (2, 0)]) → B
5. DynamicCoordinates(C1, x(ClosestPoint[VPoints, C1]), y(ClosestPoint[VPoints, C1])) → C
6. Angle(B, A, C) → β
7. Vector(B, C2) → v
8. Sequence((x(B) + (round(Length[v]) * cos(t°)), y(B) + (round(Length[v]) * sin(t°))), t, 0, 355, 5) → UPoints
9. DynamicCoordinates(C2, x(ClosestPoint[UPoints, C2]), y(ClosestPoint[UPoints, C2])) → C'
10. Angle(C', B, A) → δ
11. Segment(C', B) → h
12. Segment(F, D) → k
13. Segment(E, F) → j
14. Segment(A, C) → f
15. Segment(A, B) → g
16. Polygon({A, B, C'}) → t1
17. If(Distance[C, C'] < d, true, false) → closed1
18. Segment(D, E) → i
19. Polygon(D, E, F) → t3, l, m, n
20. Angle(E, D, F) → α
21. Angle(F, E, D) → γ
22. If(B ≟ H, true, false) → reached