Uma semicircunferência de centro O e raio r está inscrita em um setor circular de centro C e raio R, conforme a figura.

O ponto D é de tangência de BC com a semicircunferência. Se AB = s, demonstre que R · s = R · r + r · s.