Dear friends,
Consider an Arbelos as in the figure. Let D, E, F
be the highest points of semicircles AB, AC, BC,
respectively. Draw a circle (D) centred at D, radius CD.
Similarly, draw a circle (E) centred at E, radius BE and
draw a circle (F) centred at F, radius AF.
Then, circles (D), (E), (F) concur.Thinking on a proof...
Best regards,
Emmanuel.- El 19/03/2015 a las 23:44, Paul Yiu yiu@... [AdvancedPlaneGeometry]
escribió:>
Let the line CD intersect the semicircle BA (not containing C) at Z'.
>
> Dear Emmanuel and Francisco Javier,
>
> [EG]: Consider an Arbelos as in the figure. Let D, E, F
> be the highest points of semicircles AB, AC, BC,
> respectively. Draw a circle (D) centred at D, radius CD.
> Similarly, draw a circle (E) centred at E, radius BE and
> draw a circle (F) centred at F, radius AF.
>
> Then, circles (D), (E), (F) concur.
>
> [PY]: Consider the square on AB, on the same side of the arbelos.
>
> Construct the perpendicular to AB at C to intersect the opposite side of
> the square at P.
> Since D is the center of the square, DP = DC.
> Construct the perpendicular to AB at E.
> This gives two congruent right triangles in which EP andEB are hypotenuses.
> Therefore, EP = EB.
> Similarly, FP= FA.
> This shows that P is a common point of the circles D(C), E(B), F(A).
>
> *** Let the line AF intersect the semicircle BC at Y,
> the line BE intersect the semicircle AC at X,
> and the lines AF, BE intersect at Q.
> Join CQ to intersect the semicircle AB at Z.
>
> Then the circle XYZ is the incircle of the arbelos.
Then Z is symmetric of Z' with respect to segment AB.
--
Best regards,
Ignacio Larrosa Cañestro
A Coruña (España)
ilarrosa@...
http://www.xente.mundo-r.com/ilarrosa/GeoGebra/