Tal y como se vio en el artículo anterior, un rayo define una línea recta imaginaria que parte de la posición del observador y atraviesa el centro de un pixel. Para determinar el color de dicho pixel se debe determinar que objetos ve el observador mirando a lo largo de la dirección del rayo que lo atraviesa, y para ello se deben calcular las intersecciones que ocurren entre el rayo y los objetos presentes en la escena.

Saber como se calculan estas intersecciones permite generar una imagen de forma rápida, ya que, para obtener el color de un pixel, basta con calcular todas las intersecciones posibles que se producen entre el rayo que lo atraviesa y los objetos de la escena, y asignar a dicho pixel el color del objeto intersectado más cercano al observador.

Este artículo presenta fórmulas genéricas para el cálculo de las intersecciones de los rayos con los objetos y para la obtención de las normales a los objetos en dichas intersecciones. El cálculo de normales no será de utilidad hasta que presenten los modelos de iluminación, pero resulta muy conveniente introducirlo en este momento porque las normales se calculan en los puntos de intersección.

Ecuación del Rayo

Tal y como se detalló en el artículo anterior, los rayos se caracterizan por su origen O = (ox, oy, oz), y su vector dirección normalizado D = (dx, dy, dz), lo que permite definirlos mediante la siguiente ecuación paramétrica:

Ecuación que puede reescribirse considerando cada componente por separado:

Un valor de t = 0 nos sitúa en la posición que ocupa el observador, un valor negativo por detrás, y uno positivo por delante. Aunque de forma general se suele acotar los posibles valores válidos con dos límites, uno superior y otro inferior:

El valor t_near se toma próximo a cero, y no exactamente cero, para intentar salvar los habituales problemas de precisión en el cálculo computacional. El valor t_far, que indica el mayor valor considerado para t, permite descartar objetos que se encuentran muy lejanos al observador, y cuya aportación no es significativa.

Intersección con un Objeto

Hasta ahora se había hablado de los objetos presentes en la escena de forma muy genérica, pero en la práctica se suelen definir mediante primitivas geométricas como esferas, cilindros o planos. La ventaja de este de tipo de entidades es que se pueden generalizar mediante una ecuación implícita de la siguiente forma:

Los puntos (x, y, z) para los que se cumple la ecuación representan los puntos que se encuentran sobre la superficie del objeto, de forma que los puntos de intersección entre un rayo y dicha superficie se obtienen sustituyendo en la ecuación de la superficie la ecuación del rayo, y resolviendo por t:

Los puntos que satisfacen ambas ecuaciones al unísono son puntos que se encuentran al mismo tiempo en el rayo y la superficie, o sea, son puntos de intersección entre ambos.

El cálculo de intersecciones se reduce así a encontrar todos los valores reales de t que verifican la ecuación. Los valores de t encontrados, y evaluados en la ecuación del rayo, proporcionarán los puntos del espacio en que se producen dichas intersecciones.

Dependiendo de la dirección del rayo, y la forma de la superficie del objeto contra la que se compruebe la intersección, se puede obtener cero, una ó más soluciones reales. La intersección con menor valor de t será la más cercana al punto de partida del rayo. Los valores negativos corresponderán a puntos situados por detrás del origen del rayo, en sentido contrario a su dirección, por lo que no se tendrán en cuenta. Y las raices imaginarias (no reales) se interpretarán como que no se produce intersección.

Así, si ti es el valor de t para el que se produce una intersección, entonces el punto intersectado I = (ix, iy, iz) es:

O escribiendo cada componente por separado:

Normal al Punto de Intersección con un Objeto

Una vez determinado el punto de intersección I con un objeto, se puede determinar la normal Ni al objeto en dicho punto. Su utilidad se verá clara en un artículo posterior dedicado a iluminación.

La normal de un objeto en un punto concreto de su superficie es un vector perpendicular a la superficie en dicho punto, y realmente, cuando se habla de calcular la normal, se habla de calcular la dirección de dicho vector perpendicular. Por ejemplo, la dirección de la normal en un punto concreto de la superficie de una esfera la marca la dirección que une el centro de la esfera con dicho punto. En cambio, la normal en cualquier punto de la superficie de un plano totalmente horizontal es un vector totalmente vertical. Es decir, que la forma de obtener la normal varía significativamente en función del tipo de objeto, ya que su cálculo depende completamente de la forma del mismo, y no puede estudiarse de forma global, debe hacerse individualmente.

