This object is in archive!
Answered
I don't know the vocab to describe the type of math that geogabra lets you do on points, where multiplication is like a dot product and you can make a formula that applies to all the coordinates, if someone could let me know that would be nice. Here I found a way to do what they call in geometry "dropping a perpendicular" to a line where I defined the line as a parameterization with a variable from point A to point Z. I've proven it for the 2d case though the formula really looks like it would work in any number of dimensions. Anyway, thanks if someone could point me on what to google to see what theorems in this kind of math have been proven, as I'm sure this one I've found is thanks!
The same question 
Here is a good way I found to use geogabra's point types to make a circle...
maybe I don't know enough about geogabra and it can do this somehow but it would be interesting to define circles like this using geogabras basic point types, the equation at the bottom (P-C)^2=4 should be true when P is 2 unit lengths away from C, so the locus would be a circle. so if there were a variable point type maybe? I'm not sure.
Maybe you are looking for a command as following
.
Or maybe you are looking for something like here in Prove[].
Comments have been locked on this page!