23 lines
630 B
Markdown
23 lines
630 B
Markdown
# Теорема о параллелограмме
|
||
## Ссылка на видеоразбор
|
||
https://youtu.be/YGmrNKP__bg
|
||
## Код из сайта
|
||
START_INTERACTIVE;;
|
||
(grobner_decide ** originate)
|
||
<<is_midpoint(m,a,c) /\ perpendicular(a,c,m,b)
|
||
==> lengths_eq(a,b,b,c)>>;;
|
||
|
||
#Parallelogram theorem
|
||
|
||
grobner_decide ** originate)
|
||
<<parallel(a,b,d,c) /\ parallel(a,d,b,c) /\
|
||
is_intersection(e,a,c,b,d)
|
||
==> lengths_eq(a,e,e,c)>>;;
|
||
|
||
(grobner_decide ** originate)
|
||
<<parallel(a,b,d,c) /\ parallel(a,d,b,c) /\
|
||
is_intersection(e,a,c,b,d) /\ ~collinear(a,b,c)
|
||
==> lengths_eq(a,e,e,c)>>;;
|
||
END_INTERACTIVE;;
|
||
|