30°-60°-90°与45°-45°-90°特殊直角三角形的几何性质演示

GeoGebra 命令及参数

1. PointIn(peep) → A
2. PointIn(peep) → B
3. Segment(A, B) → a
4. Rotate(A, 315°, B) → A'
5. Angle(A', B, A) → α
6. Ray(B, A') → b
7. OrthogonalLine(A, a) → c
8. Intersect(c, b) → C
9. Angle(A, C, B) → β
10. Polygon(A, B, C) → poli1, c_1, a_1, b_1
11. Polygon(A, B, 4) → poli2, f, g, h, i, D, E
12. Vector(A, D) → u
13. Translate(A, Vector[(u * mostra)]) → ENDA
14. Polygon(C, ENDA, B) → poli3, b_2, c_2, a'_1
15. Angle(B, A, C) → γ
16. PointIn(peep) → F
17. PointIn(peep) → G
18. Segment(F, G) → j
19. Rotate(F, 300°, G) → F'
20. Angle(F', G, F) → δ
21. OrthogonalLine(F, j) → linFH
22. Line(G, F') → linGH
23. Intersect(linFH, linGH) → H
24. Polygon(F, G, H) → poli4, h_1, f_1, g_1
25. Mirror(G, F) → G'
26. Segment(G', H) → m
27. Segment(G', F) → n
28. Angle(F, H, G) → ε
29. Vector(G, G') → v
30. Translate(G, Vector[(v * mostra)]) → ENDB
31. Polygon(H, ENDB, F) → poli5, f_2, h_2, g'_1
32. SelectedIndex(ddMenu) → is
33. Line(B, C) → linBC
34. Angle(G, F, H) → angGFH
35. Angle(ENDB, H, F) → ε'
36. Angle(G, ENDB, H) → δ'
37. Angle(C, ENDA, B) → γ'
38. Angle(B, C, ENDA) → β'
39. Angle(ENDA, B, C) → α'