0214132人目の素数さん
2019/08/19(月) 14:30:55.17ID:7hct5IOJ平面 z = d-ax-by := f(x,y) に一般化する。
この平面が以下の4個を切るとする。
(4,1,4) を切る ⇒ f(3,0) > 3,
(1,4,4) を切る ⇒ f(0,3) > 3,
(4,1,1) を切る ⇒ f(4,1) < 1,
(1,4,1) を切る ⇒ f(1,4) < 1,
fは線形だから
f(1,1) = {3f(3,0)+3f(0,3)-f(4,1)-f(1,4)}/4 > 4,
f(3,3) = {3f(4,1)+3f(1,4)-f(3,0)-f(0,3)}/4 < 0,
⇒ (1,1,4) と (4,4,1) の2個は無傷で残る。