关于Fibonacci三角形猜想k=11的证明.pdfVIP

2008年4月 重庆师范大学学报(自然科学版) Apr．2008 第25卷 第2期 Journal of Chongqing Normal University(Natural Science) Vo1．25 No．2 关于Fibonacci三角形猜想k=1 1的证明 林 丽娟 (重庆师范大学数学与计算机科学学院，重庆400047) 摘 要：Fibonacci数列和Lucas数列的性质一直是数论中重要的研究内容之一，本文利用Fibonacci数列的性质研究 了Fibonacci三角形猜想在k=11时的情形，讨论了以Fibonacci数 ， ， 为边长并且面积为整数的三角形的 存在性问题。首先假设猜想不成立，由边长和面积为整数，结合Fibonacci数列自身的性质得出边长之间所要满足的 等量关系。然后对等式两边取模，利用Jacobi符号得出矛盾，从而证明了Fibonacci三角形猜想在k=11时成立，即不 存在以Fibonacci数F ， ， 川为边长并且面积为整数的三角形。 关键词：Fibonacci数；Lucas数；Fibonacci三角形；平方剩余；Jacobi符号 中图分类号：0156 文献标识码：A 文章编号：1672-6693(2008)02-0037—03 由 =0，F1=1，F +2=F +1+F ( 10)和L0= 1相关引理 2，L1=1，L +2=L +L ( 10)所定义的递归数列 分别称为Fibonacci数列和 Lucas数列。Fibonacci 需要引入Fibonacci数Es]的负指标 ，即对于／21 数列和Lucas数列的性质一直是数论中重要的研究 0，有F． =(一1) F ，此时原有递推关系仍然成 内容之一。1990年，H．Harborth和A．Kemnitz 1 J在 立，文中f旦1表示Jacobi符号，p 11 表示P 【 且、m， 一 研究有理数距离的构形时提出Fibonacci三角形猜 pm+l 想，国内首先由陈计在文献[2]中提及： 。 定义边长为整数且面积也为整数的三角形称 弓I理1 。 1)2IF I／2；2)2 IF 牟 3·2 一 I ， 为Heron三角形，边长为Fibonacci数的Heron三角 (mI3)。 形称为Fibonacci三角形。 引理2如果以F ，F川 ，F 川为边长的三角形 猜想 当1 4k 时，不存在边长为F 一 ，F ，F ；~Fibonacci三角形，则(≥， 川)=(Fn,Fn+11)= 的Heron三角形。 H．Harborth和A．Kemnitz证明了k=1或 425 F +l1 F(， 11)。 时猜想成立。曹珍富l3 发现了有研究该问题在k= 证明设此三角形的面积为S，d=(F ，F )， 2，3，4时的一般方法。1995年，文献[4]借助对似 则 型Fibonacci数的有关结论，确定了1k45时猜想 16S 4F]F]州一 ： 均成立并且将成立的下界计算到 10000。杨仕 (4 F2+11一 (1) 椿_5 以及何波l6 运用与文献[3]完全不同的方法， 证明了k=5时猜想成立。何波运用递推序列方法 证明了k=6时猜想成立，笔者I 运用递推序列方法 由(1)式知，4争一 为一个平方数，于是4争 证