Two different circles in the plane with nonempty intersection

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
Arnold1
Messages
16
Reaction score
0
Hi.

Here is a problem I've been trying to solve for some time now. Maybe you could help me.
We have two sets
[tex]\mathcal {Q}[/tex] is a set of those circles in the plane such that for any [tex]x \in \mathbb{R}[/tex] there exists a circle [tex]O \in \mathcal {Q}[/tex] which intersects [tex]x[/tex] axis in [tex](x,0)[/tex].[tex]\mathcal {T}[/tex] is a set of those circles in the plane such that for any [tex]x \in \mathbb{R}[/tex] there exists a circle [tex]O \in \mathcal {T}[/tex] which is tangent to [tex]x[/tex] axis in [tex](x,0)[/tex].

We need to show that in each of these sets there exist at least two different circles whose intersection isn't empty.
It seems obvious that [tex]card (Q) \ge card (\mathbb{R})[/tex]. Maybe we could somehow identify each circle with a different rational number?
 
Physics news on Phys.org
Arnold said:
Maybe we could somehow identify each circle with a different rational number?
Yes, every circle (including interior) contains a point with rational coordinates, just like every segment of the x-axis contains a point with a rational x-coordinate. Therefore, there is at most countably many disjoint circles on a plane.
 
So this is it? There are only countably many disjoint circles meeting the above specified conditions nut uncountably many points on x axis. Can we already deduce that at least two circles intersect?
 
Arnold said:
So this is it? There are only countably many disjoint circles meeting the above specified conditions nut uncountably many points on x axis. Can we already deduce that at least two circles intersect?
Yes, we can. If the circles don't intersect, then there is at most countably many of them. But each circle has at most two intersection points with the x-axis, so the number of intersection points is also countable, a contradiction.