这份稿件探讨四分之一转的函数方程如何唯一确定一个二次量，以及旋转相容性与有界伸缩论证如何共同把这一二次量识别为欧氏长度的平方。
这是一份以证明为核心的独立作者稿件，目前正在同行评审中；评审期间不会公开全文。
研究问题
一个围绕四分之一转写下的函数方程，能否把某个二次量确定到足以被迫等于欧氏长度的平方？
方法
论证先从函数方程中把该二次量分离出来，再利用它与旋转的相容性约束其行为，最后通过有界伸缩论证把这一量固定为欧氏长度的平方。
当前状态
稿件已于 2026 年 9 月提交同行评审。评审期间不会公开全文。