Integer triangle side of the formula are integers it follows that all integer triangles must have an integer value of "16T" and "T" will be rational. By the law of cosines, every angle of an integer triangle has a rational cosine. If the angles of any triangle form an arithmetic progression then one of its angles must be 60°. For integer triangles the remaining angles must also have rational cosines and a method of generating such triangles is given below. However, apart from the trivial case of an equilateral triangle there are no integer triangles whose angles form either a geometric or
Euler angles elements of a rotation matrix are not all completely independent. For example, the rotation matrix in dimension 2 has only one degree of freedom, since all four of its elements depend on a single angle of rotation. A rotation matrix in dimension 3 (which has nine elements) has three degrees of freedom, corresponding to each independent rotation, for example by its three Euler angles or a magnitude one (unit) quaternion. In SO(4) the rotation matrix is defined by two quaternions, and is therefore 6-parametric (three degrees of freedom for every quaternion). The rotation matrices have therefore 6 out of 16