سؤالفرض كنيد تابع با دامنه و برد اعداد حقيقي مشتقپذير باشد و رابطههاي ذيل در مورد آن صدق كند:
نشان دهيد تابعي ثابت است.
از برهان خلف استفاده ميكنيم. فرض ميكنيم تابعي ثابت نباشد. بازهي از اعداد حقيقي بهطول را در نظر بگيريد بهگونهاي كه براي داشته باشيم:
با استفاده از قضيهي «مقدار ميانگين» براي بازهي مفروض، نقض فرض مذكور ثابت ميشود.