直角三角形的斜边是最长的边

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → A
2. Point(yAxis) → B
3. Segment(B, D) → c
4. Intersect(c, xAxis) → C
5. Point(Circle[C, side_a]) → E
6. Segment(C, E) → a
7. Point(a) → F
8. Circle(F, side_b) → d
9. OrthogonalLine(F, a) → b
10. Intersect(d, b, 2) → G
11. Segment(F, G) → e
12. Point(a) → H
13. Circle(H, G) → f
14. Segment(H, G) → g
15. Point(f) → Move_1
16. Segment(Move_1, H) → h
17. Angle(G, F, H) → α
18. Circle(G, H) → k
19. Point(k) → Move
20. Segment(G, Move) → i