>>26
(2)はx=-cosh(1),y=-cosh(2),z=-cosh(3)
として、無理数かどうか言及しないでokだろうか