梯形面积公式动态证明

GeoGebra 命令及参数

1. Vector(J, K) → u
2. Line(A, B) → a
3. Line(C, a) → b
4. Point(a) → D
5. Point(a) → E
6. Point(b) → G
7. Point(C, u) → F
8. Polygon(D, E, G, F) → mnohoúhelník1, d, e, g, f
9. OrthogonalLine(D, b) → c
10. OrthogonalLine(G, a) → h
11. Intersect(b, c) → H
12. Intersect(h, a) → I
13. Segment(D, H) → i
14. Segment(G, I) → k
15. Polygon(D, G, F) → mnohoúhelník2, f_1, d_1, g_1
16. Polygon(D, E, G) → mnohoúhelník3, g_2, d_2, e_1
17. Polygon(D, E, G, F) → mnohoúhelník4, d_3, e_2, g_3, f_2