(又稍微修改了一下，重新发一遍吧)
给予匀变速度运动过程，以底层逻辑一致性的数学化定义：
它是指基于由a1、a2、……、到an的等差数列ai所可以给予描述的对象A。
ai中的公差常数d，即是我们物理学中的加速度。于是，因知n=t，那么有：
t=(an-a1+a)/a，①；
a=(an-a1)/(t-t1)=(vn-v1)/(t-t1)，②；
an=a1+a(t-t1)，③；
a1=an-a(t-t1)，④；
An=(an+a1)t/2，⑤；
对于⑤，由③④有：
An=(at-a+2a1)t/2，⑥；
由⑥可知，一当满足有a=2a1时，则随即有An=at²/2。
对于以上六个公式的任一个都有4个项，都是基于知3(项)而求1(项)。
实际顺序可测量→｛❶归纳可知律→❷基础已知律｝⇆演绎应用。
存在对于公式优秀与否的一个评价原则，即用越少的已知量确定推出所求未知量，同时兼顾满足简洁易懂，将此称为关于公式选择的q1原则。
我们注意到，物理学中通常在a1之前添加一个值为0的项而实现q1；但是，那样做法仅当满足a1/a=1时才可能成立；然而一当满足a1/a=1时立即有：
t=an/a，
An=(an+a)t/2=at (t+t1)/2，⑦；
因此，任何所谓初速度为0匀应该都是不合逻辑的说法或表达。
只是，楼主发现对于上面的相关公式，存在一个卡壳的问题，即无法有对于t＜t1=1时的函数式表达，但为何会这样？
由②式，由a＞0，可知只要当满足t'-t1＜0，且an'-a1＜0，则可能表达t'、an'；进一步，由⑤⑥得，
an=(2An-a1t)/t
=(at²-at+a1t)/t＞0
⇨a(t-1)+a1＞0
⇨a1/a＞1-t，令t=t'＜1，所以，若想要能够表达t'，则必须满足：
a1/a＞1-t'，⑧；
不过，对于这样结果，总还是有些奇奇怪怪的感觉；这个奇怪的意思是说，只要存在a＞0，则对于t'＜1时候各种相关情况，就都是实际可测的，但为何还非要满足⑧式这样的条件呢？
若有不妥当甚至错误处，敬请谅解与指正。