Przyjmijmy oznaczenia jak na rysunku poniżej:

Obliczamy c z tw. cosinusów:

${\left(c+6\right)}^2=c^2+{\left(5\sqrt{2}\right)}^2-2\cdot c\cdot 5\sqrt{2}\cdot \cos {135}^{\circ }$