展开 美国哪位总统证明过勾股定理