为了验证给定的有理式表示的平面曲线
其中
- 定义分子和分母:
- 分子
,其中 和 分别是 x 和 y 分量。 - 分母
.
- 分子
- 代入值:
, , , ,
- 计算
和 :- 展开:
- 展开:
- 计算
:- 展开:
- 验证
:- 计算
: - 计算
: - 比较:
对于所有 ,因此 ,即 .
- 计算
- 验证第一象限:
- 当
, ,在圆上且第一象限。 - 当
, ,在圆上且第一象限。 - 当
,计算得 ,在圆上且第一象限。 - 由于曲线是连续的且权重合理,对于所有
,有 和 .
- 当
- 结论:曲线
确实是第一象限内的 1/4 圆弧。
为了验证给定的有理式表示的平面曲线
其中