■ママチアセビッチとフィボナッチ数生成関数(その4)
f(x,y)=ax^2+bxy+cy^2とおく。
f(1,0)=a
f(0,1)=b
f(1,1)=a+b+c
f(1,-1)=a-b+c
f(1,1)+f(1,-1)=2{f(1,0)+f(0,1)}が成り立つ。
一般に
f(2x+u,2y+v)+f(u,v)=2{f(x+u,y+v)+f(x,y)}が成り立つ。
===================================
左辺
a(2x+u)^2+b(2x+u)(2y+v)+c(2y+v)^2+au^2+buv+cv^2
=a(4x^2+4xu+2u^2)+b(4xy+2xv+2yu+2uv)+c(4y^2+4yv+2v^2)
右辺
2a(x+u)^2+2b(x+u)(y+v)+2c(y+v)^2+2ax^2+2bxy+2cy^2
=2a(2x^2+2xu+u^2)+2b(2xy+xv+yu+uv)+2c(2y^2+2yv+v^2)
左辺=右辺
===================================
2次形式では演算規則
f(2x+u,2y+v)+f(u,v)=2{f(x+u,y+v)+f(x,y)}
にしたがって、トポグラフを描くことができる。1つの辺の両端のある領域の番号の和は、その辺の両側の領域の番号の和の2倍になるのである。
===================================