後で等号条件から極値を与える図形の形が分かる。
垂直距離は直線上の任意の点までの距離以下なので、d1≤ABd_1\le ABd1≤ABかつd2≤DCd_2\le DCd2≤DCである。等号成立にはAB⊥BDAB\perp BDAB⊥BDかつDC⊥BDDC\perp BDDC⊥BDが必要である。