展开 美国总统谁证明了勾股定理