We have shown that the two triangles OAB and IAB are congruent.

• 我们已经证明三角形OAB和IAB全等。