[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-85906-en":3,"doc-seo-85906-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},85906,7971461740886,"Theodore","https://ap-avatar.wpscdn.com/davatar_3d24733baf745e90a7e4bdd5f77d97b2",8,"Research & Report","On the First Derivative Bounds for Rational Bézier Curves","Investigates sharp upper bounds for the first derivative of rational Bézier curves and resolves a long-standing conjecture. The linear inequality of the form ||R′(t)|| ≤ nΩ max||Δi|| is proved valid for degrees up to n ≤ 6, turning the task into maximizing a variance-like scalar function over a compact box of admissible adjacent weight ratios. A block/critical-point structure shows maxima occur only on low-dimensional faces, reducing the claim to finitely many polynomial inequalities verified by real quantifier elimination, and analyzing the failure at n = 7.","arXiv :2607 . 10425v1 [math .NA] 11 Jul 2026  \nHighlights  \nOn the First Derivative Bounds for Rational Bézier Curves  \nMao Shi  \n• Rigorously proves a first derivative bound conjecture for rational Bézier curves of degree 6 .  \n• Reduces the global optimization problem to the 1-dimensional skeleton of a compact box.  \n• Employs exact symbolic computation (quantifier elimination) for a finite case verification.  \n• Demonstrates the conjecture is false for degree 7 and provides a method for computing the true bound.  \n• The verified first derivative bound is computable in O (n) time, suitable for real-time applications.  \nOn the First Derivative Bounds for Rational Bézier  \nCurves  \nMao Shi  \nSchool of Mathematics and Statistics, Shaanxi Normal University, Xi’an, China  \nAbstract  \nIn this paper we investigate sharp upper bounds for the first derivative of rational Bézier curves. A long-standing conjecture posited that the linear bound ∥R′(t)∥ ≤ nΩ max ∥∆i ∥ holds for all degrees. We prove that the bound is indeed valid for n ≤ 6, thus resolving the last open low-degree case. The problem is reformulated as maximizing a variance-like function over a compact box. Using a block argument we show that optima can only appear on one-dimensional faces, reducing the task to a finite family of polynomial inequalities, which are verified exactly via real quantifier elimination. A notable practical feature is that the bound can be evaluated in linear time with respect to the degree, making it attractive for real-time geometric processing. The same structural analysis illustrates the failure for n = 7 and outlines how the true worst-case constant can be computed.  \nKeywords: Rational Bézier curves, First derivative bounds, Semi-algebraic optimization, Quantifier elimination  \n1. Introduction  \nEstimating the first derivative bounds of rational Bézier curves is a fundamental problem in Computer Aided Geometric Design (CAGD) . Let  \nR (t) = P ωiBni(t)Pi  0 ≤ t ≤ 1 (1)  \nP ωiBni(t) , ,  \nbe a degree-n rational Bézier curve with control points Pi ∈ Rd and positive weights ωi , where Bni(t) =􀀐ni􀀑ti (1 − t)n−i are the Bernstein basis functions. Let ∆i = Pi+1 − Pi denote the control vector of the polygon.  \nFloater [1] derived the first derivative inequality ∥R′ ∥ ≤ n 􀀐maxmin~~ω~~ω~~i~~i 􀀑 2 max ∥∆i ∥ . Selimović [2] improved this by using the maximal adjacent weight ratio  \nΩ = 0i1 max ( ωi~~ ~~1 , ωi~~ ~~1 ) , (2)  \nobtaining ∥R′ ∥ ≤ nΩn max ∥∆i ∥ . Based on the derivative formula of rational Bézier curves given by Sederberg and Wang [3], Zhang and Ma [4, 5] derived the tighter bound ∥R′(t)∥ ≤ nΩ max ∥∆i ∥ for n = 2 , 3 , 4. Using extensive numerical experiments, Li et al. [6] conjectured that this linear first derivative bound holds for all degrees n. However, Shi [7] constructed counterexamples showing the inequality fails for n ≥ 7. The cases n = 5 and n = 6 have remained open.  \nIn this paper we prove the conjecture for n = 6 . The cases n = 2 , 3 , 4 , 5 can be handled by the same method. Our approach is based on a reduction of the geometric inequality to a global optimization problem over a compact semi-algebraic set, namely the box of admissible adjacent weight ratios. We then show, via a structural analysis of the critical point equations, that the maximum of the resulting scalar function can only be attained on the low-dimensional boundary of this box—more precisely, on its vertices or one-dimensional edges. This reduction transforms the original analytic statement into a finite family of polynomial inequalities involving two real variables, u > 0 and Ω ≥ 1. Each of these conditions is a universally quantified formula of the form ∀ u > 0 , Ω ≥ 1 : Φ(u, Ω) ⇒ Ξ(u, Ω) ≥ 0, which belongs to the decidable theory of real closed fields. The method of quantifier elimination, a fundamental concept in mathematical logic (see, e.g., Rosen [8] or Shi [9] for an accessible introduction), was shown to be applicable to real closed fields by Tarski [10","cbCaiqeknaLhdNQy","https://ap.wps.com/l/cbCaiqeknaLhdNQy","pdf",397780,1,21,"English","en",105,"# Introduction\n# Main result for degree n ≤ 6\n## Reduction to semi-algebraic optimization\n## Quantifier elimination verification\n# Complexity of the bound\n# Theorem and supporting lemma","[{\"question\":\"What conjecture is proved in the paper for rational Bézier curves?\",\"answer\":\"It proves the linear first-derivative bound of the form ||R′(t)|| ≤ nΩ max ||Δi|| for degrees n ≤ 6, completing the last unresolved low-degree case.\"},{\"question\":\"How is the optimization problem reformulated to prove the bound?\",\"answer\":\"The problem is reformulated as maximizing a variance-like scalar function over a compact box of admissible adjacent weight ratios, turning the analytic bound into polynomial inequality checks.\"},{\"question\":\"Why does the bound fail for degree n = 7, and what does the paper propose instead?\",\"answer\":\"The structural analysis shows the inequality does not hold for n = 7 and outlines how to compute the true worst-case constant by the same kind of reduction.\"}]",1784207079,53,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"on-the-first-derivative-bounds-for-rational-bezier-curves","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/on-the-first-derivative-bounds-for-rational-bezier-curves/85906/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What conjecture is proved in the paper for rational Bézier curves?","Question",{"text":75,"@type":76},"It proves the linear first-derivative bound of the form ||R′(t)|| ≤ nΩ max ||Δi|| for degrees n ≤ 6, completing the last unresolved low-degree case.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"How is the optimization problem reformulated to prove the bound?",{"text":80,"@type":76},"The problem is reformulated as maximizing a variance-like scalar function over a compact box of admissible adjacent weight ratios, turning the analytic bound into polynomial inequality checks.",{"name":82,"@type":73,"acceptedAnswer":83},"Why does the bound fail for degree n = 7, and what does the paper propose instead?",{"text":84,"@type":76},"The structural analysis shows the inequality does not hold for n = 7 and outlines how to compute the true worst-case constant by the same kind of reduction.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,128,131,135],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":45,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":45,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":45,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":45,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":45,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":45,"category_name":137,"show_sort_weight":106,"slug":138},19,"General","general"]