>>766
話の流れが分かってる？

「辺」や「高さ」が無理数になることがあるのは当然ということ
>>757が高さに関して言ってるのも同じこと

それに「公式があるから」じゃ説明になってないってのも>>759で言ってるけどね。

結果的にはこの問題で>>757の言う高さも有理数になるわけだが
公式ですませるなら、四角錐の体積公式みたいなものを同様にして導けばそれが答え
ただし自力で導けるかどうかが問題ってとこだな