∵
証明などで使用される。
平面上の2本の直線がOで交わるとき、Oに重ならない2本の平行の平行線でできる交点をA、BとA′、B′とすると △ABO∽△A′B′O(∵2組の角が等しい)