複数辞典一括検索+

エウドクソス Eudoxos🔗🔉

エウドクソス Eudoxos (前400頃-前347頃) 古代ギリシャの数学者・天文学者。初めて地球を中心とする同心天球説をたてる。数学では,無理量(通約不能量)にも適用できる一般的な比例論を完成させるとともに,球体や錐体の体積を求め,近世になって「取り尽し法」と名付けられた方法で厳密な証明を与えた。

大辞林 ページ 139646 でのエウドクソス Eudoxos単語。