What does "Aval" mean?
Rashi:" It is true (unbelievable as it may sound)! Sarah will indeed bear you a son!"
Ramban: Although I will bless your son Yishmael, 1 as you requested, however the covenant that I am making with you is with the son that Sarah will bear you.
As the following Pasuk (17:20) goes on to say.
Besides the reason that Avraham laughed, what else did HaSh-m have in mind when He instructed Avraham to call his son "Yitzchak"?
Rashi: The letters of "Yitzchak" represent the ten trials of Avraham (Yud), the ninety years of Sarah (Tzadi), the eight days of Bris Milah (Ches) and the hundred years of Avraham (Kuf).
What was HaSh-m teaching us when He added, "and I shall establish My covenant with him (Yitzchak)"?
Rashi: HaSh-m was telling Avraham that He would establish the covenant of Milah with Yitzchak, and not with Bnei Yishmael or Bnei Keturah. 1
The latter were included in the obligation to circumcise, but not in the Bris (covenant with HaSh-m) (Rambam Hilchos Melachim 10:7-8).
Why did Avraham not immediately inform Sarah that she would bear a son?
Ramban #1 (to 18:15): Because he relied on the fact that HaSh-m would inform her personally the next day. Sarah too was a prophetess.
Ramban #2 (ibid.): Because he simply did not have the time. First, he was busy with the Mitzvah of Bris Milah, then weak from the ordeal; then he was sitting outside when along came the visitors.
QUESTIONS ON RASHI
Rashi writes: "Alternatively, [the letters of Yitzchak's name] allude to the ten (Yud) tests of Avraham..." Why are the ten tests of Avraham relevant for inclusion in the name of Yitzchak?
Gur Aryeh: The main letters of Yitzchak's name are the 100 years (Kuf) and 90 years (Tzadi) of Avraham and Sarah, respectively. Why were they granted a child only then? So that they would have the Mitzvah to circumcise him on the eighth day (Ches). And why was Avraham not commanded in this Mitzvah sooner? Avraham was to be tested ten times (Yud), and one of tests was to undergo Milah specifically in his old age.
Rashi writes: "Yitzchak - due to the laughter (Tzechok); while some say due to the ten tests of Avraham, etc." Why are both explanations necessary?
Gur Aryeh: If only for the first reason, he could have been called "Tzechok." Nor is the second, symbolic reason the main one, for when Yitzchak is born, Sarah also proclaims, "HaSh-m has made laughter (Tzechok) for me" (21:6).
Rashi writes: "My covenant - i.e. the Bris Milah, will be given [specifically] to the descendants of Yitzchak." How do we know that this [exclusion of all others from the covenant] refers to the Bris Milah, and not merely to the covenant of love between Avraham and HaSh-m (referred to in Rashi to 17:2)?
Gur Aryeh: The next two verses (17: 20-21) state, "I have heard you regarding Yishma'el... but [nevertheless], I shall establish My covenant with Yitzchak." Those two verses refer to the covenant of love 1 between HaSh-m and Yitzchak, so this verse must refer to the covenant of Bris Milah.