直角三角形转化为等腰三角形：几何作图与数学概念

GeoGebra 命令及参数

1. PointIn(Plane[(0, 0, 0), (1, 1, 0), (1, 0, 0)]) → A
2. PointIn(Plane[(0, 0, 0), (1, 1, 0), (1, 0, 0)]) → B
3. Line(A, B) → f
4. Point(f) → C
5. PointIn(Plane[(0, 0, 0), (1, 1, 0), (1, 0, 0)]) → D
6. OrthogonalLine(D, f, space) → g
7. Intersect(g, f) → E
8. Angle(C, E, D) → α
9. Polygon(D, C, E) → t1, e, d, c
10. Circle(D, (0.35 * Distance[D, E]), zAxis) → h
11. Intersect(c, h) → F, G
12. Angle(E, D, C) → β
13. Intersect(e, h) → H,
14. CircleSector(D, G, H) → k
15. Mirror(D, E) → D'
16. Semicircle(D, D', xOyPlane) → p
17. Rotate(p, (-(pi / 2)), g) → p'
18. Point(p') → I
19. Polygon(I, E, C) → t2, c_1, i, e_1
20. Sphere(I, (0.35 * Distance[D, E])) → a
21. Intersect(c_1, a) → J,
22. Intersect(e_1, a) → K,
23. CircleSector(I, J, K) → q
24. Angle(I, E, C) → γ