فرض: در یک چهارضلعی، ضلعهای روبهرو دوبهدو با هم برابرند. یعنی اگر چهارضلعی \(ABCD\) باشد، داریم:
\[ AB = CD \]
\[ AD = BC \]
حکم: چهارضلعی، متوازیالاضلاع است.
**اثبات:**
1. با توجه به فرض، میدانیم که در چهارضلعی \(ABCD\) داریم:
- \(AB = CD\)
- \(AD = BC\)
2. اگر یک چهارضلعی داشته باشیم که ضلعهای روبهروی آن دو به دو با هم مساوی باشند، آن چهارضلعی حتماً یک متوازیالاضلاع خواهد بود.
3. برای نشان دادن این موضوع میتوانیم از تعریف متوازیالاضلاع استفاده کنیم که میگوید: «متوازیالاضلاع شکلی است که ضلعهای روبهروی آن برابر هستند.»
پس چهارضلعی \(ABCD\) متوازیالاضلاع است.