Proof that Isometry f Preserves Midpoints | Geometric Reflection Counterexample

  • Thread starter Thread starter pivoxa15
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving that an isometry, specifically one that fixes the origin, preserves midpoints of line segments. Participants are exploring the implications of geometric reflections and their effects on midpoints.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants are examining the nature of isometries and questioning whether reflections preserve midpoints. There is a discussion about the algebraic proof needed to support the geometric intuition.

Discussion Status

The conversation is ongoing, with some participants acknowledging the need for an algebraic proof while others are exploring the properties of isometries and their implications for midpoints. There is no explicit consensus yet, but productive lines of inquiry are being pursued.

Contextual Notes

Participants are considering the context of the problem, including whether the discussion is taking place in R^n and the specific properties of isometries that may apply.

pivoxa15
Messages
2,250
Reaction score
1

Homework Statement


Suppose f is an isometry that fixes O (origin). Prove f preserves midpoints of line segments.


The Attempt at a Solution


Geometricallly, f could be a reflection in which case it would not preserve the mid point of any line segment that does not intersect the origin anywhere.

So I don't see a proof at all and infact sees a mistake.
 
Physics news on Phys.org
But in the case of a reflection the transformation of a midpoint is still a midpoint, no?
 
That is true. I was thinking along the wrong lines (no pun intended) in that I was thinking that f maps midpoint to the exact same mid point.

Everything makes geometric sense. The only problem is to prove it algebraically. Can't see how to do it.
 
Are we in R^n?
 
If f is a isometry, u.v=f(u).f(v) holds. So the vector norm (u.u)^1/2 and distance stays the same.
 
Last edited:
I have worked out the quesion in the OP. I now need to show that f(ru)=rf(u) with the same conditions given in the OP.
 

Similar threads

Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
7K
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K