Sunday, March 29, 2015

Dirac旋量的tensor形式 没有质量有了chiral对称性,多了一个chiral守恒流 Lorentz群和Dirac旋量

Lorentz群和Dirac旋量
cmp

来自: cmp(const void*, const void*) 2013-06-28 14:00:35

5人 喜欢
  • [已注销]

    [已注销] (永远效忠女王兔兔) 2013-06-28 14:11:32

    希望下面的东西里面没有错误,有点久了。

    0 两个不同的群,非要说的话,SU(2)是compact的,SL(2,C)不是。
    1. 这个要想一想,忘记了。
    2 是的,在weyl(?)表象下,dirac spinor写成四分量的话,上面两个是(1/2,0),下面两个是(0,1/2)。spinor对应的是表示空间的矢量,他们在洛伦兹变换(SL(2,c))下面的变化,分别遵循上面的两个表示
    3 没有为什么呀,非要说的话,我觉得是为了能够构造一个parity守恒的拉矢量。记得,在parity变换下(1/2,0)和(0,1/2)是互换的,参见weinberg
    4参见回答。
    5 这里的加是直和。两个表示的直和,因此狄拉克表示不是不可约表示。
    6 well确实是算出来的。不过,如果算一种解释的话,由于群是 non compact的,不存在unitary的表示,因此,不能直接用ψ† ψ构造标量,必须在在中间加入一个γ0 。
  • cmp

    cmp (const void*, const void*) 2013-06-28 14:12:27

    希望下面的东西里面没有错误,有点久了。 0 两个不同的群,非要说的话,SU(2)是compact的,S 希望下面的东西里面没有错误,有点久了。 0 两个不同的群,非要说的话,SU(2)是compact的,SL(2,C)不是。 1. 这个要想一想,忘记了。 2 是的,在weyl(?)表象下,dirac spinor写成四分量的话,上面两个是(1/2,0),下面两个是(0,1/2)。spinor对应的是表示空间的矢量,他们在洛伦兹变换(SL(2,c))下面的变化,分别遵循上面的两个表示 3 没有为什么呀,非要说的话,我觉得是为了能够构造一个parity守恒的拉矢量。记得,在parity变换下(1/2,0)和(0,1/2)是互换的,参见weinberg 4参见回答。 5 这里的加是直和。两个表示的直和,因此狄拉克表示不是不可约表示。 6 well确实是算出来的。不过,如果算一种解释的话,由于群是 non compact的,不存在unitary的表示,因此,不能直接用ψ† ψ构造标量,必须在在中间加入一个γ0 。 ... [已注销]
    物理上旋量应该是不能加的?不然一个态上就有两个费米子了?并且我确实没有见过旋量相加啊。
  • cmp

    cmp (const void*, const void*) 2013-06-28 14:16:24

    「该条回应已被删除」 「该条回应已被删除」 [已注销]
    好吧我需要再想想我的问题是什么……

    Dirac旋量的tensor形式在哪里可以见到?但是tensor形式比较诡异啊,那不是2x2的tensor么。
  • [已注销]

    [已注销] (永远效忠女王兔兔) 2013-06-28 14:20:31

    好吧我需要再想想我的问题是什么…… Dirac旋量的tensor形式在哪里可以见到?但是tensor形式 好吧我需要再想想我的问题是什么…… Dirac旋量的tensor形式在哪里可以见到?但是tensor形式比较诡异啊,那不是2x2的tensor么。 ... cmp
    之前说错了,sorry。不是写成tensor,是分别写开。
  • cmp

    cmp (const void*, const void*) 2013-06-28 14:23:02

    之前说错了,sorry。不是写成tensor,是分别写开。 之前说错了,sorry。不是写成tensor,是分别写开。 [已注销]
    恩谢谢!我再去看看书。
  • [已注销]

    [已注销] (永远效忠女王兔兔) 2013-06-28 14:25:26

    好吧我需要再想想我的问题是什么…… Dirac旋量的tensor形式在哪里可以见到?但是tensor形式 好吧我需要再想想我的问题是什么…… Dirac旋量的tensor形式在哪里可以见到?但是tensor形式比较诡异啊,那不是2x2的tensor么。 ... cmp
    狄拉克场的拉矢量,如果用weyl spinor来写开的话,可以写成完全独立的两项(质量项不是)。这就是应为,没有质量的时候,没有两种spinor的耦合。两个spinor分别在不同的表示下变换。
  • [已注销]

    [已注销] (永远效忠女王兔兔) 2013-06-28 14:35:21

    1 我觉得是notation让你造成的误解,认为这两者有什么联系吧,我觉得应该写成,so(3,1)的复化同构于su(2)⊕su(2)。反正值得都是那三个generator。然后SL(2,C)的李代数的话是六个generator的,大概写成sl(2, C)。是两个不同的李代数。
  • cmp

    cmp (const void*, const void*) 2013-06-28 14:46:46

    1 我觉得是notation让你造成的误解,认为这两者有什么联系吧,我觉得应该写成,so(3,1)的复化同 1 我觉得是notation让你造成的误解,认为这两者有什么联系吧,我觉得应该写成,so(3,1)的复化同构于su(2)⊕su(2)。反正值得都是那三个generator。然后SL(2,C)的李代数的话是六个generator的,大概写成sl(2, C)。是两个不同的李代数。 ... [已注销]
    零质量狄拉克费米子的左右手旋量脱耦了,在物理上和有质量费米子相比,有什么特别的地方么?
  • [已注销]

    [已注销] (永远效忠女王兔兔) 2013-06-28 14:50:16

    恩, 紫花可以想一下(1/2,1.2)跟(1/2,0)+(0,1/2)有什么不同,哪个是dirac spinor,另一个是不是是(1/2,0)*(0,1/2)。这里是直积和直和。
  • [已注销]

    [已注销] (永远效忠女王兔兔) 2013-06-28 14:50:49

    零质量狄拉克费米子的左右手旋量脱耦了,在物理上和有质量费米子相比,有什么特别的地方么? 零质量狄拉克费米子的左右手旋量脱耦了,在物理上和有质量费米子相比,有什么特别的地方么? cmp
    没有质量。。。。
  • K

    K (我将死而又死,以体会生之无穷) 2013-06-28 14:53:01

    没有质量有了chiral对称性,多了一个chiral守恒流
  • K

    K (我将死而又死,以体会生之无穷) 2013-06-28 14:56:51

    0. 我觉得仔细考察定义就会发现 SU(2)和SL(2,C) 是不同的群
    1. 我很naive地想复数化以后参数空间维数是增加一倍的,而直和正好也是参数空间维数增加一倍,这刚好反而说明SL(2,C)和SO(3,1)参数空间维数是一样的,维数一样的参数空间就才可以谈覆盖的问题。这两件事情是非常自恰的。
    2. 没啥问题
    3. Parity守恒的必须要是两个表示的直和表示,因此才要用四分量。
    4-5 没啥comment
    6. 这跟相对论性的费米子度规有关系,这里的gamma_0相当于新的度规,既然要考虑标量是要考虑Hilbert space上的内积的,费米子内积的度规就是gamma_0。更深的原因我猜是电荷共轭的反幺正性,由于相对论性,洛伦兹变换粒子可以变换成反粒子,而且必须要包括反粒子的空间,但是dagger以后反粒子的表现我猜需要个负号来找回来。后面是瞎猜,不喜欢可以忽略。
  • 一切经音义

    一切经音义 (所巾) 2013-06-28 15:28:44

    第一个,SU(2)是SL(2,C)的子群。第二个,sl(2,C)作为实李代数是六维,复化后是三维并等同于su(2,c)。第三,旋量是指旋量表示空间里的向量,不指表示矩阵。第四,狄拉克方程混合两个手征可以由parity在这个四分量的形式下是不变的去理解。第五,旋量可以相加。第六,那几个量是标量还是矢量就是数学上的结果,可以作有限或者无穷小的变换去验证,没有特别的意义。
  • Tabris

    Tabris (人生的意义就是“等待与希望”) 2013-06-28 20:22:36

    好多人讨论啊~~

    K的解答0-5都挺好的,我补充下
    1.那个叫代数同构,覆盖是拓扑性质,就好像SO(3)的代数同构与SU(2)一样,但是拓扑上他们只是同态。
    6.因为gamma矩阵是和lorentz群的表示相关,实际上旋量表示就是用gamma矩阵的组合作为生成元的,所以lorentz变换会对gamma矩阵产生变换。实际上,你可以把gamma矩阵作为一个标架来理解,这样就很自然了。
  • cmp

    cmp (const void*, const void*) 2013-06-28 21:33:44

    好多人讨论啊~~ K的解答0-5都挺好的,我补充下 1.那个叫代数同构,覆盖是拓扑性质,就好像S 好多人讨论啊~~ K的解答0-5都挺好的,我补充下 1.那个叫代数同构,覆盖是拓扑性质,就好像SO(3)的代数同构与SU(2)一样,但是拓扑上他们只是同态。 6.因为gamma矩阵是和lorentz群的表示相关,实际上旋量表示就是用gamma矩阵的组合作为生成元的,所以lorentz变换会对gamma矩阵产生变换。实际上,你可以把gamma矩阵作为一个标架来理解,这样就很自然了。 ... Tabris
    gamma矩阵是什么空间里的标架呢?
  • cmp

    cmp (const void*, const void*) 2013-06-28 21:38:38

    没有质量有了chiral对称性,多了一个chiral守恒流 没有质量有了chiral对称性,多了一个chiral守恒流 K
    谢谢! 我觉得场论中细节忘得挺多, 现在只记得有个Feynman图, 要计算M矩阵的模方了..
  • cmp

    cmp (const void*, const void*) 2013-06-28 21:46:34

    第一个,SU(2)是SL(2,C)的子群。第二个,sl(2,C)作为实李代数是六维,复化后是三维并等同于su(2, 第一个,SU(2)是SL(2,C)的子群。第二个,sl(2,C)作为实李代数是六维,复化后是三维并等同于su(2,c)。第三,旋量是指旋量表示空间里的向量,不指表示矩阵。第四,狄拉克方程混合两个手征可以由parity在这个四分量的形式下是不变的去理解。第五,旋量可以相加。第六,那几个量是标量还是矢量就是数学上的结果,可以作有限或者无穷小的变换去验证,没有特别的意义。 ... 一切经音义
    谢谢! 我想再问一个问题.

    我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分量旋量是四分量Dirac旋量的线性组合中的"大分量".

    能不能从代数的角度出发, 得到Dirac旋量与原来, 由SU(2)表示得到的两分量旋量之间的关系呢?
  • K

    K (我将死而又死,以体会生之无穷) 2013-06-28 22:17:58

    谢谢! 我想再问一个问题. 我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分 谢谢! 我想再问一个问题. 我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分量旋量是四分量Dirac旋量的线性组合中的"大分量". 能不能从代数的角度出发, 得到Dirac旋量与原来, 由SU(2)表示得到的两分量旋量之间的关系呢? ... cmp
    你可以参考A.Zee书,当Dirac方程在静止系中动量为0,只有质量项的时候,Dirac方程是(gamma_0-1) psi=0,即1/2 (1-gamma_0) psi=0,而前面的矩阵正好是一个投影倒(gamm_0-1)本征值为1的空间投影算符,所以此时波函数振幅不为0的分量只有两个,这个子空间就是非相对论性理论自旋的子空间,低速时候,近似有在这个子空间的SU(2)对称性,其他子空间振幅很小。Dirac spinor是一个洛伦兹群四维的可约表示,满足Dirac方程后,Dirac方程把物理的自由度投影到了2维,这就是电子真正的physical自由度,在低速下,这两个physical自由度可以用su(2)自旋表示。

    不知道什么样算是代数,但是我觉得这个问题其实只用简单的想法想就可以。
  • Tabris

    Tabris (人生的意义就是“等待与希望”) 2013-06-30 09:43:06

    谢谢! 我想再问一个问题. 我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分 谢谢! 我想再问一个问题. 我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分量旋量是四分量Dirac旋量的线性组合中的"大分量". 能不能从代数的角度出发, 得到Dirac旋量与原来, 由SU(2)表示得到的两分量旋量之间的关系呢? ... cmp
    Wyle 表示下的不就是而分量旋量么?
  • Tabris

    Tabris (人生的意义就是“等待与希望”) 2013-06-30 09:43:43

    gamma矩阵是什么空间里的标架呢? gamma矩阵是什么空间里的标架呢? cmp
    那个地方说错了,不是标价,是表示
  • cmp

    cmp (const void*, const void*) 2013-06-30 11:31:22

    Wyle 表示下的不就是而分量旋量么? Wyle 表示下的不就是而分量旋量么? Tabris
    那个二分量旋量不满足非相对论旋量的动力学方程,泡利-薛定谔方程。是左右手旋量加起来之后的量,在非相对论近似下,满足泡利-薛定谔方程,并且我证明了它在无穷小变化下近似按照SU(2)变换。至于有限变换是否能求出来,我没有去做。
  • cmp

    cmp (const void*, const void*) 2013-06-30 11:37:45

    你可以参考A.Zee书,当Dirac方程在静止系中动量为0,只有质量项的时候,Dirac方程是(gamma_0-1) 你可以参考A.Zee书,当Dirac方程在静止系中动量为0,只有质量项的时候,Dirac方程是(gamma_0-1) psi=0,即1/2 (1-gamma_0) psi=0,而前面的矩阵正好是一个投影倒(gamm_0-1)本征值为1的空间投影算符,所以此时波函数振幅不为0的分量只有两个,这个子空间就是非相对论性理论自旋的子空间,低速时候,近似有在这个子空间的SU(2)对称性,其他子空间振幅很小。Dirac spinor是一个洛伦兹群四维的可约表示,满足Dirac方程后,Dirac方程把物理的自由度投影到了2维,这就是电子真正的physical自由度,在低速下,这两个physical自由度可以用su(2)自旋表示。 不知道什么样算是代数,但是我觉得这个问题其实只用简单的想法想就可以。 ... K
    我从动力学方程的非相对论近似出发(见楼上),得到的结果和你的略有不同…有空我再研究一下。
  • Loliphilia

    Loliphilia (Rock everything in dynamics) 2013-06-30 21:52:19

    我记得是你把poincare代数里面那个质量m趋于无穷大, 就会有一些operators脱藕...然后旋量表示就会变化, pauli的那些就应该能弄出来
  • 一切经音义

    一切经音义 (所巾) 2013-07-04 18:14:38

    谢谢! 我想再问一个问题. 我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分 谢谢! 我想再问一个问题. 我们知道Dirac方程可以做非相对论近似, 得到Pauli方程, 其中的两分量旋量是四分量Dirac旋量的线性组合中的"大分量". 能不能从代数的角度出发, 得到Dirac旋量与原来, 由SU(2)表示得到的两分量旋量之间的关系呢? ... cmp
    两个SL(2,C)指数上那个boost部分跟beta成正比,这个beta正比于1/c,因此非相时这一项忽略不计就是1,boost部分只对相对论修正有贡献效应,洛仑兹群去掉boost那不就是su(2)了吗。至于轨道部分也就是波函数里的时空变量则是成了对x t的伽利略变换,这里之所以保留了v是因为v/c 跟ct两个c抵消了。
    上面所说的狄拉克方程的解的上面或者下面或者组合是小量跟这个其实并不是一回事,管你消不消掉Sl(2,C)变换的非相近似实际上就是把boost部分的参数视为小量而舍弃,因此肯定是退化成SU(2)的。


关于相对论,洛伦兹群里面的lorentz boost到底是什...
A·Babilonia

来自: A·Babilonia 2014-02-16 04:58:58

标题:关于相对论,洛伦兹群里面的lorentz boost到底是什么东西
5人 喜欢
  • vampireking

    vampireking 2014-02-16 15:48:51

    Lorentz变换是转动变换的扩展。

    3维空间独立的转动变换有3个,每一个都是在从(x,y,z) 坐标中任取两个坐标组成的平面内的转动,也就是C_3^2=3。

    对于4维时空,独立的转动数目为 C_4^2=6,多出来的三个转动分别在 (t,x) (t,y) (t,z)平面内进行,这3个转动叫做沿着三个方向的Lorentz boost(增速)变换。

    又因为时间轴特殊,如果要和3维时候的转动一致,那么坐标应该写为 (i t, x, y, z),对应的转动角度变成纯虚的角度,sin(i Y)=-i sinh(Y), cos(i Y)=cosh(Y), 这样3维空间转动涉及的正弦余弦变成了双曲正弦余弦函数。

    3维空间中在同一平面内转动两次theta_1, theta_2,等价于转动 theta_1 + theta_2 角度。
    对应的,同一个方向增速变换 Y_1, Y_2, 等价于增速变换 Y_1+Y_2。
    用快度表示的Lorentz boost 变换,比用速度表示的变换要简单的多,原因就在于此。
  • 北大悲老人

    北大悲老人 2014-02-16 16:25:30

    简单来说boost就是一维时间与一维空间的转动,所谓双曲线是因为在时空中长度的定义约为时间的平方减空间的平方。
  • /name-?P=0/

    /name-?P=0/ (存诚能贱) 2014-02-16 16:30:51

    boost即洛倫茲收縮對應的群元
  • cmp

    cmp (const void*, const void*) 2014-02-16 17:49:22

    Lorentz变换是转动变换的扩展。 3维空间独立的转动变换有3个,每一个都是在从(x,y,z) 坐标中 Lorentz变换是转动变换的扩展。 3维空间独立的转动变换有3个,每一个都是在从(x,y,z) 坐标中任取两个坐标组成的平面内的转动,也就是C_3^2=3。 对于4维时空,独立的转动数目为 C_4^2=6,多出来的三个转动分别在 (t,x) (t,y) (t,z)平面内进行,这3个转动叫做沿着三个方向的Lorentz boost(增速)变换。 又因为时间轴特殊,如果要和3维时候的转动一致,那么坐标应该写为 (i t, x, y, z),对应的转动角度变成纯虚的角度,sin(i Y)=-i sinh(Y), cos(i Y)=cosh(Y), 这样3维空间转动涉及的正弦余弦变成了双曲正弦余弦函数。 3维空间中在同一平面内转动两次theta_1, theta_2,等价于转动 theta_1 + theta_2 角度。 对应的,同一个方向增速变换 Y_1, Y_2, 等价于增速变换 Y_1+Y_2。 用快度表示的Lorentz boost 变换,比用速度表示的变换要简单的多,原因就在于此。 ... vampireking
    那如果不用虚数,而用向量和对偶向量,又怎么解释呢?

    参考
    http://www.douban.com/group/topic/47192211/
  • Everett

    Everett (╮(╯▽╰)╭ ~(= ̄ U  ̄=)~) 2014-02-16 19:28:50

    那如果不用虚数,而用向量和对偶向量,又怎么解释呢? 参考 http://www.douban.com/group/to 那如果不用虚数,而用向量和对偶向量,又怎么解释呢? 参考 http://www.douban.com/group/topic/47192211/ ... cmp
    小紫花经常建议大家不要用虚时间这个概念~
  • 妙音

    妙音 (智从急中生,慧化疾呈缓) 2014-02-16 19:39:17

    小紫花经常建议大家不要用虚时间这个概念~ 小紫花经常建议大家不要用虚时间这个概念~ Everett
    组长对虚时间有什么想法吗
  • Everett

    Everett (╮(╯▽╰)╭ ~(= ̄ U  ̄=)~) 2014-02-16 19:46:55

    组长对虚时间有什么想法吗 组长对虚时间有什么想法吗 妙音
    这水很深,我不评论。
  • 虚空深处的小喵

    虚空深处的小喵 (喵) 2014-02-16 20:29:41

    据说是这样的。

    一个矢量场会有积分曲线,把点沿着先移动就可以看成一个变换,如果每一个点都制定一种变换方式,就出一个映射。可以用一个参数来表示沿线以多少,每一个参数对应着一个变换,堆在一起就形成了群。在微分几何里面就是一个单参微分同胚群(或者他的局部群)。

    微分同胚映射可以很特殊。如果这个映射诱导出的推前映射使得度规张量不变的话,那么就称一个等度规映射。如果一个矢量场诱导出的单参微分同胚群的每一个群元都是等度规的,那么这个矢量场称为killing vector field。

    如果说空间是Minkowski的话,那么其中有一种等度规映射所对应的killing vector field是
    x(偏/偏t)^a+t(偏/偏x)^a
    这种等度规就称为boost。

    至于双曲,是因为前面说了矢量场诱导出的微分同胚映射实际上就是沿线移动一下,所以要把它的积分曲线求出来。这个实际上就相当于解微分方程,就是:
    dx/ds = t, dt/ds = x(s是曲线的参数)
    然后解出来就是
    x = a ch(s)+b sh(s),t = a sh(s) + b ch (s)
    接下来就是映射作用到点上,把它“往前移动一个n”,对应的坐标就是:
    x' = a ch(s+n) + b sh(s+n), t' =a sh(s+n) + b ch(s+n)
    然后用双曲的性质一堆化简:
    x' = x ch(n) + t sh(n), t' = t ch(n) + x sh(n)
    然后另 gamma = ch(n), v = sh(n)(改个记号方便看)
    x' = gamma(x+vt), t' = gamma (t+vx)
    然后就是洛伦茨变换了(只不过是用了几何单位制,光速全变1没有了,Lz自行补上就更明显了。。。。)

    更加详细的可以看梁老师的那本微分几何和广义相对论
    单参微分同胚群在第2章,讲boost在第四章

    亲们我真的不是故意不用tex的。。。

  • A·Babilonia

    A·Babilonia 2014-02-16 20:54:29

    LS的几位说的都太高深了,我还在初学阶段呢
  • cmp

    cmp (const void*, const void*) 2014-02-16 22:18:27

    小紫花经常建议大家不要用虚时间这个概念~ 小紫花经常建议大家不要用虚时间这个概念~ Everett
    E大不要取笑嘛  ̄^ ̄

    另外虚时间不是指 Wick rotation 那个么,这里并不是那个用法啊。
  • Everett

    Everett (╮(╯▽╰)╭ ~(= ̄ U  ̄=)~) 2014-02-16 22:44:28

    E大不要取笑嘛  ̄^ ̄ 另外虚时间不是指 Wick rotation 那个么,这里并不是那个用法啊。 E大不要取笑嘛  ̄^ ̄ 另外虚时间不是指 Wick rotation 那个么,这里并不是那个用法啊。 cmp
    E大知道,小紫花说的是相对论里面的虚时间的概念啦~
  • 虚空深处的小喵

    虚空深处的小喵 (喵) 2014-02-16 22:47:03

    据说是这样的。 一个矢量场会有积分曲线,把点沿着先移动就可以看成一个变换,如果每一个点都 据说是这样的。 一个矢量场会有积分曲线,把点沿着先移动就可以看成一个变换,如果每一个点都制定一种变换方式,就出一个映射。可以用一个参数来表示沿线以多少,每一个参数对应着一个变换,堆在一起就形成了群。在微分几何里面就是一个单参微分同胚群(或者他的局部群)。 微分同胚映射可以很特殊。如果这个映射诱导出的推前映射使得度规张量不变的话,那么就称一个等度规映射。如果一个矢量场诱导出的单参微分同胚群的每一个群元都是等度规的,那么这个矢量场称为killing vector field。 如果说空间是Minkowski的话,那么其中有一种等度规映射所对应的killing vector field是 x(偏/偏t)^a+t(偏/偏x)^a 这种等度规就称为boost。 至于双曲,是因为前面说了矢量场诱导出的微分同胚映射实际上就是沿线移动一下,所以要把它的积分曲线求出来。这个实际上就相当于解微分方程,就是: dx/ds = t, dt/ds = x(s是曲线的参数) 然后解出来就是 x = a ch(s)+b sh(s),t = a sh(s) + b ch (s) 接下来就是映射作用到点上,把它“往前移动一个n”,对应的坐标就是: x' = a ch(s+n) + b sh(s+n), t' =a sh(s+n) + b ch(s+n) 然后用双曲的性质一堆化简: x' = x ch(n) + t sh(n), t' = t ch(n) + x sh(n) 然后另 gamma = ch(n), v = sh(n)(改个记号方便看) x' = gamma(x+vt), t' = gamma (t+vx) 然后就是洛伦茨变换了(只不过是用了几何单位制,光速全变1没有了,Lz自行补上就更明显了。。。。) 更加详细的可以看梁老师的那本微分几何和广义相对论 单参微分同胚群在第2章,讲boost在第四章 亲们我真的不是故意不用tex的。。。 ... 虚空深处的小喵
    手残打错了,应该是v=th(n)。。。

No comments:

Post a Comment