/etc/network/interfaces
に

iface eth0 inet static
address 192.168.1.80
netmask 255.255.255.0
gateway 192.168.1.1

とすればよい、と思っていました。

実際はここはさわらずに、

/etc/dhcpcd.conf

——–
interface eth0
static ip_address=192.168.1.200/24
static routers=192.168.1.1
static domain_name_servers=192.168.1.1
——–
とするようです。

参考

【RaspberryPi】Raspbianの固定IP設定（2015-05-05以降/jessieも対応、IP二重化対策）