Từ $M$ kẻ $MN// BS \,(N\in AC)$
Ta có:
$MN//BS$ (cách dựng)
$MB = MC \,(gt)$
$\Rightarrow MN$ là đường trung bình
$\Rightarrow SN = NC$ $(1)$
Mặt khác:
$MN//IS \, (MN//BS)$
$AI = IM \, (gt)$
$\Rightarrow IS$ là đường trung bình
$\Rightarrow AS = SN$ $(2)$
$(1)(2) \Rightarrow AS = SN = NC$
$\Rightarrow AS = \dfrac{1}{2}SC$