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