Let AB=c, AC=b and BC=a. Using cosine theorem we have a^2=b^2+c^2-2bc cos60° =b^2+c^2-bc Letting d=b-c, we can rewrite the equation as a^2=d^2+bc a^2-d^2=bc (a-d)(a+d)=bc WLOG assume b≥c so that d≥0. Since both b and c are prime, we must have either b=a+d, c=a-d or bc=a+d, 1=a-d. In the first case, we have d=(b-c)/2=b-c. The equality holds only if b=c, where d=0 and ∆ABC becomes an equilateral triangle. In the second case, we have d=(bc-1)/2=b-c. However, (bc-1)/2≥b-1/2>b-c for all prime c≥2, which leads to a contradiction. As a result, ∆ABC can only be an equilateral triangle.
@smbspoon-me-baby3 жыл бұрын
WLOGとはWithout Loss Of Generlity の略で「…と仮定して一般性を失わない」という意味の表現です。