【Mathematica】双纽线的旋转和验证

1、双纽线的极坐标方程是：ρ=Sqrt[Cos[2t]]图中红色曲线的参数方程是：{(Sqrt职邗珩垃[2] Sin[t] + Sin[2 t])/(3 + 2 Sqrt[2] Cos[t]), -1 - (Sqrt[2] Cos[t] + Cos[2 t])/(3 + 2 Sqrt[2] Cos[t])}本文，就来证明，这两个曲线都是双纽线。

3、再把双纽线旋转90°：ρ=Sqrt[2 Cos[2 t + Pi]]与红色曲线重合了，至少看起来是如此。

5、把三角函数的倍角全部展开，再消参数，就可以成功：