Recently I am investigating some geometric construction (i.e., compass and ruler constructions) and encounter into the issue of finding sine for some angles. I remember most whole number degree angles could be expressed in surd forms, only it is less pretty than the standard angles of 30°, 45°, 60°. Mostly I would start from the standard angles and break down to the degree I am interested by half angle formula or angle sum and difference formula. But some angle could result in surd under surd, for example:
Whether we can simplify this or express it in another format is the issue.
Let us start with the example. First consider if we want to factor it out into a product. Obviously it is not possible to be a product of two surd forms, so let us assume
We use instead of because we observed the negative sign in . We may also try with but we will know in the following if this is actually the case. Move the bracket term to under the surd gives:
Expressing in terms of gives the quadratic equation and solving this gives or . These two, indeed, corresponds to
which are the same (and explains why we assume the form is enough).
Another approach1 is not to factor it out but express into sum of two surds:
Again, we take instead of because we observed the negative sign of . This time, we squared both side and found that . By solving and , we have or . Because we take only positive values for the surd, comparing the expression for correct polarity we found that the solution should be
It turns out, simplifying surds directly does not seems possible but we can easily do it if we first assume the form we want to obtain. Here contains a list of sine values for all integer angles from 0° to 90°, but the surd forms are ugly. Probably we can simplify them using this approach.
This form is described in Tutorial Algebra Volume 1 ↩