微积分 - 反正切函数的导数（几何证明）

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → O
2. Intersect(c, f, 1) → A
3. Segment(O, F) → l
4. Circle((0, 0), l) → d
5. Intersect(d, f, 1) → D
6. Segment(O, A) → g
7. Segment(O, D) → h
8. Ray(O, A) → i
9. Intersect(d, i, 1) → C
10. Intersect(c, h, 1) → B
11. Segment(A, C) → j
12. Intersect(f, xAxis) → E
13. Angle(A, O, B) → θ
14. Segment(D, E) → k
15. CircleSector(O, A, B) → e
16. CircleSector(O, C, D) → p
17. Polygon(O, A, D) → poly1, d_1, o, a_1
18. Segment(A, O) → m
19. Segment(O, D) → n
20. Midpoint(m) → G
21. Midpoint(n) → H
22. Rotate(H, π / 5, O) → H'
23. Segment(A, E) → s
24. Segment(O, E) → f_1
25. Segment(D, E) → g_1
26. Angle(E, O, D) → α
27. Angle(E, O, A) → β
28. Segment(O, A) → h_1
29. Segment(O, D) → i_1
30. Angle(A, E, O) → γ