Are there any known right triangles that have integer side lengths and rational angles? If not, has it been proven that none exist?
It looks like there aren't any, by Niven's Theorem https://www.proofwiki.org/wiki/Niven%27s_Theorem
Thanks!
It looks like there aren't any, by Niven's Theorem https://www.proofwiki.org/wiki/Niven%27s_Theorem
Thanks!