

Here the construction is controlled by the points P 1, P 2 and P 3 only: Of the set, the points P 5 and P 6 will still share the same position in the plane. In a dynamic geometry setting like GeoGebra, this simply means that by changing some points This setting implies that P 5 and P 6 are identical, because the diagonals of a parallelogramĪlways bisect each other. Now define P 5 and P 6 as the midpoint of P 1 and P 3, and P 2 and P 4, Instead, we will illustrate the concept of point identicality with the following example. Here, we do not precisely define when two points are identical in general.
#Geogebra classic for phasor diagrams software
This functionality is implemented in both GeoGebra Classic 5 and 6,Īvailable as an experimental software package called GeoGebra Discovery, atįigure 2: Output window of the Discover command that reports the Midline theorem Figure 3: Further output of the Discover command Obtained by selecting the Discover tool in GeoGebra’s toolbox:Īnd then clicking on the point D. (Note, however, that the current implementation of GeoGebra does not report that 2 ⋅ | D E | = | A B |.)Īlso, the software reports the somewhat trivial finding that the segments B D and C DĪre congruent, with B D and C D highlighted in the same color.

Indeed, the command Discover( D) confirms this observation with Yes: D E is parallel to A B, independent of the position of A, B and C.

The midpoints of B C and A C, respectively (Fig. For example, let A B C an arbitrary triangle, and let D and E be
