关于Dijkstra算法的松弛操作的一些想法

每次用Dijkstra算法解决问题都会有个对于松弛操作的小疑问，每次都要困扰一会才能想通，为了防止自己再次忘记，特此记录一下

假设共有12345678910一共十个点，其中点1，2，3是已经加入走过点的集合的点，此时经过计算发现点4是距离最短的点，于是将点4加入集合，并通过点4“松弛”各点与原点的距离即
dis[i]=min(dis[i],dis[4]+map[4][i])
那么为什么这个松弛的公式长这样呢？为什么不能是以点4为中间节点，点4再通过几个点到达集合外的点呢？
不妨假设1->3->4->2->5的距离比1->3->4->5的距离要短，而1->3->4->2显然不是点1到点2的最短距离（点2已经加入走过的点集合，最短距离不含点4），因此1->3->4->2->5的距离大于【点1到点2的最短距离再加上2->5】，而这个【点1到点2的最短距离再加上2->5】不经过点4，那么这个距离必大于未加入点4时的最短距离。所以这个松弛公式长这样！