25 lines
608 B
Markdown
25 lines
608 B
Markdown
# Теорема Симсона
|
|
## Ссылка на видеоразбор
|
|
https://youtu.be/_ewjiWIH0VY
|
|
## Код из книги
|
|
START_INTERACTIVE;;
|
|
let simson =
|
|
<<lengths_eq(o,a,o,b) /\
|
|
lengths_eq(o,a,o,c) /\
|
|
lengths_eq(o,a,o,d) /\
|
|
collinear(e,b,c) /\
|
|
collinear(f,a,c) /\
|
|
collinear(g,a,b) /\
|
|
perpendicular(b,c,d,e) /\
|
|
perpendicular(a,c,d,f) /\
|
|
perpendicular(a,b,d,g)
|
|
==> collinear(e,f,g)>>;;
|
|
|
|
let vars =
|
|
["g_y"; "g_x"; "f_y"; "f_x"; "e_y"; "e_x"; "d_y"; "d_x"; "c_y"; "c_x";
|
|
"b_y"; "b_x"; "o_x"]
|
|
and zeros = ["a_x"; "a_y"; "o_y"];;
|
|
|
|
wu simson vars zeros;;
|
|
|