余弦斜面：三角函数与几何作图

GeoGebra 命令及参数

1. Rotate(A, ((a * 2) * π), (0, 0)) → A'
2. OrthogonalLine(A', xAxis) → f
3. Intersect(f, xAxis) → B
4. Vector(B, A') → u
5. Dilate(D, If[0 < a ≤ 1, 1 - a, 0], C) → D'
6. Vector(D', E) → v
7. Dilate(B, If[0 < b ≤ 1, 1 - b, 0], D') → B'
8. Vector(B, B') → w
9. Translate(A', w) → A''
10. Vector(B', A'') → d
11. Angle(A, F, A') → θ
12. Segment(F, A') → k
13. CircleArc(F, A, A') → q
14. Dilate(A, If[1 < b ≤ 2, 2 - b, 0], D) → A'_1
15. Vector(A, A'_1) → e
16. Dilate(D, If[2 < b ≤ 3, 3 - b, 0], B') → D'_1
17. Vector(D, D'_1) → m
18. Circle(D'_1, 1) → r
19. Dilate(D, If[3 < b ≤ 4, 4 - b, 0], D') → D'_2
20. Vector(D, D'_2) → t
21. Dilate(D, If[1 < b ≤ 2, 2 - b, 0], A) → D'_3
22. Vector(D, D'_3) → n
23. Translate(D, n) → D'_4
24. Vector(H, A') → s
25. Dilate(H, If[0 < b ≤ 1, 1 - b, 0], D') → H'
26. Vector(H, H') → u_1
27. Translate(s, u_1) → s'
28. Translate(A', u_1) → A''_1
29. Vector(H', A''_1) → v_1
30. Rotate(A''_1, If[0 < b ≤ 1, (b * π / 2), π / 2], H') → I
31. Vector(H', I) → w_1
32. Rotate(A''_1, If[0 < b ≤ 1, ((-b) * π / 2), ((-π)) / 2], H') → J
33. Ray((1.5, 0), (2, 0)) → g_1
34. Dilate((0, 0), If[0 < b ≤ 1, 1 - b, 0], (1.5, 0)) → L
35. Rotate(L + (1, 0), If[0 < b ≤ 1, (b * π / 2), π / 2], L) → M
36. Vector(L, M) → a_1