
Neka je T1 točka dirališta kružnice upisane trokutu △AHC i stranice AC, a T2 točka dirališta kružnice upisane trokutu △AHC i stranice AH.
Promotrimo pravokutne trokute △AS1T1 i △AT2S1. Oni imaju zajedničku hipotenuzu AS1, sukladne prave kutove ∠S1T1A≅∠AT2S1 i jednake duljine stranica ∣S1T1∣=∣S1T2∣.
Dakle trokuti △AS1T1 i △AT2S1 su sukladni po teoremu SSK >, stoga je ∣AT1∣=∣AT2∣.
Promotrimo pravokutne trokute △CT1S1 i △CS1R. Oni imaju zajedničku hipotenuzu CS1, sukladne prave kutove ∠CT1S1≅∠S1RC i jednake duljine stranica ∣S1T1∣=∣S1R∣.
Dakle trokuti △CT1S1 i △CS1R su sukladni po teoremu SSK >, stoga je ∣T1C∣=∣RC∣.
Zatim, ∣T2H∣=∣RH∣ jer su to tangentne dužine povučene iz iste točke H na istu kružnicu.
Sada imamo
∣AC∣=∣AT1∣+∣T1C∣=∣AT2∣+∣RC∣=∣AH∣−∣T2H∣+∣CH∣−∣RH∣=∣AH∣+∣CH∣−2∣RH∣.
Odatle slijedi
∣RH∣=21(∣AH∣+∣CH∣−∣AC∣)=21(∣AH∣+∣CH∣−2017).(1)
Analogno, pomoću T3 i T4, dobivamo
∣SH∣=21(∣BH∣+∣CH∣−∣BC∣)=21(∣BH∣+∣CH∣−2016).(2)
Prema Pitagorinom poučku imamo
20172−∣AH∣2=∣CH∣2=20162−∣BH∣2,
odakle slijedi
∣AH∣2−∣BH∣2=20172−20162,
odnosno
∣AH∣−∣BH∣=∣AH∣+∣BH∣20172−20162=∣AB∣(2017−2016)(2017+2016)=20184033.(3)
Konačno, iz (1), (2) i (3) slijedi
∣RS∣=∣RH∣−∣SH∣=21(∣AH∣−∣BH∣−1)=21(20184033−1)=40362015.