File talk:Square root of 2 triangle.svg