对于 p>0p>0p>0 ,是否有 p⌊x⌋>p⌊y⌋→⌊px⌋>⌊py⌋p\lfloor x\rfloor> p\lfloor y\rfloor\rightarrow\lfloor px\rfloor>\lfloor py\rfloorp⌊x⌋>p⌊y⌋→⌊px⌋>⌊py⌋ ?
在这里,已经证明了当 p⌊x⌋=p⌊y⌋p\lfloor x\rfloor=p\lfloor y\rfloorp⌊x⌋=p⌊y⌋ 时,不存在 ⌊px⌋=⌊py⌋\lfloor px\rfloor=\lfloor py\rfloor⌊px⌋=⌊py⌋ 。
另外,对于 ⌊px⌋=⌊py⌋→p⌊x⌋=p⌊y⌋\lfloor px\rfloor= \lfloor py\rfloor\rightarrow p\lfloor x\rfloor = p\lfloor y\rfloor⌊px⌋=⌊py⌋→p⌊x⌋=p⌊y⌋ 是否成立?
本蒟蒻已经可以证明 ⌊px⌋>⌊py⌋\lfloor px\rfloor>\lfloor py\rfloor⌊px⌋>⌊py⌋ 的情况。