Yatko猜想F：四边形与几何概率的交互探索

GeoGebra 命令及参数

1. Circle(A, b) → c
2. Point(c) → B
3. Point(c) → C
4. Point(c) → D
5. Segment(C, D) → f
6. Segment(B, C) → g
7. Segment(B, D) → h
8. Polygon(C, B, a) → poly1, i, m_1, E, F, G, H, I, J, Q, R, j, k, l, m, n, p, q, l_1
9. Polygon(B, D, a) → poly2, r, p_1, K, L, M, N, O, P, S, T, s, t, d, e, f_1, g_1, h_1, n_1
10. Segment(R, N) → q_1
11. Polygon(C, B, D) → t1, d_1, c_1, b_1
12. PointIn(t1) → Pointt1
13. Centroid(poly1) → F_1
14. Centroid(poly2) → G_1
15. PointIn(poly1) → Pointpoly1_{1}
16. PointIn(poly2) → Pointpoly2_{1}
17. PointIn(poly1) → Pointpoly1
18. PointIn(poly2) → Pointpoly2
19. Midpoint(N, M) → U
20. Segment(Q, U) → i_1
21. Midpoint(H, I) → V
22. Segment(K, V) → j_1
23. Angle(B, V, H) → α
24. Angle(N, U, B) → β