余弦定理几何作图与验证

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c, a, b
2. OrthogonalLine(A, a) → d
3. OrthogonalLine(C, c) → e
4. OrthogonalLine(B, b) → f
5. Polygon(C, B, 4) → poly2, g, h, i, j, D, E
6. Polygon(A, C, 4) → poly3, k, l, m, n, F, G
7. Polygon(B, A, 4) → poly4, p, q, r, s, H, I
8. Intersect(d, i) → J
9. Intersect(d, a) → K
10. Intersect(f, b) → L
11. Intersect(f, m) → M
12. Intersect(e, c) → N
13. Intersect(r, e) → O
14. Polygon(M, L, C, F) → poly5, m_1, l_1, c_1, f_1
15. Polygon(C, K, J, E) → poly6, c_2, k_1, j_1, e_1
16. Polygon(K, J, D, B) → poly7, k_2, j_2, d_1, b_1
17. Polygon(N, O, I, B) → poly8, n_1, o, i_1, b_2
18. Polygon(M, L, A, G) → poly9, m_2, l_2, a_1, g_1
19. Polygon(A, N, O, H) → poly10, a_2, n_2, o_1, h_1