勾股定理逆定理的动态验证工具

GeoGebra 命令及参数

1. Random(1, 6) → z3
2. Random(1, 4) → z1
3. If(z1 ≟ z3, If[Mod[5, z1] ≟ 0, Mod[5, z1] + 2, Mod[5, z1]], z3) → z2
4. Max(z1, z2) → m
5. Min(z1, z2) → n
6. If((2 * m^(2)) + (2 * mn) < 13, Random[1, 3], 1) → k
7. Random(3, 20) → Triangle2side1
8. Random(4, 25) → Triangle2side2
9. Random(Triangle2side3min, Triangle2side3max) → Triangle2side3
10. Intersect(xAxis, yAxis) → A
11. Point(Circle[A, a]) → B
12. Segment(A, B) → d
13. Circle(A, b) → e
14. Circle(B, c) → f
15. Intersect(f, e) → C', C, ,
16. Segment(B, C) → h
17. Segment(C, A) → i
18. Angle(B, A, C) → α
19. Angle(A, C, B) → β
20. Angle(C, B, A) → γ
21. Random(1, 4) → TriangleToShow
22. Textfield(a) → inputBox1
23. Textfield(b) → inputBox2
24. Textfield(c) → inputBox3
25. Textfield(answeryesno) → inputBox4
26. If(TriangleToShow ≟ 1, "Y", If[TriangleToShow ≟ 3, "Y", "N"]) → correctanswer
27. Max({Triangle2side1, Triangle2side2, Triangle2side3}) → Triangle2LongestSide
28. Min({Triangle2side1, Triangle2side2, Triangle2side3}) → Triangle2ShortestSide
29. Median({Triangle2side1, Triangle2side2, Triangle2side3}) → Triangle2OtherSide
30. If(answeryesno ≟ "", true, false) → NoAnswer