Sacred Haven of Debauchery

Where did this formula even come from?

Any schoolchild knows that the diagonal of a square equals a times the square root of 2, where a is the side. Therefore, if the diagonal equals c, then the side equals c divided by the square root of 2.

Added after 57 seconds
Okay, that was for an isosceles triangle.