分からない問題はここに書いてね453

[0556 １３２人目の素数さん 2019/06/16(日) 12:51:01.27 ID:HwIhVDIU]

(別証)
　kk = L(2-L)　とおく。
　L = 1 - √(1-kk) ≧ 0,
　1^2 - (ks)^2 = 1^2 - L(2-L)s^2 = (1-Lss)^2 + (1-ss)(Ls)^2,
　s = sinφ,