直角三角形边长识别

GeoGebra 命令及参数

1. Segment(A, B_1) → ADJACENT_A
2. OrthogonalLine(B_1, ADJACENT_A) → b
3. Point(b) → B
4. Segment(A, B) → HYPOTENUSE_1
5. Segment(B, B_1) → OPPOSITE_A
6. Angle(B, B_1, A) → α
7. Polygon(A, B_1, B) → poly1, c, a, b_1
8. Vector(D, E) → u
9. Vector(F, G) → v
10. Translate(A, v) → A'_3
11. Translate(B_1, v) → B'_3
12. Translate(B, v) → C'
13. Polygon(A'_3, B'_3, C') → poly1', c', a', b'
14. Translate(A, v) → A'_1
15. Translate(B_1, v) → B'_1
16. Segment(A'_1, B'_1) → ADJACENT'
17. Translate(A, v) → A'_2
18. Translate(B, v) → C'_1
19. Segment(A'_2, C'_1) → HYPOTENUSE'
20. Translate(B, v) → C'_2
21. Translate(B_1, v) → B'_2
22. Segment(C'_2, B'_2) → OPPOSITE'
23. Translate(D, v) → D'
24. Dilate(A'_3, 0.5, H) → A'
25. Dilate(B'_3, 0.5, H) → B''
26. Dilate(C', 0.5, H) → B'
27. Polygon(A', B'', B') → poly1'', c'', a'', b''
28. Dilate(A'_1, 0.5, H) → I
29. Dilate(B'_1, 0.5, H) → J
30. Segment(I, J) → ADJACENT_A'
31. Dilate(A'_2, 0.5, H) → K
32. Dilate(C'_1, 0.5, H) → L
33. Segment(K, L) → HYPOTENUSE
34. Dilate(C'_2, 0.5, H) → M
35. Dilate(B'_2, 0.5, H) → N
36. Segment(M, N) → OPPOSITE_A'
37. Angle(B_1, A, B) → β
38. Angle(b'', OPPOSITE_A') → δ
39. Angle(A, B, B_1) → ε
40. Angle(B', B'', A') → ζ
41. Segment(A', B'') → OPPOSITE_B'
42. Segment(B'', B') → ADJACENT_B'
43. Segment(A, B_1) → OPPOSITE_B
44. Segment(B_1, B) → ADJACENT_B
45. Angle(B'', A', B') → η