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 :
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.