Теорема Симсона

Погребицкий Евгений/README.md

@@ -0,0 +1,24 @@
+# Теорема Симсона
+## Ссылка на видеоразбор
+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;;
+