İç Teğet Çemberi+ Dış Teğet Çemberi= Geometri Uygulaması 31!

Bu appletin oluşturulması, Antonio Gutierrez'in bir tweetinden ilham alınarak yapılmıştır. Bu applet’in görsel olarak sunduğu durumu, resmî olarak nasıl ispatlayabilirsin?