Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations

Liangyu Chen (), Tuo Leng (), Liyong Shen (), Min Wu (), Zhengfeng Yang () and Zhenbing Zeng ()
Additional contact information
Liangyu Chen: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing
Tuo Leng: Shanghai University, School of Computer Engineering and Science
Liyong Shen: University of Chinese Academy of Sciences, School of Mathematical Science
Min Wu: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing
Zhengfeng Yang: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing
Zhenbing Zeng: Shanghai University, Department of Mathematics

A chapter in Computer Mathematics, 2014, pp 223-241 from Springer

Abstract: Abstract In this paper we prove that if $$L$$ L is the maximal perimeter of triangles inscribed in an ellipse with $$a,b$$ a , b as semi-axes, then $$ (a^2-b^2)^2\cdot L^4-8(2a^2-b^2)(2b^2-a^2)(a^2+b^2)\cdot L^2-432a^4b^4=0 $$ ( a 2 - b 2 ) 2 · L 4 - 8 ( 2 a 2 - b 2 ) ( 2 b 2 - a 2 ) ( a 2 + b 2 ) · L 2 - 432 a 4 b 4 = 0 by accomplishing the following tasks through numeric computations: (1) compute the determinants of matrices of order from $$25$$ 25 to $$34$$ 34 whose entries are polynomials of degree up to $$44$$ 44 , (2) construct a series of rectangles $$R_1,R_2,\ldots ,R_N$$ R 1 , R 2 , … , R N so that if $$L,a,b$$ L , a , b satisfies the relation $$f(L,a,b)=0$$ f ( L , a , b ) = 0 then $$ C_1:=\{(b,L)|f(L,1,b)=0, 0\le b\le 1\}\subset R_1\cup R_2\cup \cdots \cup R_N, $$ C 1 : = { ( b , L ) | f ( L , 1 , b ) = 0 , 0 ≤ b ≤ 1 } ⊂ R 1 ∪ R 2 ∪ ⋯ ∪ R N , and, (3) present a mechanical procedure to decide the validity of $$ R\cap C(F)=\emptyset , $$ R ∩ C ( F ) = ∅ , where $$R$$ R is a closed rectangle region and $$C(F)$$ C ( F ) is an algebraic curve defined by $$F(x,y)=0$$ F ( x , y ) = 0 .

Keywords: Symbolic solution; Optimization; Resultant; Lower and upper bounds; Algebraic curves (search for similar items in EconPapers)
Date: 2014
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-662-43799-5_18

Ordering information: This item can be ordered from
http://www.springer.com/9783662437995

DOI: 10.1007/978-3-662-43799-5_18

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().