Geometri Uygulaması 13!

Bu applet’in oluşturulmasına, Antonio Gutierrez’in attığı bir tweet ilham verdi. Aşağıdaki applet’te, mavi ve yeşil çemberler eş merkezlidir. Bu applet’in görsel olarak sunduğu durumu, resmî olarak nasıl ispatlayabilirsin?