Let triangle ABC be a triangle such that angle ACB is 135 degrees.

Question

Prove that AB^2 = AC^2 + BC^2 - (Root 2) x AC x BC