α)
Έστω
![x_1,x_2\in\left(-\infty,0\right] x_1,x_2\in\left(-\infty,0\right]](/forum/ext/geomar/texintegr/latexrender/pictures/82d2d7cc6ff739d47b0400e77975a66a.png)
με

, προκύπτει ότι:

,

Με πρόσθεση κατά μέλη, συνεπάγεται ότι:
Συνεπώς, η συνάρτηση

είναι γνησίως αύξουσα στο διάστημα
![\left(-\infty,0\right] \left(-\infty,0\right]](/forum/ext/geomar/texintegr/latexrender/pictures/2ac12beb8bdb6202f3b3864656829d45.png)
, επομένως είναι ένα προς ένα στο ίδιο διάστημα.
Η συνάρτηση είναι συνεχής, εφόσον είναι πολυωνυμική.
Έχουμε ότι:

και

Άρα

, από το θεώρημα του Bolzano συνεπάγεται ότι

, όπου το

στην προκειμένη είναι μοναδικό στο μη θετικό διάστημα, λόγω ότι η συνάρτηση

είναι ένα προς ένα στο διάστημα αυτό.
β)
Επειδή, η συνάρτηση είναι γνησίως αύξουσα στο μη θετικό διάστημα, ισχύει ότι:

και
Χρησιμοποιώντας ότι

και

από το γεγονός

προκύπτει ότι:

τετραγωνικές μονάδες μήκους.