Polimorfismo

Polimorfismo significa muchas formas.
Una refrencia a una variable, es siempre unica, nos se le puede cambiar el tipo, pero puede referir a un subtipo del objeto que declaro.

Un solo objeto puede ser referiado por muchas variables de referencia de muchos tipos diferente.. siempre y cuando sean del mismo tipo o supertipo del objeto.

La variable de referencia(no en objeto en si mismo), determina a que metodo se tiene que llamar.
En compilador solo sabe que variable de referencia se esta usando, pero al momento de que el objeto se ejecuta ya se sabe que objeto es.
LA invocacion polimorfica de los metodos aplica solo a metodos de instancia sobreescritos, no a variables estaticas ni a variables, solo a metodos que puedan llamarce a travez de una instancia.