Let the side length of the square be \(s\). The diagonal of the square is given by the formula: - Groen Casting