In this paper we extend and deepen a shortlist for the 37th International Mathematical Olympiad (IMO) and propose the Frog Leap Commute Theorem and the Queue Polynomial. We explore the problem from the following aspects: (1) Make use of semi-invariants and propose the Frog Leap Commute Theorem. (2) Make extensions regarding frogs leaping to opposite directions on a straight line. (3) Research frogs leaping to the same direction on a straight line and solve the minimum number of frogs satisfying an infinite leap. (4) Extend the problem to leaps on a plane or in space. (5) Research and extend problems regarding frogs leaping on a circle. (6) Estimate the function c(n) and calculate the order of the function.

The problem of the existence of infinitely many prime values of a number-theoretic function f (x) has been one of the most important topics in Number Theory. Note that if f (x) represents infinitely many primes, then we can get this necessary condition: for any positive integer h , there exists a positive integer k such that ( f (k), h) =1and f (k) >1. Naturally, we are interested in the number-theoretic functions f (x) that satisfy the aforementioned necessary condition. Thus, there must exist the least positive integer n such that (f(n),h)-1andf(k)>1. Denote this least positive integer n byF_f(h). In this paper, we mainly focus on three famous number-theoretic functions:&f(x)=2^{2^x}+1,m(x)=2^x-1 and l(x)=x^2+1& proving they satisfy the aforementioned necessary condition respectively. Furthermore, we approximately estimate the upper bound of F_f(x)(h),Fm(x)(h)，Fl(x)(h) respectively, and obtain some interesting results.

The traditional kaleidoscope uses the prism as a basic unit. Through the reflections of the mirrors on the inner surfaces of a prism, we can see many symmetric axles and patterns. However, traditional kaleidoscope only presents two-dimensional images. The three-dimensional kaleidoscope we designed uses the pyramid as a basic unit. We can see three-dimensional images via mirror faces on the inner surfaces of the pyramid. Our examination shows that not all pyramids are able to show three-dimensional images but only pyramids with specific angles do. The kaleidoscope we designed differs from the traditional kaleidoscope in the following ways: ①Our three-dimensional kaleidoscope not only shows three-dimensional space, but also shows it through two-dimensional planes. ②Our three-dimensional kaleidoscope is based on three kinds of pyramid: three-sided pyramid (tetrahedron), four-sided pyramid (square pyramid) and five-sided pyramid (pentagonal pyramid). Each kind of pyramid has its own charm in showing its reflected images. ③Each kind of pyramid is separated from its entire geometry. However, it can present the whole view of the geometry after mirrored. Our exploration shows that two dimensional and three dimensional worlds can change into one another under specific conditions. Perhaps before long we can discover more dimensions and explain the relationships between each kind of dimension. This treatise mainly involves the principles of Euclidean Geometry and Projective Geometry.

No abstract uploaded!

A circle family is a group of separate or tangent circles in the plane. In this paper, we study how many parts at most a plane can be divided by several circle families if the circles in a same family must be separate (resp. if the circles can be tangent). We also study the necessary conditions for the intersection of two circle families. Then we primarily discuss the similar problems in higher dimensional space and in the end,raise some conjectures.