帕普斯面积定理（一）：任意四边形上的面积关系演示

GeoGebra 命令及参数

1. Polygon(A, B, C) → t1, c, a, b
2. Segment(A, C) → f
3. Segment(A, B) → g
4. Segment(C, B) → h
5. LineBisector(A, B) → i
6. LineBisector(A, C) → j
7. Point(i) → D
8. Point(j) → E
9. Point(j) → F
10. Point(i) → G
11. Line(F, b) → k
12. Line(G, c) → l
13. Mirror(A, G) → A'_{1}
14. Mirror(B, G) → B'
15. Segment(A'_{1}, B') → c'
16. Mirror(C, F) → C'
17. Mirror(A, F) → A'
18. Segment(C', A') → b'
19. Segment(A, B') → m
20. Segment(B, A'_{1}) → n
21. Segment(A, C') → p
22. Segment(C, A') → q
23. Line(A', C') → r
24. Line(B', A'_{1}) → s
25. Intersect(r, s) → H
26. Segment(A, H) → ttt
27. Line(H, A) → d
28. Line(C, d) → e
29. Line(B, d) → f_1
30. Intersect(d, a) → I
31. Midpoint(I, H) → J
32. Mirror(A, J) → A'_{2}
33. Mirror(H, J) → H'
34. Segment(A'_{2}, H') → t'
35. Mirror(A'_{2}, I) → K
36. Mirror(H', I) → H''
37. Segment(K, H'') → tt
38. Line(K, a) → t
39. Intersect(e, t) → L
40. Intersect(f_1, t) → M
41. Polygon(C, L, M, B) → q1, c_1, l_1, m_1, b_1
42. Polygon(C, A', C', A) → q2, c_2, a', g_1, a_1
43. Polygon(B', A, B, A'_{1}) → q3, h_1, a_2, b_2, a'_{1}
44. PointIn(q1) → Pointq1
45. PointIn(q2) → Pointq2
46. PointIn(q3) → Pointq3
47. Intersect(r, t) → N
48. Intersect(s, t) → O
49. Angle(A, C, B) → α