Question

證明以下命題：
（1）對任一正整a，都存在整數b，c（b＜c），使得a²，b²，c²成等差數列．
（2）存在無窮多個互不相似的三角形△_n，其邊長a_n，b_n，c_n為正整數且a_n²，b_n²，c_n²成等差數列．

Answer 1

解（1）考慮到結構特征，取特值1²，5²，7²滿足等差數列，只需取b=5a，c=7a，對一切正整數a均能成立．
（2）證明：當a_n²，b_n²，c_n²成等差數列，則b_n²-a_n²=c_n²-b_n²，
分解得：（b_n+a_n）（b_n-a_n）=（c_n+b_n）（c_n-b_n）
選取關于n的一個多項式，4n（n²-1）做兩種途徑的分解4n（n²-1）=（2n-2）（2n²+2n）=（2n²-2n）（2n+2）4n（n²-1）
對比目標式，構造

an=n2-2n-1 bn=n2+1 cn=n2+2n-1

(n≥4)，由第一問結論得，等差數列成立，
考察三角形邊長關系，可構成三角形的三邊．
下證互不相似．
任取正整數m，n，若△_m，△_n相似：則三邊對應成比例

m2-2m-1

n2-2n-1

=

m2+1

n2+1

=

m2+2m-1

n2+2n-1

，
由比例的性質得：

m-1

n-1

=

m+1

n+1

?m=n，與約定不同的值矛盾，故互不相似．