a^2+λb^2−(λ+1)c^2=0
の整数解は
(a,b,c)=(λm^2−2λmn−n^2,−λm^2−2mn+n^2,m^2+λn^2)
となる.
ここで,a>0,b>0となるための条件は,楕円
C: x^2+λy^2=λ+1
x切片((λ+1)^1/2,0)
y切片(0,(1+1/λ)^1/2
を考えると,
1/(1−(λ+1)^1/2)<μ<1−(1+1/λ)^1/2
−(1+(λ+1)^1/2)/λ<μ<1−(1+1/λ)^1/2
より,
−n(1+(λ+1)^1/2)/λ<m<n(1−(1+1/λ)^1/2)<0
[補]点(1,1)を通る接線の傾きは
2x+2λyy’=0,y’=−x/λy=−1/λ
===================================
【1】三角形になるための条件
不定方程式
a^2+λb^2−(λ+1)c^2=0
において,λ=2のとき,a=1,b=11,c=9がひとつの解であるが,これでは三角形にならない! 二辺の和は他の一辺よりも長いかどうかを確かめる必要がある.
a+b=−2(λ+1)mn+(λ−1)n^2>m^2+λn^2=c
より,
m^2+2(λ+1)mn+n^2<0
n(−(λ+1)−{(λ+1)^2−4}^1/2)<m<n(−(λ+1)+{(λ+1)^2−4}^1/2
b+c=(1−λ)m^2−2mn+(1+λ)n^2>λm^2−2λmn−n^2=a
より,
(2λ−1)m^2−2(λ−1)mn−(2+λ)n^2<0
n((λ−1−{(λ−1)^2+(2λ+1)(2+λ)}^1/2)/(2λ−1)<m<n((λ−1+{(λ−1)^2+(2λ+1)(2+λ)}^1/2/(2λ−1)
(a,b,c)=(λm^2−2λmn−n^2,−λm^2−2mn+n^2,m^2+λn^2)
c+a=(1+λ)m^2−2λmn+(λ−1)n^2<−λm^2−2mn+n^2=b
より,
−(2λ−1)m^2+2(λ−1)mn+(2−λ)n^2<0
n(−(−λ+1−{(λ−1)^2+(2λ−1)(2−λ)}^1/2)/(2λ−1)<m<n(−(−λ+1+{(λ−1)^2+(2λ−1)(2−λ)}^1/2)/(2λ−1)
===================================
【2】鋭角三角形になるための条件
三角形が鋭角三角形でなければならない条件は,
a^2+b^2>c^2,b^2+c^2>a^2,c^2+a^2>b^2
となるmの範囲の共通部分を求めることになる.
===================================