垂直线与旋转构造的几何演示

GeoGebra 命令及参数

1. Line(A, B) → l_{1}
2. If(x(E) ≟ x(A), Vector[B, E], Vector[A, E]) → u
3. If(x(E) ≟ x(A), Vector[E, A], Vector[E, B]) → v
4. Point(C, Vector[Rotate[u + v, ((-π)) / 2]]) → D
5. Point(C, Vector[Rotate[u, ((-π)) / 2]]) → F
6. If(x(E) ≟ x(A), Segment[B, E], Segment[A, E]) → h
7. If(x(E) ≟ x(A), Segment[E, A], Segment[E, B]) → i
8. Text(b + " units", Midpoint[h]) → text1
9. Text(c + " units", Midpoint[i]) → text2
10. OrthogonalLine(C, l_{1}) → l_{2}
11. If(x(D) > x(C), Vector[F, D], Vector[D, F]) → u'
12. If(x(D) > x(C), Vector[C, F], Vector[F, C]) → v'
13. Segment(C, F) → g
14. Segment(D, F) → j
15. Text(a + " units", Midpoint[j]) → text3
16. Text(f + " units", Midpoint[g]) → text4