Możemy podzielić równanie stronami przez . Wyrażenie to jest zawsze dodatnie, ponieważ kwadrat liczby rzeczywistej jest zawsze nieujemny, a powiększony o  jest