- 注册时间
- 2009-2-12
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 26540
- 在线时间
- 小时
|
设面积为$S$, 因为三个角的正弦和余弦都必须是有理数,于是可以有理化为 $x^2=(bc)^2=\left(u+\frac{1}{u}\right)S,y^2=(ac)^2=\left(v+\frac{1}{v}\right)S,z^2=(ab)^2=\frac{\left(u^2+1\right) \left(v^2+1\right)S}{(u+v) (1-u v)}$
也就是 我们要找到有理数$u,v$,使得$x^2:y^2:z^2=u+\frac{1}{u}:v+\frac{1}{v}:\frac{\left(u^2+1\right) \left(v^2+1\right)}{(u+v) (1-u v)}$.换个形式就是 $x^2:y^2:z^2=\frac{1}{v(1+u^2)}:\frac{1}{u(1+v^2)}:\frac{1}{(u+v) (1-u v)}$
也就是$ v(u^2+1)=k a^2,u(v^2+1)=k b^2,(u+v) (1-u v)=k c^2$, 这恐怕是最简单的有理化形式了.
现在我们挖掘 u,v之间的关系,进一步增加约束.因为$\frac{u}{v}=\frac{b^2}{a^2}*\frac{u^2+1}{v^2+1}$,所以, $\frac{u}{v}$即约后,分子分母非平方部分的都是形如$m^2+n^2$的因子. |
|