社区讨论

浅谈为什么可以用2pi - 最初取的两个角

CF1CAncient Berland Circus参与者 2已保存回复 2

讨论操作

快速查看讨论及其快照的属性,并进行相关操作。

当前回复
2 条
当前快照
1 份
快照标识符
@lo2md0gh
此快照首次捕获于
2023/10/23 16:11
2 年前
此快照最后确认于
2023/10/23 16:11
2 年前
查看原帖
有一份题解提出了为什么用2π2\pi-最初选的两个角
  • 原理应该是,取的三个角必须覆盖整个圆, 按照正确的思路,应该是(下边加了*的角代表取了>180>180度的那个角):gcd(AOC,BOC,AOB)\gcd(\angle AOC,\angle BOC,\angle AOB*)
下面证明一个东西:先取AOB,AOC\angle AOB,\angle AOCgcd\gcd和先取COB,AOC\angle COB,\angle AOCgcd\gcd是一样的: gcd(AOB,AOC)=gcd(AOC+COB,AOC)=gcd(COB,AOC)\gcd(\angle AOB,\angle AOC) = \gcd(\angle AOC+COB,\angle AOC) = \gcd(\angle COB,\angle AOC)
如果一开始取的两个角不重叠,肯定能得到正确的答案。如果重叠呢?
我们只需要证明,一开始取的两个角是重叠的时候,第一次的gcd\gcd得到的结果和 (2π2\pi - 第一次取的两个角)做gcd\gcdAOB\angle AOB*gcd\gcd是一样的就可以证明是正确答案了。
证明: 然后如果一开始取的角是两个重叠的, 比如角AOB\angle AOBAOC\angle AOC,那么你得到的第一次gcd\gcd肯定是AOC\angle AOC, 这时候再和BOC\angle BOC'(2π\pi - 第一次取的两个角)做gcd\gcd的式子就是: gcd(AOC,BOC)=gcd(AOC,BOAAOC)=gcd(AOC,BOAAOC)=gcd(AOC,BOA) gcd(\angle AOC,\angle BOC') = gcd(\angle AOC,\angle BOA* - \angle AOC') = gcd(\angle AOC,\angle BOA*-\angle AOC) = gcd(\angle AOC,\angle BOA*) CC'CC关于ABAB对称的点

回复

2 条回复,欢迎继续交流。

正在加载回复...