PIV 2020 · 3185Diofant/oDiofant/o. Greka matematikisto (ĉ. 246−ĉ. 330). diofanta ∆ a) (pp ekvacio) Havanta entjerajn aŭ racionalajn nekonatojn. b) (pp proksimumigo) Tia, ke oni serĉas racionalajn proksimumajn solvojn.