細かいところだが、ABが題意の台形の下底とは
限らないからそこの論証も正確にな
感覚的には明らかにそうだが