
Kako je △A1B1C1∼△A2B2C2, onda je α1=α2, β1=β2 i γ1=γ2.
Prema poučku o obodnom i središnjem kutu vrijedi ∣∠A1S1B1∣=2γ1 odnosno ∣∠A2S2B2∣=2γ2.
Dakle,
∣∠A1S1B1∣=2γ1=2γ2=∣∠A2S2B2∣.
S obzirom da je ∣A1S1∣=∣S1B1∣=r1, onda je △A1B1S1 jednakokračan te je
∣∠B1A1S1∣=2180∘−2γ1.
Isto tako je ∣A2S2∣=∣S2B2∣=r2 pa je △A2B2S2 jednakokračan i vrijedi
∣∠B2A2S2∣=2180∘−2γ2.
Dakle, ∣∠B1A1S1∣=∣∠B2A2S2∣.
Prema poučku K-K o sličnosti slijedi △A1B1S1∼△A2B2S2 pa je
∣A1S1∣∣A2S2∣=∣A1B1∣∣A2B2∣
odnosno
r1r2=k
što je i trebalo dokazati.