- 507 名前：１３２人目の素数さん mailto:sage [2021/01/21(木) 18:37:33.17 ID:XywhSHYS.net]
- >>485
arg(z-a) に依らないから、8点に限らず全周で成り立つね。
|z^2 - a^2 - b|^2
= |2a(z-a) + (z-a)^2 - b|^2
= |2a(z-a)|^2 + 2(z-a)~(a|z-a|^2 -a~b) + 2(z-a)(a~|z-a|^2 -ab~) + |(z-a)^2 -b|^2
= |2a(z-a)|^2 + |(z-a)^2 - b|^2,
ここで b = (a/a~)|z-a|^2 とおいた。
