Ancient Greece
formula_19是无理數的证明（古希腊人）