（長さの式なんか使おうと思った記憶がある、あの中3で習った三平方の定理の出番だったのね。）