برای اثبات کدام یک از حکمهای زیر روش برهان خلف مناسبتر است؟
1 )
در هر مثلث متساوی الساقین، ارتفاع، میانه و نیمساز وارد بر قاعده، بر هم منطبقاند.
از یک نقطه فقط یک خط موازی خط مفروض میتوان رسم کرد.
3 )
در مثلث قائم الزاویه یکی از میانهها نصف وتر است.
4 )
در مثلث قائمالزاویه، عمود منصف اضلاع، بر روی وتر، متقاطع هستند.