That is a right isosceles triangle, also known as a 45 45 90 triangle.
In such a triangle, the sides "a" and "b" are equal and they equal the hypotenuse multiplied by 1 / sq rt(2) or 0.7071067812
Sides "a" and "b" equal 7.071067812
Source 1728.com/trig2.htm
