Comme ATB et ATC sont les tangentes au cercle inscrit, on a ATB = ATC, et ATBTC est isocèle en A. Par construction, , donc les triangles ATBTC et AQT sont semblables, et AQT est également isocèle en A, dont on déduit TBT = TCQ.
De même, TCP = TAS et TAR = TBU.
On trace la parallèle à (BC) passant par A intersecte (TATB) en X et (TATC) en Y. TBAX est semblable à TBCTA, qui est isocèle. Donc TBAX est isocèle en A et AX = ATC.
Cependant, comme, ATB = ATC, on en déduit que A est le milieu de XY. On étend les droites PS et RU jusqu'à (XY) ; on note les intersections M et N, respectivement. Les côtés des triangles TAXY et GeMN son parallèles, dont les deux triangles sont similaires et A est le milieu de MN. Par différence, on a :
De plus, MX = RTA, car ce sont les côtés opposés du parallélogramme TARMX. De même, NY = STA. On tire des égalités précédentes :
On peut alors conclure.