cosθ₃ = 1/√3, cosθ₉ = 1/3 となる角 θ₃, θ₉ は π の有理数倍ではない【バナッハ=タルスキーの定理 #5】

cosθ₃ = 1/√3, cosθ₉ = 1/3 となる角 θ₃, θ₉ は π の有理数倍ではない【バナッハ=タルスキーの定理 #5】  

https://www.youtube.com/watch?v=3rQxadeh6xo&t=80s