Otro factor a tener en cuenta a la hora de calcular la normal es saber si la intersección con el rayo se produce en la cara interior o exterior del objeto. Y aunque en principio pueda resultar bastante difícil de calcular, en realidad es bastante sencillo gracias al producto escalar, ya que si dos vectores apuntan hacia un mismo lado de un plano el signo de dicho producto es positivo, y si lo hacen hacia lados contrarios es negativo. Con lo que, si el signo del producto escalar entre la normal y el rayo es negativo entonces el rayo incide en la cara exterior del objeto (apunta en dirección contraria a la normal), y si es positivo incide sobre la cara interior (apunta en la misma dirección que la normal). El valor cero corresponde al caso en que ambos vectores son perpendiculares, es decir, el rayo es tangente al objeto.

Si el rayo incide en la cara interior del objeto (se cumple Ni · D > 0) se cambiará la dirección de la normal, esto es, se tomará -Ni, para tener en cuenta tal circunstancia.

La explicación de en qué consiste el producto escalar queda fuera del alcance de este artículo, puede encontrarse en cualquier tutorial básico de cálculo de vectores. Baste decir que dados dos vectores A = (ax, ay, az) y B = (bx, by, bz), el producto escalar es el valor resultante de evaluar la siguiente expresión:

 

Intersección con una Primitiva Transformada

Como ya apuntábamos en el apartado anterior, los objetos que forman parte de una escena se definen normalmente con una primitiva geométrica, como esferas, cilindros o planos. Sin embargo, en la práctica no basta con indicar el número de objetos que se desea, sino que se debe caracterizar cada objeto con al menos una posición, y muy posiblemente con un tamaño concreto o una orientación determinada. Es decir, no basta con indicar que se quieren dibujar dos esferas, hay que indicar que una de ellas estará centrada, por ejemplo, en el punto (-5, 2, -3) y la otra en (3, 2, -1), y que la primera tendrá un radio 3 y la segunda un radio 1.

Cada transformación en particular se representa matemáticamente mediante una matriz numérica. Y todas las matrices se combinan en una única. El orden en que se combinan las transformaciones es importante. No es lo mismo trasladar primero y rotar luego, que rotar primero y trasladar luego. El orden que consideraremos en esta serie de artículos será primero el escalado, segundo la rotación sobre el eje X, tercero la rotación sobre el eje Y, cuarto la rotación sobre el eje Z, y quinto la traslación.Para conseguir esto, los objetos se definen con una primitiva y un conjunto de transformaciones. Las primitivas son formas básicas, como esferas, cilindros o conos, en su forma canónica, es decir, centradas en el origen de coordenadas y con radio la unidad. Y las transformaciones consisten en escalados, rotaciones y traslaciones que se deben aplicar a las primitivas para dimensionarlas, girarlas y ubicarlas dentro de la escena.

Aplicar a una primitiva una matriz de transformación hace que se instancie un objeto en el mismo espacio de coordenadas en el que se encuentra definido el rayo, lo que permite estudiar las posibles intersecciones entre ambos. Sin embargo, para hallar las intersecciones con los objetos de la escena, no se trabaja con la primitiva transformada, sino que se aplica la inversa de las transformaciones al rayo, y se calcula su intersección con la primitiva canónica. La principal razón por la que se realiza así es que se simplifica significativamente los cálculos, las expresiones que describen las primitivas en su forma canónica son más sencillas de tratar que las correspondientes expresiones de las primitivas transformadas.

Si aplicar la matriz de transformaciones a la primitiva canónica transporta la primitiva al espacio donde se encuentra el rayo, aplicar la inversa de dicha matriz al rayo transporta al rayo al espacio de coordenadas de la primitiva canónica.

Denotaremos con M la matriz de transformaciones, y con INV(M) la inversa de M.

Sean O’ y D’ los componentes del rayo resultantes de multiplicar los componentes originales, O y D, por INV(M):

Aunque la operación realizada a ambos componentes es la misma, el origen O es un punto y la dirección D es un vector, por lo que la traslación no tiene que tener efecto en el vector D, algo que puede resolverse fácilmente utilizando coordenadas homogéneas.

La ecuación del rayo en el espacio del objeto es igual que la original, pero reemplazando en ella sus componentes originales por sus equivalentes transformados:

Algo muy importante que ha de tenerse en cuenta es el hecho de que habitualmente el vector D’ es normalizado, o sea, dividido por su longitud:

Esta operación se lleva a cabo para realizar ciertas optimizaciones basadas en el hecho de que dicho vector es unitario. Sin embargo, esta normalización rompe la naturaleza de las transformaciones realizadas, el escalado original se pierde. Por ello, para restaurar el orden de las cosas, se debe dividir los valores de t encontrados por dicha longitud, para que todos los elementos involucrados en el cálculo se vean igualmente afectados.

