@Deewhydeeecks@DavidKButlerUoA If you don't mind my chiming in, I am not sure how I feel about your interpretation. Retroactively, since I(x)=x²/2, your first line feels wrong. As is, x²/2 = ∫xdx lacks a constant, at least as I've seen it taught in undergrad.
Nope :
min(v₂+∞, max(15 jan., v₂ + 7 mois, v₃ + x), max(15 fév., v₂ + 4 mois, v₃ + x)),
avec la convention -∞+∞=-∞, et x grand à fixer plus tard dans la preuve.
J'ai une magnifique formule qui prend en compte les cas de rémission, mais la marge est trop petite...
Pour
vₙ = date de la nᵉ injection (-∞ si l'injection n'a pas été faite),
votre pass(e) sanitaire est valable jusqu'au
min(v₂, max(15 jan., v₂ + 7 mois, v₃ + x), max(15 fév., v₂ + 4 mois, v₃ + x)),
où x=+∞ pour l'instant mais sera réduit ultérieurement. De rien.
@wtgowers I think there might be a need to make the distinction between maths as an academic discipline, and maths as the body of knowledge the former is working on.
@littmath@corepresentable Moreover, since z is complex, we can get any complex value for f(z) (for instance f(z)=az+b). This explains why we have ℂ instead of ℝ.
@littmath@corepresentable If I may chime in: there are two solutions z and z* of these equations in ℂ, but because we are interested in polynomials with real coefficients, f(z*) = f(z)* (* means complex conjugate) so in fact f(z) is the only information needed. This explains that we don't have a ℂ².