Archimedes found found an interesting property of arbelos, that is the area of the circle whose diameter is AH and has common tangent line to the two smaller semicircles at point A is equal to the shaded area. Prove it?

enter image source here

1 Answer
Nov 1, 2016

see explanation.

Explanation:

enter image source here

Let the three respective semicircles be #X,Y, and Z#, as shown in the diagram.
Let the areas of #X,Y,Z# be #A_X,A_Y, A_Z#, respectively.
Let the shaded area be #A_S#
#=> A_S=A_X-(A_Y+A_Z)#
#A_X=1/2(piD^2)/4#, where #D#=diameter#=r+1-r=1#
#=> A_X=1/2*pi/4=pi/8#
#A_Y=1/2*(pir^2)/4=(pir^2)/8#
#A_Z=1/2*(pi(1-r)^2)/4=(pi(1-2r-r^2))/8#
#=> A_S=pi/8-((pir^2)/8 +(pi/8(1-2r+r^2)))#
#=> A_S= pi/8(1-r^2-1+2r-r^2)#
#=> A_S=pi/4(r-r^2)#

Now let the circle centered at #o# be #W#, #AH# is its diameter.
Let #o'# be the center of #X#
#o'H=# radius of#X=1/2#
#a=1-r-1/2=1/2-r#
#AH^2=o'H^2-a^2=(1/2)^2-(1/2-r)^2#
#AH^2=(1/4-1/4+r-r^2)=(r-r^2)#

Another way to find #AH^2# is :
#AH^2=BA*AC=r*(1-r)=(r-r^2)#

Now let the area of #W# be #A_W#
#=> A_W=pi(AH)^2/4=pi/4(r-r^2)#

Hence, #A_S=A_W=pi/4(r-r^2)# (proved)