边角边定理快速探究

GeoGebra 命令及参数

1. Point(Circle[A, a_{1}]) → B
2. Segment(A, B) → a
3. Rotate(B, (c_{1} * π / 180), A) → B'
4. Ray(A, B') → g
5. Circle(A, b_{2}) → d_{1}
6. Intersect(d_{1}, g, 1) → C
7. Segment(A, C) → b
8. Segment(C, B) → c
9. Point(Circle[D, (k * a)]) → E
10. Segment(D, E) → d
11. Circle(D, (k * b)) → e_{1}
12. Rotate(E, (c_{1} * π / 180), D) → E'
13. Ray(D, E') → l
14. Intersect(e_{1}, l, 1) → F
15. Segment(D, F) → e
16. Segment(F, E) → f
17. Circle(A, (0.5 * Min[l1])) → p
18. Line(A, d) → q
19. Intersect(p, a, 1) → G
20. Intersect(p, b, 1) → H
21. CircleSector(A, G, H) → r
22. Point(q) → I
23. Angle(I, A, B) → α
24. Dilate(A, If[0 < o ≤ 1, 1 - o, 0], D) → A'
25. Vector(A, A') → u
26. Translate(r, u) → r'
27. Rotate(r', If[0 < o ≤ 1, (o * ((2 * π) - α)), (2 * π) - α], A') → r''
28. CircleArc(A, G, H) → s
29. Polygon(A, B, C) → t1, c_2, a_2, b_3