y = k snijdt de rechte y =

x in
)
en de hyperbool x² − y² = 1 in punten die volgen uit de oplossing van

.
In het eerste kwadrant is dit dus het punt
)
.
Bijgevolg is |AB| =

.
Om het minimum te vinden berekenen we de afgeleide naar k :
=\frac{1.2k}{2\sqrt{1+k^2}}-\frac1{\sqrt2}=\frac{\sqrt2k-\sqrt{1+k^2}}{\sqrt2.\sqrt{1+k^2}})
De nulwaarde van deze afgeleide volgt uit

Vermits k positief moet zijn en we wel degelijk een minimum verwachten kan dat alleen maar zijn voor k = 1.