|BC|=a,|CA|=b,|AB|=c diyelim. [BC] üzerinden bir E noktasını ∠EBA=∠EAB olacak biçimde alalım. Bu halde |CE|=|CA|=b ve |AE|=|EB|=a−b olur.
Stewart teoremini uygularsak:
|AE|2=|AC|2⋅|BE|+|AB|2⋅|CE||BC|−|BE|⋅|EC|
(a−b)2=b2⋅(a−b)+c2⋅ba−(a−b)⋅b
olup
(a−b)2(a+b)=c2b
eşitliğini elde ederiz. Şimdi ab=k, (k>1 rasyonel sayı) diyelim. (1) den,
(k−1)2(k+1)b2=c2 buluruz. Böylelikle,
c=(k−1)√k+1b,a=kb
elde ederiz ve k+1 bir rasyonel sayının karesi olmalıdır. Bazı m,n tam sayıları için k+1=(mn)2>2 yazılır. Diğer taraftan, üçgen eşitsizliğinden
a<b+c,c<a+b
olur. (2) eşitliğiyle beraber üçgen eşitsizliği bize
(k−1)√k+1<k+1
eşitsizliğini verir ve böylece
1<k<3
elde edilir. a,b,c nin en küçük değerleri için m=3,n=2 seçmeliyiz. Buradan,
k=54,a=54b,c=38b
olur. Şimdi en küçük değer olarak b=8 alabiliriz ve a=10,c=3 buluruz. Böylece tam sayı kenarlı ABC üçgeninin çevresi minimum 10+8+3=21 olur.