等腰直角三角形的性质探究

GeoGebra 命令及参数

1. Circle(B, C) → c
2. Segment(B, C) → a
3. OrthogonalLine(C, a) → b
4. Rotate(C, 45°, B) → C'
5. Angle(C, B, C') → α
6. Ray(B, C') → d
7. Intersect(b, d) → A
8. Segment(A, C) → e
9. Segment(B, A) → f
10. Polygon(B, C, A) → poly1, a_1, b_1, c_1
11. Line(B, C) → h
12. Point(h) → D
13. Point(h) → E
14. Ray(C, E) → i
15. Point(i) → F
16. Ray(C, F) → j
17. Dilate(B, If[0 < g ≤ 1, 1 - g, 0], C) → B'
18. Segment(B, B') → k
19. Dilate(C, If[1 < g ≤ 2, 2 - g, 0], A) → C'_1
20. Segment(C, C'_1) → l
21. Circle(C, (0.2 * a)) → p
22. Intersect(p, j, 1) → G
23. Intersect(p, e, 1) → H
24. Intersect(p, a, 1) → I
25. Circle(A, (0.2 * a)) → q
26. Intersect(q, e, 1) → J
27. Intersect(q, f, 1) → K
28. CircleSector(C, H, I) → s
29. Dilate(A, If[2 < g ≤ 3, 3 - g, 0], B) → A'
30. Segment(A, A') → m
31. CircleSector(A, K, J) → t
32. Rotate(s, If[3.5 < g ≤ 4.5, ((-(g - 3.5)) * pi / 2), -1.5707963267948966], C) → s'
33. Dilate(A, If[5.5 < g ≤ 6.5, 6.5 - g, 0], B) → A'_1
34. Vector(A, A'_1) → u
35. Translate(t, u) → t'
36. Rotate(B, If[16 < g ≤ 17, ((-(g - 16)) * pi / 2), ((-pi)) / 2], C) → B'_1
37. Rotate(B', If[4.5 < g ≤ 5.5, ((-(g - 4.5)) * pi / 2), -1.5707963267948966], C) → B''
38. Segment(B'_1, B'') → k'
39. Rotate(t', If[6.5 < g ≤ 7.5, (((-(g - 6.5)) * 5) * pi / 4), -3.92699], B) → t''
40. Dilate(A, If[7.5 < g ≤ 8.5, 8.5 - g, 0], C) → A'_2
41. Vector(A, A'_2) → v
42. Translate(t, v) → t'_1
43. Rotate(t'_1, If[8.5 < g ≤ 9.5, (((-(g - 8.5)) * 3) * pi / 4), -2.356194490192345], C) → d_1
44. Dilate(A, If[9.5 < g ≤ 10.5, 10.5 - g, 0], C) → A'_3
45. Vector(A, A'_3) → w
46. Translate(t, w) → t'_2
47. Rotate(t'_2, If[10.5 < g ≤ 11.5, ((-(g - 10.5)) * pi / 2), -1.5707963267948966], C) → e_1
48. Angle(C, B, B'_1) → γ
49. Angle(B, C'_1, C) → β
50. Angle(C'_1, C, B) → δ
51. Circle(B, (0.2 * a)) → r