Αν μία συνάρτηση ορίζεται σε ένα διάστημα (α,β) και ισχύει
-f({x}_{0})}{x-{x}_{0}}=+\propto )
όπου
)
να αποδείξετε ότι η f δεν είναι απαραίτητα συνεχής στο

.
Επειδή το

είναι εσωτερικό σημείο του (α,β) τότε υπάρχουν τα πλευρικά όρια και είναι ίσα:
Είναι γνωστό ότι

και
(Α) Θα εξεταστούν τα πλευρικά όρια της f στο

θεωρώντας ότι η f δεν είναι συνεχής στο

:
1) Έστω ότι υπάρχουν τα πλευρικά όρια και είναι πεπερασμένα
Για να είναι
-f({x}_{0})}{x-{x}_{0}}=+\propto)
πρέπει
<0\Rightarrow \alpha <f({x}_{0}))
αφού
Για να είναι
-f({x}_{0})}{x-{x}_{0}}=+\propto)
πρέπει
>0\Rightarrow \beta >f({x}_{0}))
αφού
Άρα
<\beta )
που σημαίνει ότι η δεν υπάρχει το
)
και η f δεν είναι συνεχής στο
2) Έστω ότι υπάρχουν τα πλευρικά όρια και δεν είναι πεπερασμένα
Πρέπει
=-\propto )
ώστε
-f({x}_{0})}{x-{x}_{0}}=+\propto)
αφού
Πρέπει
=+\propto )
ώστε
-f({x}_{0})}{x-{x}_{0}}=+\propto)
αφού
Άρα και σε αυτήν την περίπτωση δεν υπάρχει το
)
και η f δεν είναι συνεχής στο

. Σε αυτήν την περίπτωση η ευθεία

είναι κατακόρυφη ασύμπτωτη της γραφικής παράστασης της f.
3) Επίσης υπάρχει η περίπτωση το ένα πλευρικό όριο να είναι πεπερασμένο διάφορο του
)
και το άλλο μη πεπερασμένο που είναι συνδυασμός των δύο παραπάνω περιπτώσεων. Σε αυτές τις περιπτώσεις δεν υπάρχει το
)
, η f δεν είναι συνεχής στο

και η ευθεία

είναι κατακόρυφη ασύμπτωτη της γραφικής παράστασης της f. Επίσης υπάρχει η περίπτωση το ένα πλευρικό όριο να ισούται με
)
και το άλλο είτε να είναι πεπερασμένο διάφορο του
)
είτε να μην είναι πεπερασμένο. Πάλι η f δεν είναι συνεχής στο
(Β) Η f είναι συνεχής στο

που σημαίνει ότι υπάρχει το
)
και ισχύει η ισοδυναμία:
Σε αυτήν την περίπτωση η ευθεία

είναι κατακόρυφη εφαπτομένη της γραφικής παράστασης της f στο σημείο
Από την παραπάνω ανάλυση προέκυψε πως όταν η f είναι ορισμένη στο (α,β),
)
, υπάρχει το
-f({x}_{0})}{x-{x}_{0}})
και ισούται με

(ή

), τότε η f δεν είναι απαραίτητα συνεχής στο
Όσον αφορά συνεπώς την κατακόρυφη εφαπτομένη τότε η σωστή διατύπωση είναι η εξής:
"Αν μία συνάρτηση f είναι συνεχής στο

, υπάρχει το όριο
-f({x}_{0})}{x-{x}_{0}})
και ισούται με

(ή

) τότε η ευθεία

είναι κατακόρυφη εφαπτομένη της γραφικής παράστασης της f στο σημείο
\right))
."