H形风筝几何报告：圆、切线、多边形与极限的综合探究

GeoGebra 命令及参数

1. Circle(B, C) → f
2. Circle(D, C) → g
3. Segment(B, D) → f_1
4. OrthogonalLine(C, f_1) → i_1
5. Line(B, C) → a
6. Polygon(B, C, D, A) → poly1, b, c, c_1, a_1
7. Line(B, c) → d
8. Line(D, b) → e
9. Circle(C, D) → h
10. Circle(C, B) → k
11. Circle(B, Distance[C, D]) → q
12. Intersect(d, e) → G
13. Circle(D, G) → p
14. Intersect(q, e) → E, F
15. Intersect(p, d) → H, I
16. Intersect(g, d) → J, K
17. Intersect(g, e) → L, M
18. OrthogonalLine(D, d) → i
19. Intersect(i, d) → N
20. OrthogonalLine(B, e) → j
21. Intersect(j, e) → O
22. Ray(B, F) → l
23. Ray(D, F) → m
24. Circle(N, 0.3) → g_1
25. Circle(O, 0.3) → h_1
26. Circle(I, 0.3) → t
27. Circle(E, 0.3) → s
28. Circle(G, 0.3) → r
29. Distance(A, i_1) → Daltdist
30. Distance(A, H) → Makdist
31. If(Makdist < 0.25, true) → IsRhum
32. Distance(A, I) → ADeqBCdist
33. Distance(A, E) → ABeqCDdist
34. Min(Distance[A, O], Distance[A, N]) → BAD90dist
35. Distance(A, l) → CDparABdist
36. Distance(A, m) → CBparADdist
37. Circle(C, B) → e_1
38. Distance(A, f_1) → tridist
39. If(Daltdist < 0.25 ∧ tridist > 0.1 ∧ Distance[A, C] > 0.1, true) → IsDalt
40. If((CBparADdist < 0.2 ∨ CDparABdist < 0.2) ∧ Makdist > 0.2, true) → Istrap