import java.util.Optional; import java.util.Scanner; public class Main { private static final double epsilon = 1e-9; public static void main(String[] args) { try (Scanner in = new Scanner(System.in)) { int de = in.nextInt(); int ab = in.nextInt(); // d // e int ac = in.nextInt(); boolean res = false; for (int bd = 1; bd <= 100; bd++) { for (int ec = 1; ec <= 100; ec++) { if (bd + de + ec >= ab + ac) { break; } Optional cos_dba = cosine_formula(ac, ab, bd + de + ec); Optional cos_eca = cosine_formula(ab, ac, bd + de + ec); if (cos_dba.isEmpty() || cos_eca.isEmpty()) { continue; } double dba = Math.acos(cos_dba.get().doubleValue()); double eca = Math.acos(cos_eca.get().doubleValue()); double ad = Math.sqrt(cosine_formula2(ab, bd, dba)); double ae = Math.sqrt(cosine_formula2(ac, ec, eca)); Optional cos_bad = cosine_formula(bd, ab, ad); Optional cos_cae = cosine_formula(ec, ac, ae); if (cos_bad.isEmpty() || cos_cae.isEmpty()) { continue; } double bad = Math.acos(cos_bad.get().doubleValue()); double cae = Math.acos(cos_cae.get().doubleValue()); // Utils.debug(de, ab, ac, bd, ec, dba, eca, ad, ae, bad, cae, Math.abs(bad - cae) < 1e-3); if (Math.abs(bad - cae) < epsilon) { res = true; } } } System.out.println(res ? "Yes" : "No"); } } private static final Optional cosine_formula(double a, double b, double c) { double cos = (b * b + c * c - a * a) / (2.0d * b * c); if (Math.abs(cos) > 1.0d) { return Optional.empty(); } return Optional.of(cos); } private static final double cosine_formula2(double b, double c, double cab) { return b * b + c * c - 2.0 * b * c * Math.cos(cab); } }