2つの三角形にまたがる図形の証明