菱形性质探究 by [email protected]

GeoGebra 命令及参数

1. Circle(A, B) → c
2. Point(c) → C
3. Segment(A, C) → AC_1
4. Line(B, AC_1) → b
5. Segment(A, B) → AB_1
6. Line(C, AB_1) → e
7. Intersect(b, e) → D
8. Segment(B, D) → BD_1
9. Segment(C, D) → CD_1
10. Segment(B, C) → BC
11. Segment(A, D) → AD
12. Polygon(A, B, D, C) → poly1, a_1, b_1, d_1, c_1
13. Intersect(BC, AD) → E
14. Segment(A, E) → AE
15. Segment(E, D) → DE
16. Segment(B, E) → BE
17. Segment(C, E) → CE
18. Segment(A, B) → AB
19. Segment(B, D) → BD
20. Segment(D, C) → CD
21. Segment(A, C) → AC
22. TableText({{LaTeX[AB, true, true]}, {LaTeX[BD, true, true]}, {LaTeX[CD, true, true]}, {LaTeX[AC, true, true]}}) → text1
23. TableText({{LaTeX[AE, true, true]}, {LaTeX[DE, true, true]}, {LaTeX[BE, true, true]}, {LaTeX[CE, true, true]}}) → text2
24. TableText({{LaTeX[BC, true, true]}, {LaTeX[AD, true, true]}}) → text3
25. Angle(C, A, B) → CAB
26. Angle(A, B, D) → ABD
27. Angle(B, D, C) → BDC
28. Angle(D, C, A) → DCA
29. Angle(D, C, E) → DCE
30. Angle(E, C, A) → ECA
31. Angle(C, A, E) → CAE
32. Angle(E, A, B) → EAB
33. Angle(A, B, E) → ABE
34. Angle(E, B, D) → EBD
35. Angle(B, D, E) → BDE
36. Angle(E, D, C) → EDC
37. Angle(B, E, A) → BEA
38. TableText({{LaTeX[ABD, true, true]}, {LaTeX[ABE, true, true]}, {LaTeX[BDC, true, true]}, {LaTeX[BDE, true, true]}, {LaTeX[BEA, true, true]}, {LaTeX[CAB, true, true]}, {LaTeX[CAE, true, true]}, {LaTeX[DCA, true, true]}, {LaTeX[DCE, true, true]}, {LaTeX[EAB, true, true]}, {LaTeX[EBD, true, true]}, {LaTeX[ECA, true, true]}, {LaTeX[EDC, true, true]}}) → text4