I think 3D geometry has a lot of quirks and has so many results that un_intuitively don’t hold up. In the link I share a discussion with ChatGPT where I asked the following:
assume a plane defined by a point A=(x_0,y_0,z_0), and normal vector n=(a,b,c) which doesn’t matter here, suppose a point P=(x,y,z) also sitting on the space R^3. Question is:
If H is a point on the plane such that (AH) is perpendicular to (PH), does it follow immediately that H is the projection of P on the plane ?
I suspected the answer is no before asking, but GPT gives the wrong answer “yes”, then corrects it afterwards.
So Don’t we need more education about the 3D space in highschools really? It shouldn’t be that hard to recall such simple properties on the fly, even for the best knowledge retrieving tool at the moment.
@TauZero@mander.xyz It is a Geogebra drawing I did to reason with the problem, I took a screenshot of the drawing to attached it.
In the drawing, the labels are different from the problem, but I just made a sphere whose diameter is [AP] (here point P has label A, while A has label A’),
then constructed the plane using A and two other points of the sphere (C and D in the picture),
I thought like “if that property from 2D geometry holds in 3D then any point in the intersection of plane and the sphere will satisfy the perpendicularity, and thus two of them will do for a counterexample”.
And It is exactly what happened: Using Geogebra’s tool of measuring angles it shows that the two points, C and D, that I picked up both satisfy the orthogonality condition (in the picture angle(A,C,A’)=90°=angle(A,D,A’), but they can’t be both the projection of P, right ? Counterexample! (the hypothesis was that a point on a plane that satisfy that condition is immediately THE projection of the point that isn’t on the plane)
Yeah It is not the best thing but I wanted to attach something, and the drawing that I used was the best thing at hand.
Ah, I can see OP’s line of thought now:
I like treating posts as puzzles, figuring out thread by thread WTF they are talking about. But dear OP, let me let you know, your picture and explanation of it are completely incomprehensible to everyone else xD. The picture is not an illustration to the question but a sketch of your search for a counterexample, with all points renamed of course, but also a sphere appearing out of nowhere (for you to invoke the inscribed-triangle-rule, also mentioned nowhere). Your headline question is a non-sequitur, jumping from talking about 4D (never to be mentioned again) into a ChatGPT experiment, into demanding more education in schools. You complain about geometry being hard but also simple. The math problem itself was not even your question, yet it distracted everyone else from whatever it is you were trying to ask. If you ever want to get useful answers from people other than crazed puzzleseekers like me, you’ll need to use better communication!
~~
fyi: the orthogonal projection of a point P into a plane is a point H of that plane such that for any other point A of the plane: (PH) is orthogonal to (HA). One might think that finding that “(PH) is orthogonal to (HA)” for one such point A of the plane is enough, turns out it is not.
luckily an easier criterion exists: H is the orthogonal projection of P if (PH) is parallel to n the normal to the plane.