中線連結定理って使わなくなったなあ