菱形性质动态探索

GeoGebra 命令及参数

1. Point(Circle[A, L1]) → B
2. Segment(A, B) → AB
3. Point(Circle[B, L1]) → C
4. Segment(B, C) → g
5. OrthogonalLine(B, AB) → h
6. Point(Circle[B, L2]) → D
7. Segment(B, D) → BD
8. Point(Circle[B, L3]) → E
9. Segment(B, E) → BE
10. Angle(E, A, D) → α
11. Angle(D, C, E) → β
12. Angle(A, D, C) → γ
13. Angle(C, E, A) → δ
14. Angle(D, B, A) → ε
15. Polygon(D, A, B) → poly1, b, d, a
16. Mirror(D, h) → D'
17. Mirror(A, h) → A'
18. Mirror(B, h) → B'
19. Polygon(D', A', B') → poly1', b', d', a'
20. Polygon(A, E, B) → poly2, b_1, a_1, e
21. Mirror(A, h) → A'_1
22. Mirror(E, h) → E'
23. Mirror(B, h) → B'_1
24. Polygon(A'_1, E', B'_1) → poly2', b'_1, a'_1, e'
25. Distance(A, D) → distanceAD
26. Midpoint(A, D) →
27. Distance(D, C) → distanceDC
28. Midpoint(D, C) →
29. Distance(A, E) → distanceAE
30. Midpoint(A, E) →
31. Distance(E, C) → distanceEC
32. Midpoint(E, C) →
33. PointIn(poly1) → Pointpoly1
34. PointIn(poly2) → Pointpoly2
35. Angle(E, B, C) → ζ