03 任意角的三角函数

由一个角是 30 度的直角三角形的边长关系如下。

一个等腰直角三角形的斜边是直角边的 $\sqrt{2}$ 倍。