Öncelikle iki üçgenin benzerliğinin tanımını yapalım: ABC ve DEF üçgenlerinin köşeleri arasında A↔D, B↔E,C↔F, şeklinde bir eşleme bulunsun. Eğer eşleşen köşelerdeki iç açı(ya da dış açı) ölçüleri eşit ve bu köşelerin karşısındaki kenar uzunlukları da orantılı ise bu üçgenlere benzer üçgenler, kenar uzunlukları oranına da benzerlik oranı denir. ABC üçgeni ile DEF üçgenleri benzer ise bunu ABC∼DEF biçiminde gösteriyoruz.
Benzerlikle ilgili bir çok teorem teorem vardır. Şimdi onlardan birisi olan ve Açı,Açı,Açı (A.A.A) diye de bilinen teoremi ispatlayalım.
Teorem: İki üçgenin karşılıklı iki iç açısının ölçüsü eşitse bu üçgenler benzerdir.
Hip: ABC ile DEF üçgenleri veriliyor. m(ˆA)=m(ˆD),m(ˆB)=m(ˆE) dir.
Hük: ABC∼DEF dir.
İspat: Hipotezde verilen eşitlikleri taraf tarafa toplayalım. m(ˆA)+m(ˆB)=m(ˆD)+m(ˆE) dir. Bir üçgenin iç açı ölçüleri toplamı 1800 olduğundan, 180−(m(ˆA)+m(ˆB))=180−(m(ˆD)+m(ˆE))⇒m(ˆC)=m(ˆF) olur. Böylece benzerliğin ilk koşulu sağlanmış olur. Şimdi de kenarlarının orantılı olduğunu gösterelim. Bu iki üçgeni A ile D köşesi ,[AB] ile [DE] kenarları çakışacak şekilde üst üste getirelim. Bu durumda [AC] ile [DF] de çakışacaktır. Ancak [BC] ile [EF] çakışmayabilir. Bu şekil de [EF]//[BC] dir. Çünkü yöndeş durumlu açıların ölçüleri eşittir. Bu yüzden Thales teoreminden |AE||AB|=|AF||AC|=|EF||BC|⇒fc=eb=da olur. Bu da ABC∼DEF dir.