寻找质数

几何画板及绘图内容加载中，请稍等……

2020-07-10 02:31

几何作图滑块动画

①本范例通过动态演示展示质数的判定方法；②涉及核心数学概念包括质数定义、数论、几何直观；③作图要点：使用Segment（线段）、Intersect（交点）、Point（点）等命令，构建数轴与质数可视化模型；④适合初中及以上数学学习者，用于理解质数分布与性质。

GeoGebra 命令及参数

Segment(B_2, T_1) → n_1
Segment(B_7, T_5) → n_4
Segment(B_{15}, T_{13}) → n_{10}
Segment(B_5, T_3) → n_2
Segment(B_8, T_6) → n_3
Segment(B_9, T_7) → n_5
Segment(B_{10}, T_8) → n_6
Segment(B_{11}, T_9) → n_7
Segment(B_{12}, T_{10}) → n_8
Segment(B_{13}, T_{11}) → n_9
Segment(B_{25}, T_{14}) → n_{11}
Segment(F_2, H_2) → h_1
Segment(F_3, H_3) → h_2
Segment(F_4, H_4) → h_3
Segment(F_5, H_5) → h_4
Segment(F_6, H_6) → h_5
Segment(F_7, H_7) → h_6
Segment(F_8, H_8) → h_7
Segment(F_9, H_9) → h_8
Segment(F_{10}, H_{10}) → h_9
Segment(F_{11}, H_{11}) → h_{10}
Segment(F_{12}, H_{12}) → h_{11}
Intersect(n_2, h_1) → I_2
Intersect(n_3, h_2) → J_2
Segment(I_2, J_2) → f
Intersect(n_2, h_2) → K_2
Intersect(n_3, h_1) → M_2
Segment(K_2, M_2) → g
Point(h_1) → N_2
Point(n_6) → O_2
Intersect(n_5, h_2) → P_2
Point(h_1) → Q_2
Intersect(n_7, h_1) → R_2
Point(h_2) → U_2
Intersect(n_7, h_2) → V_2
Point(h_1) → W_2
Intersect(n_5, h_1) → Z_2
Intersect(n_6, h_2) → J_3
Segment(Z_2, J_3) → h
Intersect(n_5, h_2) → K_3
Intersect(n_6, h_1) → M_3
Segment(K_3, M_3) → i
Intersect(n_7, h_1) → N_3
Intersect(n_8, h_2) → O_3
Segment(N_3, O_3) → j
Intersect(n_7, h_2) → P_3
Intersect(n_8, h_1) → Q_3
Segment(P_3, Q_3) → k
Intersect(n_9, h_1) → R_3
Intersect(n_{11}, h_2) → U_3
Segment(R_3, U_3) → l
Intersect(n_9, h_2) → V_3
Intersect(n_{11}, h_1) → W_3
Segment(V_3, W_3) → m
Intersect(n_4, h_2) → Z_3
Intersect(n_{10}, h_3) → A_4
Segment(Z_3, A_4) → n
Intersect(n_4, h_3) → C_4
Intersect(n_{10}, h_2) → D_4
Segment(C_4, D_4) → p
Intersect(n_2, h_2) → I_4
Intersect(n_3, h_3) → J_4
Segment(I_4, J_4) → q
Intersect(n_2, h_3) → K_4
Intersect(n_3, h_2) → L_4
Segment(K_4, L_4) → r
Intersect(n_5, h_2) → M_4
Intersect(n_6, h_3) → N_4
Segment(M_4, N_4) → s
Intersect(h_2, h) → O_4
Intersect(n_5, h_3) → P_4
Segment(O_4, P_4) → t
Point(n_7) → Q_4
Intersect(n_8, h_3) → R_4
Segment(Q_4, R_4) → a
Intersect(n_8, h_2) → U_4
Segment(U_4, V_4) → b
Intersect(n_{11}, h_3) → W_4
Segment(V_3, W_4) → c
Intersect(n_9, h_3) → Z_4
Segment(U_3, Z_4) → d
Intersect(n_{10}, h_4) → A_5
Segment(C_4, A_5) → e
Intersect(n_4, h_4) → C_5
Segment(A_4, C_5) → f_1
Segment(K_4, D_5) → g_1
Intersect(n_2, h_4) → I_5
Segment(J_4, I_5) → i_1
Intersect(n_6, h_4) → J_5
Segment(P_4, J_5) → j_1
Intersect(n_5, h_4) → K_5
Segment(N_4, K_5) → k_1
Intersect(n_8, h_4) → L_5
Segment(V_4, L_5) → l_1
Intersect(n_7, h_4) → M_5
Segment(R_4, M_5) → m_1
Intersect(n_{11}, h_4) → N_5
Segment(Z_4, N_5) → p_1
Intersect(n_9, h_4) → O_5
Segment(W_4, O_5) → q_1
Intersect(n_{10}, h_5) → P_5
Segment(C_5, P_5) → r_1
Intersect(n_4, h_5) → Q_5
Segment(A_5, Q_5) → s_1
Intersect(n_3, h_5) → R_5
Segment(I_5, R_5) → t_1
Intersect(n_2, h_5) → U_5
Segment(D_5, U_5) → a_1
Intersect(n_6, h_5) → V_5
Segment(K_5, V_5) → b_1
Segment(J_5, W_5) → c_1
Intersect(n_8, h_5) → Z_5
Segment(M_5, Z_5) → d_1
Intersect(n_7, h_5) → A_6
Segment(L_5, A_6) → e_1
Intersect(n_{11}, h_5) → C_6
Segment(O_5, C_6) → f_2
Intersect(n_9, h_5) → D_6
Segment(N_5, D_6) → g_2
Intersect(n_{10}, h_6) → E_6
Segment(Q_5, E_6) → i_2
Segment(P_5, I_6) → j_2
Intersect(n_3, h_6) → J_6
Segment(U_5, J_6) → k_2
Intersect(n_2, h_6) → K_6
Segment(R_5, K_6) → l_2
Intersect(n_6, h_6) → L_6
Segment(W_5, L_6) → m_2
Intersect(n_5, h_6) → M_6
Segment(V_5, M_6) → p_2
Intersect(n_8, h_6) → N_6
Segment(A_6, N_6) → q_2
Point(n_7) → O_6
Segment(Z_5, O_6) → r_2
Intersect(n_{11}, h_6) → P_6
Segment(D_6, P_6) → s_2
Segment(C_6, Q_6) → t_2
Intersect(n_{10}, h_7) → R_6
Segment(I_6, R_6) → a_2
Intersect(n_4, h_7) → U_6
Segment(E_6, U_6) → b_2
Intersect(n_3, h_7) → V_6
Segment(K_6, V_6) → c_2
Intersect(n_2, h_7) → W_6
Segment(J_6, W_6) → d_2
Intersect(n_6, h_7) → Z_6
Segment(M_6, Z_6) → e_2
Intersect(n_5, h_7) → A_7
Segment(L_6, A_7) → f_3
Intersect(n_8, h_7) → C_7
Segment(O_6, C_7) → g_3
Intersect(n_7, h_7) → D_7
Segment(N_6, D_7) → i_3
Intersect(n_{11}, h_7) → E_7
Segment(Q_6, E_7) → j_3
Intersect(n_9, h_7) → I_7
Segment(P_6, I_7) → k_3
Intersect(n_{10}, h_8) → J_7
Segment(U_6, J_7) → l_3
Intersect(n_4, h_8) → K_7
Segment(R_6, K_7) → m_3
Intersect(n_3, h_8) → L_7
Segment(W_6, L_7) → p_3
Intersect(n_2, h_8) → M_7
Segment(V_6, M_7) → q_3
Intersect(n_6, h_8) → N_7
Segment(A_7, N_7) → r_3
Point(n_5) → O_7
Segment(Z_6, O_7) → s_3
Point(n_8) → P_7
Segment(D_7, P_7) → t_3
Segment(C_7, Q_7) → a_3
Intersect(n_{11}, h_8) → R_7
Segment(I_7, R_7) → b_3
Intersect(n_9, h_8) → S_7
Segment(E_7, S_7) → c_3
Intersect(n_{10}, h_9) → U_7
Segment(K_7, U_7) → d_3
Segment(J_7, V_7) → e_3
Intersect(n_3, h_9) → W_7
Segment(M_7, W_7) → f_4
Intersect(n_2, h_9) → Z_7
Segment(L_7, Z_7) → g_4
Intersect(n_6, h_9) → A_8
Segment(O_7, A_8) → i_4
Intersect(n_5, h_9) → C_8
Segment(N_7, C_8) → j_4
Intersect(n_8, h_9) → D_8
Segment(Q_7, D_8) → k_4
Segment(P_7, E_8) → l_4
Intersect(n_{11}, h_9) → I_8
Segment(S_7, I_8) → m_4
Intersect(n_9, h_9) → J_8
Segment(R_7, J_8) → p_4
Intersect(n_{10}, h_{10}) → K_8
Segment(V_7, K_8) → q_4
Intersect(n_4, h_{10}) → L_8
Segment(U_7, L_8) → r_4
Intersect(n_3, h_{10}) → M_8
Segment(Z_7, M_8) → s_4
Intersect(n_2, h_{10}) → N_8
Segment(W_7, N_8) → t_4
Intersect(n_6, h_{10}) → O_8
Segment(C_8, O_8) → a_4
Point(h_{10}) → P_8
Segment(A_8, P_8) → b_4
Point(h_{10}) → Q_8
Segment(E_8, Q_8) → c_4
Intersect(n_7, h_{10}) → R_8
Segment(D_8, R_8) → d_4
Intersect(n_{11}, h_{10}) → S_8
Segment(J_8, S_8) → e_4
Intersect(n_9, h_{10}) → U_8
Segment(I_8, U_8) → f_5
Intersect(n_{10}, h_{11}) → V_8
Segment(L_8, V_8) → g_5
Segment(K_8, W_8) → i_5
Intersect(n_3, h_{11}) → Z_8
Segment(N_8, Z_8) → j_5
Segment(M_8, A_9) → k_5
Intersect(n_6, h_{11}) → C_9
Segment(P_8, C_9) → l_5
Point(n_5) → D_9
Segment(O_8, D_9) → m_5
Intersect(n_8, h_{11}) → E_9
Segment(R_8, E_9) → p_5
Point(n_7) → I_9
Segment(Q_8, I_9) → q_5
Intersect(n_{11}, h_{11}) → J_9
Segment(U_8, J_9) → r_5
Intersect(n_9, h_{11}) → K_9
Segment(S_8, K_9) → s_5
Intersect(n_9, h_1) → L_9
Intersect(n_{11}, h_2) → M_9
Segment(L_9, M_9) → t_5
Intersect(n_9, h_2) → N_9
Intersect(n_{11}, h_1) → O_9
Segment(N_9, O_9) → a_5
Intersect(n_4, h_2) → P_9
Intersect(n_{10}, h_3) → Q_9
Segment(P_9, Q_9) → b_5
Intersect(n_{10}, h_2) → R_9
Intersect(n_4, h_3) → S_9
Segment(R_9, S_9) → c_5
Intersect(n_2, h_2) → U_9
Intersect(n_3, h_3) → V_9
Segment(U_9, V_9) → d_5
Intersect(n_3, h_2) → W_9
Intersect(n_2, h_3) → Z_9
Segment(W_9, Z_9) → e_5
Intersect(n_5, h_2) → A_{10}
Intersect(n_6, h_3) → C_{10}
Segment(A_{10}, C_{10}) → f_6
Intersect(n_6, h_2) → D_{10}
Intersect(n_5, h_3) → E_{10}
Segment(D_{10}, E_{10}) → g_6
Intersect(n_7, h_2) → I_{10}
Intersect(n_8, h_3) → J_{10}
Segment(I_{10}, J_{10}) → i_6
Intersect(n_8, h_2) → K_{10}
Intersect(n_7, h_3) → L_{10}
Segment(K_{10}, L_{10}) → j_6
Intersect(n_{11}, h_3) → M_{10}
Segment(N_9, M_{10}) → k_6
Intersect(n_9, h_3) → N_{10}
Segment(M_9, N_{10}) → l_6
Intersect(n_{10}, h_4) → O_{10}
Segment(S_9, O_{10}) → m_6
Point(n_4) → P_{10}
Segment(Q_9, P_{10}) → p_6
Intersect(n_3, h_4) → Q_{10}
Segment(Z_9, Q_{10}) → q_6
Intersect(n_2, h_4) → R_{10}
Segment(V_9, R_{10}) → r_6
Intersect(n_6, h_4) → S_{10}
Segment(E_{10}, S_{10}) → s_6
Intersect(n_5, h_4) → U_{10}
Segment(C_{10}, U_{10}) → t_6
Intersect(n_8, h_4) → V_{10}
Segment(L_{10}, V_{10}) → a_6
Intersect(n_7, h_4) → W_{10}
Segment(J_{10}, W_{10}) → b_6
Intersect(n_{11}, h_4) → Z_{10}
Segment(N_{10}, Z_{10}) → c_6
Intersect(n_9, h_4) → A_{11}
Segment(M_{10}, A_{11}) → d_6
Intersect(n_{10}, h_5) → C_{11}
Intersect(n_4, h_5) → D_{11}
Segment(O_{10}, D_{11}) → f_7
Intersect(n_3, h_5) → E_{11}
Segment(R_{10}, E_{11}) → g_7
Intersect(n_2, h_5) → I_{11}
Segment(Q_{10}, I_{11}) → i_7
Intersect(n_6, h_5) → J_{11}
Segment(U_{10}, J_{11}) → j_7
Intersect(n_5, h_5) → K_{11}
Segment(S_{10}, K_{11}) → k_7
Intersect(n_8, h_5) → L_{11}
Segment(W_{10}, L_{11}) → l_7
Intersect(n_7, h_5) → M_{11}
Segment(V_{10}, M_{11}) → m_7
Intersect(n_{11}, h_5) → N_{11}
Segment(A_{11}, N_{11}) → p_7
Intersect(n_9, h_5) → O_{11}
Segment(Z_{10}, O_{11}) → q_7
Intersect(n_{10}, h_6) → P_{11}
Segment(D_{11}, P_{11}) → r_7
Intersect(n_4, h_6) → Q_{11}
Segment(C_{11}, Q_{11}) → s_7
Intersect(n_3, h_6) → R_{11}
Segment(I_{11}, R_{11}) → t_7
Intersect(n_2, h_6) → S_{11}
Segment(E_{11}, S_{11}) → a_7
Intersect(n_6, h_6) → U_{11}
Segment(K_{11}, U_{11}) → b_7
Point(n_5) → V_{11}
Intersect(n_8, h_6) → W_{11}
Segment(M_{11}, W_{11}) → d_7
Intersect(n_7, h_6) → Z_{11}
Segment(L_{11}, Z_{11}) → e_7
Intersect(n_{11}, h_6) → A_{12}
Segment(O_{11}, A_{12}) → f_8
Intersect(n_9, h_6) → C_{12}
Segment(N_{11}, C_{12}) → g_8
Intersect(n_{10}, h_7) → D_{12}
Segment(Q_{11}, D_{12}) → i_8
Intersect(n_4, h_7) → E_{12}
Segment(P_{11}, E_{12}) → j_8
Intersect(n_3, h_7) → I_{12}
Segment(S_{11}, I_{12}) → k_8
Intersect(n_2, h_7) → J_{12}
Segment(R_{11}, J_{12}) → l_8
Intersect(n_6, h_7) → K_{12}
Intersect(n_5, h_7) → L_{12}
Segment(U_{11}, L_{12}) → p_8
Intersect(n_8, h_7) → M_{12}
Segment(Z_{11}, M_{12}) → q_8
Intersect(n_7, h_7) → N_{12}
Segment(W_{11}, N_{12}) → r_8
Intersect(n_{11}, h_7) → O_{12}
Segment(C_{12}, O_{12}) → s_8
Intersect(n_9, h_7) → P_{12}
Segment(A_{12}, P_{12}) → t_8
Intersect(n_{10}, h_8) → Q_{12}
Segment(E_{12}, Q_{12}) → a_8
Intersect(n_4, h_8) → R_{12}
Segment(D_{12}, R_{12}) → b_8
Intersect(n_3, h_8) → S_{12}
Segment(J_{12}, S_{12}) → c_8
Intersect(n_2, h_8) → U_{12}
Segment(I_{12}, U_{12}) → d_8
Intersect(n_6, h_8) → V_{12}
Segment(L_{12}, V_{12}) → e_8
Intersect(n_5, h_8) → W_{12}
Segment(K_{12}, W_{12}) → f_9
Intersect(n_8, h_8) → Z_{12}
Segment(N_{12}, Z_{12}) → g_9
Intersect(n_7, h_8) → A_{13}
Segment(M_{12}, A_{13}) → i_9
Intersect(n_{11}, h_8) → C_{13}
Segment(P_{12}, C_{13}) → j_9
Intersect(n_9, h_8) → D_{13}
Segment(O_{12}, D_{13}) → k_9
Intersect(n_{10}, h_9) → E_{13}
Segment(R_{12}, E_{13}) → l_9
Intersect(n_4, h_9) → I_{13}
Segment(Q_{12}, I_{13}) → m_9
Intersect(n_3, h_9) → J_{13}
Segment(U_{12}, J_{13}) → p_9
Intersect(n_2, h_9) → K_{13}
Segment(S_{12}, K_{13}) → q_9
Intersect(n_6, h_9) → L_{13}
Segment(W_{12}, L_{13}) → r_9
Intersect(n_5, h_9) → M_{13}
Segment(V_{12}, M_{13}) → s_9
Intersect(n_8, h_9) → N_{13}
Segment(A_{13}, N_{13}) → t_9
Intersect(n_7, h_9) → O_{13}
Segment(Z_{12}, O_{13}) → a_9
Intersect(n_9, h_9) → Q_{13}
Segment(C_{13}, Q_{13}) → c_9
Intersect(n_{10}, h_{10}) → R_{13}
Segment(I_{13}, R_{13}) → d_9
Intersect(n_4, h_{10}) → S_{13}
Segment(E_{13}, S_{13}) → e_9
Intersect(n_3, h_{10}) → U_{13}
Segment(K_{13}, U_{13}) → f_{10}
Intersect(n_2, h_{10}) → V_{13}
Segment(J_{13}, V_{13}) → g_{10}
Intersect(n_6, h_{10}) → W_{13}
Segment(M_{13}, W_{13}) → i_{10}
Intersect(n_5, h_{10}) → Z_{13}
Segment(L_{13}, Z_{13}) → j_{10}
Intersect(n_8, h_{10}) → A_{14}
Segment(O_{13}, A_{14}) → k_{10}
Intersect(n_7, h_{10}) → C_{14}
Segment(N_{13}, C_{14}) → l_{10}
Intersect(n_{11}, h_{10}) → D_{14}
Segment(Q_{13}, D_{14}) → m_{10}
Intersect(n_9, h_{10}) → E_{14}
Intersect(n_{10}, h_{11}) → F_{14}
Segment(S_{13}, F_{14}) → q_{10}
Intersect(n_4, h_{11}) → H_{14}
Segment(R_{13}, H_{14}) → r_{10}
Point(n_3) → I_{14}
Point(n_2) → J_{14}
Intersect(n_6, h_{11}) → K_{14}
Segment(Z_{13}, K_{14}) → a_{10}
Intersect(n_5, h_{11}) → L_{14}
Segment(W_{13}, L_{14}) → b_{10}
Point(n_8) → M_{14}
Point(n_7) → N_{14}
Intersect(n_{11}, h_{11}) → O_{14}
Segment(E_{14}, O_{14}) → e_{10}
Intersect(n_9, h_{11}) → P_{14}
Segment(D_{14}, P_{14}) → f_{11}
Intersect(n_5, h_6) → Q_{14}
Intersect(n_6, h_5) → R_{14}
Segment(Q_{14}, R_{14}) → c_7
Intersect(n_6, h_7) → S_{14}
Segment(Q_{14}, S_{14}) → m_8
Intersect(n_9, h_8) → U_{14}
Intersect(n_9, h_{10}) → W_{14}
Intersect(n_7, h_{10}) → Z_{14}
Intersect(n_8, h_{11}) → A_{15}
Segment(Z_{14}, A_{15}) → c_{10}
Intersect(n_8, h_{10}) → C_{15}
Intersect(n_7, h_{11}) → D_{15}
Segment(C_{15}, D_{15}) → d_{10}
Intersect(n_3, h_{10}) → E_{15}
Intersect(n_2, h_{11}) → F_{15}
Segment(E_{15}, F_{15}) → s_{10}
Intersect(n_2, h_{10}) → H_{15}
Intersect(n_3, h_{11}) → I_{15}
Segment(H_{15}, I_{15}) → t_{10}
Intersect(n_4, h_4) → J_{15}
Intersect(n_{10}, h_5) → K_{15}
Segment(J_{15}, K_{15}) → e_6
Intersect(n_9, h_8) → V_{14}
Intersect(n_{11}, h_9) → L_{15}
Segment(V_{14}, L_{15}) → b_9
Intersect(n_9, h_{10}) → M_{15}
Segment(L_{15}, M_{15}) → p_{10}
Intersect(n_8, h_1) → N_{15}
Intersect(n_9, h_2) → O_{15}
Segment(N_{15}, O_{15}) → g_{11}
Intersect(n_9, h_1) → P_{15}
Intersect(n_8, h_2) → Q_{15}
Segment(P_{15}, Q_{15}) → i_{11}
Intersect(n_3, h_2) → R_{15}
Intersect(n_5, h_3) → S_{15}
Segment(R_{15}, S_{15}) → j_{11}
Intersect(n_5, h_2) → T_{15}
Intersect(n_3, h_3) → U_{15}
Segment(T_{15}, U_{15}) → k_{11}
Intersect(n_1, h_3) → V_{15}
Point(e_6) → W_{15}
Segment(V_{15}, W_{15}) → l_{11}
Intersect(n_4, h_3) → Z_{15}
Intersect(n_1, h_4) → A_{16}
Segment(Z_{15}, A_{16}) → m_{11}
Intersect(n_6, h_3) → C_{16}
Intersect(n_7, h_4) → D_{16}
Segment(C_{16}, D_{16}) → p_{11}
Intersect(n_7, h_3) → E_{16}
Intersect(n_6, h_4) → F_{16}
Segment(E_{16}, F_{16}) → q_{11}
Intersect(n_{10}, h_4) → G_{16}
Intersect(n_2, h_5) → H_{16}
Segment(G_{16}, H_{16}) → r_{11}
Intersect(n_2, h_4) → I_{16}
Point(e_6) → J_{16}
Segment(I_{16}, J_{16}) → s_{11}
Intersect(n_8, h_4) → K_{16}
Intersect(n_9, h_5) → L_{16}
Segment(K_{16}, L_{16}) → t_{11}
Intersect(n_9, h_4) → M_{16}
Intersect(n_8, h_5) → N_{16}
Segment(M_{16}, N_{16}) → a_{11}
Intersect(n_3, h_5) → O_{16}
Intersect(n_5, h_6) → P_{16}
Segment(O_{16}, P_{16}) → b_{11}
Intersect(n_5, h_5) → Q_{16}
Intersect(n_3, h_6) → R_{16}
Segment(Q_{16}, R_{16}) → c_{11}
Intersect(n_1, h_6) → S_{16}
Intersect(n_4, h_7) → T_{16}
Segment(S_{16}, T_{16}) → d_{11}
Intersect(n_4, h_6) → U_{16}
Intersect(n_1, h_7) → V_{16}
Segment(U_{16}, V_{16}) → e_{11}
Intersect(n_6, h_6) → W_{16}
Intersect(n_7, h_7) → Z_{16}
Segment(W_{16}, Z_{16}) → f_{12}
Intersect(n_7, h_6) → A_{17}
Intersect(n_6, h_7) → C_{17}
Segment(A_{17}, C_{17}) → g_{12}
Intersect(n_{10}, h_7) → D_{17}
Intersect(n_2, h_8) → E_{17}
Segment(D_{17}, E_{17}) → h_{12}
Intersect(n_2, h_7) → F_{17}
Intersect(n_{10}, h_8) → G_{17}
Segment(F_{17}, G_{17}) → i_{12}
Intersect(n_8, h_7) → H_{17}
Point(b_9) → I_{17}
Segment(H_{17}, I_{17}) → j_{12}
Intersect(n_9, h_7) → J_{17}
Intersect(n_8, h_8) → K_{17}
Segment(J_{17}, K_{17}) → k_{12}
Intersect(n_3, h_8) → L_{17}
Intersect(n_5, h_9) → M_{17}
Segment(L_{17}, M_{17}) → l_{12}
Intersect(n_5, h_8) → N_{17}
Intersect(n_3, h_9) → O_{17}
Segment(N_{17}, O_{17}) → m_{12}
Intersect(n_1, h_9) → P_{17}
Intersect(n_4, h_{10}) → Q_{17}
Segment(P_{17}, Q_{17}) → n_{12}
Intersect(n_4, h_9) → R_{17}
Intersect(n_1, h_{10}) → S_{17}
Segment(R_{17}, S_{17}) → p_{12}
Intersect(n_6, h_9) → T_{17}
Point(c_{10}) → U_{17}
Segment(T_{17}, U_{17}) → q_{12}
Intersect(n_7, h_9) → V_{17}
Intersect(n_6, h_{10}) → W_{17}
Segment(V_{17}, W_{17}) → r_{12}
Intersect(n_{10}, h_{10}) → Z_{17}
Point(s_{10}) → A_{18}
Segment(Z_{17}, A_{18}) → s_{12}
Point(t_{10}) → C_{18}
Intersect(n_{10}, h_{11}) → D_{18}
Segment(C_{18}, D_{18}) → t_{12}
Point(d_{10}) → E_{18}
Intersect(n_9, h_{11}) → F_{18}
Segment(E_{18}, F_{18}) → a_{12}
Point(p_{10}) → G_{18}
Point(c_{10}) → H_{18}
Segment(G_{18}, H_{18}) → b_{12}
Point(k_{11}) → I_{18}
Intersect(n_5, h_4) → J_{18}
Segment(I_{18}, J_{18}) → c_{12}
Point(j_{11}) → K_{18}
Intersect(n_3, h_4) → L_{18}
Segment(K_{18}, L_{18}) → d_{12}
Point(c_{11}) → M_{18}
Segment(L_{18}, M_{18}) → e_{12}
Point(b_{11}) → N_{18}
Segment(J_{18}, N_{18}) → f_{13}
Point(c_{11}) → O_{18}
Intersect(n_5, h_7) → P_{18}
Segment(O_{18}, P_{18}) → g_{13}
Point(b_{11}) → Q_{18}
Intersect(n_3, h_7) → R_{18}
Segment(Q_{18}, R_{18}) → h_{13}
Point(m_{12}) → S_{18}
Segment(R_{18}, S_{18}) → i_{13}
Point(l_{12}) → T_{18}
Segment(P_{18}, T_{18}) → j_{13}
Point(m_{12}) → U_{18}
Intersect(n_5, h_{10}) → V_{18}
Segment(U_{18}, V_{18}) → k_{13}
Point(l_{12}) → W_{18}
Point(s_{10}) → Z_{18}
Segment(W_{18}, Z_{18}) → l_{13}
Intersect(n_5, h_{11}) → A_{19}
Segment(Z_{18}, A_{19}) → m_{13}
Point(t_{10}) → C_{19}
Segment(V_{18}, C_{19}) → n_{13}
Point(a_{11}) → D_{19}
Intersect(n_9, h_6) → E_{19}
Segment(D_{19}, E_{19}) → p_{13}
Point(t_{11}) → F_{19}
Intersect(n_8, h_6) → G_{19}
Segment(F_{19}, G_{19}) → q_{13}
Intersect(n_6, h_8) → H_{19}
Point(r_{12}) → I_{19}
Segment(H_{19}, I_{19}) → r_{13}
Intersect(n_7, h_8) → J_{19}
Intersect(n_7, h_8) → K_{19}
Point(q_{12}) → L_{19}
Segment(K_{19}, L_{19}) → s_{13}
Point(p_{12}) → M_{19}
Intersect(n_4, h_{11}) → N_{19}
Segment(M_{19}, N_{19}) → t_{13}
Point(n_{12}) → O_{19}
Intersect(n_1, h_{11}) → P_{19}
Segment(O_{19}, P_{19}) → a_{13}