数学结构🚲?找到一种办法摆脱现有代数🦠方程的桎梏呢?
🦇带着这样🏆的疑🙈问,我想到了亚历山大·格尔丰德和西奥多·施🌈耐德在1934年的时候分🏆别证明的
🙆Ge😄l'fond-Schnei😘der定理,作为希尔伯特第七问题的解决方法,🤗这🤣几乎是每一位😐哥廷根数学人都得知道的定理。”
也就😂西😆格尔教授回哥廷根了
。
他要是在台下坐😍着,估计得怀疑人生,你🦇小子这么了解哥😤廷根学派,是不🏂🤠是真在哥廷根呆过,我🏆年纪大了忘记了而已?
林燃把线📢性形式对数理论擦掉
,然🦄后开始写Gel'fon🍞d-Schn🌟eider定理:😊
😊 “大家可以看到,这两位数学家在证🦊明这个🦒定理的时候用🦁到了
辅助函数法。
他们通过构建一个在特😍定点有高阶零点的函数😇,通😎过分析其增长性质推导出矛盾,证明了Λ\🍧Lambd😀aΛ非零🦇。
然而,🤜👌这些成果局限于两个对数的线😉性形式。
那么我是否能够找到办法来推广这ㇴ
1;个方法,把它🤠从单一形式扩大到更广🔥的范围内,去处理更一般的多对数线性组🤮合呢😅。🙈
📢 当😙时我只是一个模糊的想法
,😝G🙊el'fond🍕-Schneider📢定理的核心办法肯定可以扩展到多个对数的情况。
所以这时候我就在找,如何来构造这个辅助函😑数,🏆让😙它可以在多个与logαi相关的点上具有高阶🤕零点,并且能够保持😳可控的增长性🌮🎸