Let T′ be the point on AB such that ∠ACT′=∠BCT′. Let ω be the circle centered at T′ tangent to segments AC and BC, and denote the points of tangency to AC and BC by M and N respectively. Note that ω exists because CT′ is an angle bisector.

Lemma 1. If RDT′S is cyclic and R and S are on the boundary of ω, then BR, AS, and CD concur.
Proof. Let P be the intersection of the lines tangent to ω that intersect R and S. Since ∠T′SP=∠T′PP=90∘, PRST′ is cyclic. Since we assumed RDT′S is cyclic, then PRDT′S is cyclic. Thus ∠T′DP=90∘. Thus P is on CD. Now, let M and N meet at C. If MN and RS meet at Q, PC is the polar of Q, so MS and RN lie on PQ. Let MN and RN meet at G.
By the law of sines, we have
(sin∠SABsin∠CAS)⋅(sin∠RBCsin∠RBA)=ASSDsin∠ADSASMSsin∠AMG⋅RBRNsin∠BNGRBRDsin∠RDB=SDMS⋅RNRD⋅sin∠BNGsin∠AMG⋅sin∠SDAsin∠RDB=sin∠SMDsin∠MDS⋅sin∠RDNsin∠RND⋅sin∠CNGsin∠CMG⋅sin∠SDBsin∠RDA=sin∠SMDsin∠RND⋅sin∠CNGsin∠CMG⋅sin∠RDNsin∠MDS⋅sin∠SDBsin∠RDA.
Denote this expression by S. For convenience, let x=sin∠RDNsin∠MDS⋅sin∠SDBsin∠RDA. Then, we have
S=sin∠SMDsin∠RND⋅sin∠CNGsin∠CMGx=GMGDsin∠CDMGNGD⋅sin∠CDN⋅NGCGsin∠NCDMGCG⋅sin∠MCDx=sin∠NCDsin∠CDN⋅sin∠CDMsin∠MCDx=DNCN⋅CMDMx=DNDMx=sin∠DNCCDsin∠BCDsin∠DMCCDsin∠ACDx=sin∠BCDsin∠ACD⋅sin∠DMCsin∠DNCx.
Since ∠T′NC=∠T′MC=∠T′DC=90∘, CMDN is cyclic, so ∠DNC=180∘−∠DMC, and
∠MDC=∠MNC=∠NMC=∠NDC.
Further, notice that
∠RDA=∠RST′=∠SRT′=∠SDB
because T′R=T′S. Hence, we conclude that
∠MDS=∠MDC+90∘−∠SDB=∠NDC+90∘−∠RDA=∠RDN.
Therefore x=sin∠RDNsin∠MDS⋅sin∠SDBsin∠RDA=1, so we have
(sin∠SABsin∠CAS)⋅(sin∠RBCsin∠RBA)⋅(sin∠ACDsin∠BCD)=1,
which implies that lines AS, RB, and CD concur by trig Ceva. This concludes the proof of the lemma. □
Denote the intersection point of BX and ω farther from B by R, and let the circumcircle of RDT′ meet ω again at S. By Lemma 1, AS and BR meet on CD, so A, S, and K are collinear. Let ωA and ωB be the circles centered at A, B with radii AC and BC respectively. Let AK meet ωB again at S′, and let BL meet ωA again at R′.
A homothety centered at B takes ω to ωA, so
BR′BR=BCBN=BABT′=a+ba.
Thus BL⋅BR=a+ba⋅BL⋅BR′=a+ba⋅BC2=a+ba3 and BT′⋅BD=c(a+ba)⋅(c⋅a2+b2a2)=a+ba3. Thus BLRDT′ is cyclic, and similarly SKDT′ is cyclic. Since LRDT′, KDT′S, and RDT′S are cyclic, then LRDT′SK is cyclic, so RDT′S is cyclic. Therefore T=T′, as desired.
