Change of view
This activity belongs to the GeoGebra Road Runner (beep, beep) book.
We are now ready to change the point of view. That is, to replace the reference system of the Cartesian axes, with canonical vectors i j k, by the local reference system TNB of the Frenet frame. You can find everything related to a change of 3D reference system in this (spanish) GeoGebra book 
.
At the beginning, in the construction, the Point view checkbox is activated. Now, the point that moves along the curve remains fixed in the 3D view, exactly at the coordinate center (0, 0, 0), while the entire curve moves in its place. Note that the same happens in its projection in the 2D view (in this view, we have preserved, on the left, the global projection to appreciate the difference).
To achieve this transformation, we have performed the following steps:
.
At the beginning, in the construction, the Point view checkbox is activated. Now, the point that moves along the curve remains fixed in the 3D view, exactly at the coordinate center (0, 0, 0), while the entire curve moves in its place. Note that the same happens in its projection in the 2D view (in this view, we have preserved, on the left, the global projection to appreciate the difference).
To achieve this transformation, we have performed the following steps:
- We define the rotation matrix M = Mz My Mx, where:
Mz is the rotation matrix of angle -arg(T) around the zAxis.
My is the rotation matrix of angle alt(T) around the yAxis.
Mx is the rotation matrix of angle If(arg(aux) < 0, π + alt(aux), -alt(aux)) around the xAxis, where aux is the auxiliary vector defined as:
Rotate(Rotate(N, -arg(T), zAxis), alt(T), yAxis)
In case we travel along the surface, we replace N with normal ⊗ T. - We subject all points P that we want to display to the isometry, composed of rotation and translation, which transforms P into P' = (P - C) M. For example, the shown curve, parameterized by f(t), becomes:
c' = Curve((f(t) - C) M, t, t1, t2)
In the case of a surface sup, parameterized by F(u, v), we would obtain:sup' = Surface((F(u, v) - C) M, u, u1, u2, v, v1, v2)
Note that this transformation brings C to the origin of coordinates, since C - C = (0, 0, 0). Likewise, it aligns the TNB vectors with the canonical base i j k (in case of choosing to travel along the surface, it will be the normal vector that coincides with k).
ZoomIn(-0.45, -2, -0.7, 2, 2, 1)
or even until it is out of sight, as if we were right above it, looking straight ahead, when the Surf (front) checkbox is activated:ZoomIn(-0.3, -2, -0.7, 2, 2, 1)
Author of the construction of GeoGebra: Rafael Losada