(17^2 + 2^2 - 2(17)(2)cos 135)^(1/2)