this post was submitted on 16 Jun 2025
3 points (52.7% liked)
Asklemmy
48788 readers
723 users here now
A loosely moderated place to ask open-ended questions
Search asklemmy ๐
If your post meets the following criteria, it's welcome here!
- Open-ended question
- Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
- Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
- Not ad nauseam inducing: please make sure it is a question that would be new to most members
- An actual topic of discussion
Looking for support?
Looking for a community?
- Lemmyverse: community search
- sub.rehab: maps old subreddits to fediverse options, marks official as such
- !lemmy411@lemmy.ca: a community for finding communities
~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~
founded 6 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Pretty sure, yes. I'm probably just explaining badly.
There's a full 360 degrees of rays perpendicular to (AH) starting at H. That would be true of line to a point in 3D. In 2D there would be exactly 2 possibilities (left and right), while in 4D they would correspond to an ordinary sphere, and hyperspheres in higher dimensions yet.
Together, they take up a plane. Only points on a certain (infinite) line going through this new plane and H will actually orthogonally map to H, and it's the same one that's normal to to original plane. Let's call the line L.
If point P wasn't in this plane, (PH) couldn't be perpendicular to (AH). It is in the new plane, but we still don't know for sure it's on line L, so it's not true that that implies it projects to H.
~~I tried again, I don't find mistakes in your statements, I just don't see how they make up for "instant in-mind proofs" for the problem~~ I think I see it now, nevermind. Your got a very good visualization for 3D CanadPlus. It seems so intuitive that "the set of points that map to H with orthogonal projection is a straight line", but do you happen to have a pocket proof for that ?