|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.