Solution:
Let C be the intersection of the circle through C1,C2 and A, and the bisector of ∠C1AC2. It suffices to show that CS=CA. Let ∠C1AC2=C1BC2=2α (fixed), ∠C1PB=∠C1BP=2β and ∠C2QB=∠C2BQ=2γ. Since
∠C1RC2=180∘−∠C1PB−∠C2QB=180∘−∠C1BP−∠C2BQ=∠C1BC2=2α
then R is concyclic with A,C1,C2 and C. Also, since RI bisects ∠C1RC2, then ∠C1RI=α=∠C1RC, so C is collinear with R and I. We note too that by considering the angles of △PQR, α+β+γ=90∘.
Let the perpendicular bisectors of PI and QI meet PQ at M and N, respectively. Since SP=SI=SQ, then ∠SIM=∠SPM=∠SQN=∠SIN and so SI bisects ∠MIN, where
∠MIN=180∘−(∠MIP+∠MPI)−(∠NIQ+∠NQI)=180∘−2β−2γ=2α.

Thus, α=∠SIM=∠SIN. Consequently, S is collinear with R,I and C since ∠PIS=∠PIM+∠SIM=β+α=∠IPR+∠IRP=180∘−∠RIP. Furthermore, since ∠SQP=∠SIN=α=∠SRP, then PRQS is cyclic.
By Ptolemy's Theorem applied to C1AC2C,
CA⋅C1C2=CC1⋅AC2+CC2⋅AC1=CC1(AC1+AC2)=CC1(PC1+QC2)=CC1(RP−RC1+RQ−RC2)=CC1(RP+RQ)−CC1(RC1+RC2)
We use Ptolemy's Theorem next on C1RC2C and PRQS. Since △C1CC2∼△PSQ (both are isosceles with base angle α ),
CA=PQSP(RP+RQ)−C1C2CC1(RC1+RC2)=PQSQ⋅RP+SP⋅RQ−C1C2CC2⋅RC1+CC1⋅RC2=PQRS⋅PQ−C1C2RC⋅C1C2=RS−RC=CS.