Balls in R^k - Rudin PMA C1 16

  • Thread starter Thread starter TPAINE
  • Start date Start date
  • Tags Tags
    Balls
Click For Summary
SUMMARY

The discussion centers on proving that there are infinitely many solutions to the equation |z-x|=|z-y|=r when 2r>d, where x and y are points in R^k and d is the distance between them. Participants analyze the geometric interpretation of the problem, noting that the intersection of two closed balls forms a circle in R^k. They emphasize the necessity of using properties of real numbers, particularly the connectedness of R, to establish the existence of solutions. The conversation also touches on the implications of rational coordinates and the conditions under which solutions exist.

PREREQUISITES
  • Understanding of Euclidean space R^k and its properties
  • Familiarity with the triangle inequality in metric spaces
  • Knowledge of closed balls and their geometric interpretations
  • Basic concepts of continuity and functions in real analysis
NEXT STEPS
  • Study the geometric properties of closed balls in R^k
  • Learn about the implications of the triangle inequality in higher dimensions
  • Explore the concept of connectedness in real analysis
  • Investigate the application of Rudin's Theorem 4.23 in solving geometric problems
USEFUL FOR

Mathematics students, particularly those studying real analysis or geometry, as well as educators seeking to deepen their understanding of the intersection of geometric objects in higher dimensions.

  • #31
I just thought of a much easier way!

We had defined u = z - x, w = y - x

and we have

|z - x|^2 = |z - y|^2

iff

|u|^2 = |u - w|^2

iff

<u,u> = <u,u> - 2<u,w> + <w,w>

iff

2<u,w> = <w,w>

iff

<2u - w, w> = 0

We seek all vectors u which satisfy the above equation, and we also have the constraints

|w| = d
|u| = r

This is really easy to see geometrically. Draw a vector v1 from 0 to w, and another vector v2 from 0 to 2u. Then 2u - w is the vector from the end of v1 to the end of v2.

The condition <2u - w, w> = 0 says precisely that 2u - w is orthogonal to w.

Under what circumstances is this possible?

There are two possibilities: case 1 (sort of a degenerate case) is when 2u = w [in which case 2r = d]

The other possibility is when you can draw a right triangle with a base of length |w| = d and a hypotenuse of length 2|u| = 2r. This is of course possible if and only if 2r > d, and it's equally clear that in that case there are infinitely many choices for u.
 
Last edited:

Similar threads

  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
9
Views
2K
Replies
1
Views
1K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
5K
Replies
4
Views
2K