■正三角形の初等幾何学(その46)
2e^2=(b^2−f^2)/2
を
d^2={(3b^2+2e^2)+3bf}/2
に代入すると
d^2=(3b^2+(b^2−f^2)/2+3bf}/2
=(6b^2+(b^2−f^2)+6bf}/4
=(7b^2+6bf−f^2}/4
=(7b^2+6bf−f^2}/4
=(b+f)(7b−1)/4
d^2=(b+f)(7b−f)/2
b=4n+1,f=4n−1
に制限すると,
d^2=4n(24n+8)/2=4n(12n+4)
m=4nとおくと
d^2=m(3m+4)
mが平方数のとき,
(3m+4)=N^2
となるmを探すことになるが,nが非平方数のときは難しい.
m=1(NG) m=36(NG)
m=4(OK) m=49(NG)
m=9(NG) m=64(OK)
m=16(NG) m=81(NG)
m=25(NG) m=100(NG)
m=4のとき,d^2=64(d=8)
m=64のとき,d^2=12544(d=112)
m=30・30のとき,d=1560
m=112・112のとき,d=21728
となって,新たな解が得られた.
m=4n,b=4n+1,f=4n−1
2e^2=(b^2−f^2)/2=8n→e=2√n
m=30・30→n=225,b=901,e=30,a=871,c=930
m=112・112→n=3136,b=12545,e=112,a=12433,c=12657
この関係式はすべての整数三角形分割を生み出すわけではないが,多数の分割を生み出してくれる.
===================================