Proof that Isometry f Preserves Midpoints | Geometric Reflection Counterexample

  • Thread starter Thread starter pivoxa15
  • Start date Start date
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.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top