MPparallelBXMP\\parallel BXMPparallelBX より、ABABAB と XYXYXY の間の相似から AM/MB=AP/PXAM/MB=AP/PXAM/MB=AP/PX を得る。PPP を通る OBOBOB への垂線と XYXYXY の交点を HHH とすると、それは AYAYAY に平行なので、平行線の定理から AP/PX=YH/HXAP/PX=YH/HXAP/PX=YH/HX となる。