Balls in R^k - Rudin PMA C1 16

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

Homework Help Overview

The problem involves proving the existence of an infinite number of solutions to the equation |z-x|=|z-y|=r under the condition that 2r>d, where x and y are points in R^k and d is the distance between them. The discussion centers around geometric interpretations and properties of real numbers.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore geometric interpretations of the problem, noting that the intersection of two spheres forms a circle. Some suggest using properties of R to establish the existence of solutions, while others question the implications of rational versus real coordinates.

Discussion Status

The discussion is active, with participants offering various approaches to the problem, including the use of continuous functions and transformations to simplify the equations. There is recognition of the need to establish at least one solution, and some participants are considering how to translate the problem into a simpler coordinate system.

Contextual Notes

Participants note the distinction between rational and real numbers, with some expressing surprise at the implications for the existence of solutions in different contexts. There are also discussions about the potential complications arising from irrational centers and the nature of the radius.

  • #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
1
Views
1K
Replies
9
Views
2K
  • · 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