{{ tocSubheader }}
| {{ 'ml-lesson-number-slides' | message : article.intro.bblockCount }} |
| {{ 'ml-lesson-number-exercises' | message : article.intro.exerciseCount }} |
| {{ 'ml-lesson-time-estimation' | message }} |
In the above circle, AB and CD are chords, and AB and CD are their corresponding arcs. Given that information and according to the theorem, the following relation holds true.
AB≅CD⇔AB≅CD
Since the theorem is a biconditional statement, the proof will consist of two parts, the conditional statement and its converse.
Since corresponding parts of congruent triangles are congruent, AB and CD are congruent segments. This proves the conditional statement.
AB≅CD⇒AB≅CD
AB≅CD⇒AB≅CD
Having proven both the conditional statement and its converse completes the proof of the biconditional statement.
AB≅CD⇔AB≅CD