1) From the construction of the circles (O1) and (O2), we have:
∠CAD=∠DCB (subtend the arc CD of (O1))(1)
∠ACD=∠CBD (subtend the arc CD of (O2))(2)
Therefore △DAC∼△DCB and so
DCDA=DBDB, i.e. CD2=DA⋅DB(3)

The law of cosines for triangle ADB gives
AB2=AD2+DB2−2AD⋅DBcos(∠ADB), soAB2≥2AD⋅DB(1−cos(∠ADB))(4)
(3) and (4) imply that
AB2≥2CD2(1−cos(∠ADB))(5)
The law of sines for triangle ABC gives AB=2Rsin(∠ACB). So, from (5), we deduce that
2R2sin2(∠ACB)≥CD2(1−cos(∠ADB)).(6)
From (1) and (2), we see that
∠CAD+∠ACD=∠DCB+∠CBD=∠CAD+∠CBD==∠DCB+∠DCA=∠ACB(7)
Therefore
∠ADC=∠BDC=180∘−∠ACB(8)
Moreover, it is easily seen that:
- C, D lie on the same side with respect to the line AB
⇔∠CAD+∠CBD<∠CAB+∠CBA;
- C, D lie on distinct sides with respect to the line AB
⇔∠CAD+∠CBD>∠CAB+∠CBA.
So, from (7), we deduce that:
- If ∠ACB is acute then C, D lie on the same side with respect to the line AB;
- If ∠ACB is obtuse then C, D lie on distinct sides with respect to the line AB.
Therefore, from (8),
when ∠ACB is acute,
∠ADB=360∘−(∠ADC+∠CDB)=2∠ACB
when ∠ACB is obtuse,
∠ADB=∠ADC+∠CDB=360∘−2∠ACB.
So, in all cases, cos(∠ADB)=cos(2∠ACB).
Hence, from (6), we have CD≤R,
QED.
2) From the preceding results, it is easily seen that:
−CD is the angle bisector of ∠ADB;(9)
−O,D lie on the same side with respect to the line AB;(10)
−∠ADB=∠AOB.(11)
From (10), (11) we deduce that: when C moves on (O) (but C distinct from A,B), the point D moves on the arc AOB of the fixed circle (AOB). Therefore, (9) proves that the line CD passes through a fixed point, namely the middle point M of the arc AB not containing O of the circle (AOB).