Así, si ti’ es el valor de t para el que se produce la intersección en el espacio del objeto, considerando el vector dirección D’ normalizado, entonces el valor ti en el espacio del rayo será:

La construcción de la matriz de transformaciones, su inversa, y el uso de coordenadas homogéneas, queda fuera del alcance de este artículo, puede encontrarse en cualquier texto básico de gráficos por ordenador. A modo de referencia he añadido un apéndice a este artículo con las matrices de transformación más comunes y una breve introducción al uso de coordenadas homogéneas.

Normal al Punto de Intersección con una Primitiva Transformada

El escalado es una de las operaciones que se llevan a cabo al aplicar una matriz de transformación a una primitiva canónica, provocando un cambio en la forma de la misma. Por ejemplo, si se aplica un escalado uniforme a una esfera se obtiene otra esfera de distinto tamaño, pero si el escalado se aplica sólo en uno de los ejes se obtiene una elipse.

Lo realmente importante a tener en cuenta es que el escalado provoca un cambio de la posición relativa de los puntos de la superficie sobre la que se aplica, lo que conlleva una variación de los ángulos que forman los puntos entre sí, y que estos cambios afectan a los vectores característicos sobre la superficie, como son las tangentes y las normales. Por ejemplo, si se escala verticalmente un polígono triangular como el de la imagen, el ángulo que forma el vértice superior con el inferior derecho varía, haciendo que la dirección de la normal en dicho lado varíe también.

Las tangentes de las primitivas transformadas pueden construirse aplicando la matriz de transformación a las tangentes de las primitivas canónicas, porque se calculan mediante las diferencias de las posiciones de los puntos, y estas se mantienen. Las normales, por el contrario, no pueden construirse así, porque se calculan en base a los ángulos que forman entre sí las posiciones, y estos no se mantienen.

Resumiendo, dada una tangente de una primitiva canónica, podemos construir la tangente transformada aplicando la matriz de transformación. Sin embargo, dada una normal, no podemos construir la transformada aplicando la matriz de transformación. Debe aplicarse otra matriz. Y el objetivo del resto de este apartado es encontrar dicha matriz.

Lo que sigue es un desarrollo matemático un poco largo que puede saltarse si lo único que le interesa es el resultado.

Sea Ti’ la tangente, y Ni’ la normal en el espacio de coordenadas del objeto, es decir, en el espacio de la primitiva canónica. Y sea Ti la tangente al punto de intersección, y Ni la normal al mismo, en el espacio de coordenadas globales, es decir, en el espacio original del rayo.

La tangente Ti es el resultado de aplicar la matriz de transformación a la tangente Ti’. Por su parte, la normal Ni será el resultado de aplicar otra matriz, llamémosla L, la matriz buscada, a la normal Ni’:

La tangente y la normal a un punto son perpendiculares entre sí, y esa relación se cumple siempre. Matemáticamente se caracteriza porque el producto escalar entre ambos vectores es cero:

Para desarrollar esta expresión, y encontrar el valor de L, hemos de tener en cuenta dos propiedades. Primera, que considerando los vectores como matrices fila, el producto escalar de dos vectores es equivalente al producto de la traspuesta de un vector por otro:

Y segunda, que la traspuesta del producto de dos matrices es igual al producto de sus traspuestas cambiando el orden de los elementos:

Aplicando esas dos propiedades en la expresión a desarrollar:

Considerando sólo el primer y último término, y aplicando la primera propiedad, podemos reescribirlos como:

Es decir, el producto del primer y último término es cero. Luego, la expresión que estamos desarrollando sólo será 0 si el producto de los otros dos factores es igual a la matriz identidad. Aunque no sea evidente a primera vista, debe quedar claro considerando que el producto de matrices no es conmutativo, por lo que al resolver la expresión de izquierda a derecha, justo antes de multiplicar por el último término, el resultado de los tres primeros factores debe ser igual al valor del primer término, para que el resultado total sea cero:

Finalmente, podemos despejar el valor de la matriz L buscada:

Teniendo en cuenta que, de forma general, A * INV(A) = INV(A) * A = I:

Calculando la traspuesta en ambos lados de la expresión, sabiendo que TRAS( TRAS(A) ) = A:

Es decir, la normal en el espacio de coordenadas globales, se obtiene aplicándole la traspuesta de la inversa de la matriz de transformación, a la normal en el espacio de coordenadas de la primitiva canónica: