በካልኩለስ ጥናት፣ ቆንጣጭ እርግጥ እሚባለው እርግጥ በሁለት አስረካቢዎች መካከል ያለን አስረካቢ ጥግ ለማግኘት፣ ብሎም ለማረጋገጥ የሚጠቅም የሂሳብ መሳሪያ ነው። በተለይ ይህ መሳሪያ በጣም ጠቃሚ እሚሆነው፣ የተቆነጠጠው (መሃል ላይ ያለው) አስረካቢ ጥግ ለማስላት አስቸጋሪ ሆኖ ሳለ እርሱን ቆንጥጠው የያዙት አስረካቢዎች ጥግ ስሌት ቀላል ሆኖ ሲገኝ ነው።
I የሚባል ወሰን ቢሰጥና ነጥብ a ጥግ ነጥብ ብትሆን፣ f, g, እና h አስረካቢዎች ቢሆኑና፣ ከ a ውጭ ባሉ ማናቸውም የወሰን I ነጥቦች ላይ የተተረጎሙ ቢሆኑ፤ እንዲሁም በ I ውስጥ ለሚገኙ ማናቸውም ነጥብ x ≠ a, የሚከተለው መበላለጥ እውን ቢሆን:
እንዲሁም የቆንጣጮቹ አስረካቢዎች ጥግ እንዲህ ቢሆን:
ኤንግዲህ ምን ጊዜም ይሆናል
|
|
አስረካቢዎች s f(x) እና h(x) የላይ እና የታች ጠረፎች ይባላሉ
|
ማረጋገጫ
የሚከተለው ጥግ በጥግ ህግጋት ሊታዎቅ አይችልም
-
-
ምክንያቱም
-
ኅልው አይደለምና።
ነገር ግን በ ሳይን አስረካቢ ትርጉም መሰረት፡
-
ስለሆነም፦
-
, በቆንጣጭ እርግጥ መሰረት, ጥጉ 0 ነው ማለት ነው።