¿Por qué hashCode() puede devolver valores iguales para diferentes objetos?

Porque el rango de valores posibles del hash (int) es mucho menor que el rango de valores posibles del contenido de los objetos. De hecho, esta propiedad de cualquier función hash es comprimir los datos de entrada en un rango fijo o menor de valores. Las colisiones de hash (cuando diferentes objetos tienen el mismo hash) son inevitables.

Para que las colecciones basadas en hash funcionen correctamente (por ejemplo, HashMap, HashSet), se deben cumplir las siguientes reglas:

1. Si Objects.equals(a, b), entonces a.hashCode() == b.hashCode().
2. Si !Objects.equals(a, b), entonces a.hashCode() puede ser igual o diferente de b.hashCode().

Las colecciones utilizan hashCode() para determinar rápidamente un "cubículo" potencial para colocar o buscar un elemento, y luego usan equals() para verificar con precisión dentro de ese cubículo.