Show that if f is differentiable and f'(x) ≥ 0 on (a, b), then f is strictly increasing












1












$begingroup$


Show that if f is differentiable and f'(x) ≥ $0$ on (a, b), then f is strictly increasing provided there is no sub interval (c, d) with с < d on which f' is identically zero.



So so far I'm trying to do this by contradiction:



Suppose not, that is suppose we have function $f$ where f(x)$geq$$0$ on (a,b) where f ' is not identically $0$ for a sub interval of (a,b) and f is not strictly increasing. Since f is not strictly increasing this implies there exists $x_1$ and $x_2$ where a <$x_1$ < $x_2$ < b and f($x_1$) = f($x_2$). Then for all y $in$ [$x_1$, $x_2$], f(y) = f($x_2$) which means that f is constant and f '(y) = 0.



Since f'(y)=$0$ for all y $in$ [$x_1$, $x_2$] this means f ' is identically $0$ which is a contradiction. Thus f is strictly increasing. $square$



I'm not sure if there is a better way to do this but any help or comments would be appreciated!










share|cite|improve this question









$endgroup$












  • $begingroup$
    I'm not sure how you conclude that $f$ is constant on a sub interval. That doesn't follow from the fact that $f$ is not strictly increasing (it may as well be decreasing or not monotonic at all).
    $endgroup$
    – freakish
    Dec 3 '18 at 11:00


















1












$begingroup$


Show that if f is differentiable and f'(x) ≥ $0$ on (a, b), then f is strictly increasing provided there is no sub interval (c, d) with с < d on which f' is identically zero.



So so far I'm trying to do this by contradiction:



Suppose not, that is suppose we have function $f$ where f(x)$geq$$0$ on (a,b) where f ' is not identically $0$ for a sub interval of (a,b) and f is not strictly increasing. Since f is not strictly increasing this implies there exists $x_1$ and $x_2$ where a <$x_1$ < $x_2$ < b and f($x_1$) = f($x_2$). Then for all y $in$ [$x_1$, $x_2$], f(y) = f($x_2$) which means that f is constant and f '(y) = 0.



Since f'(y)=$0$ for all y $in$ [$x_1$, $x_2$] this means f ' is identically $0$ which is a contradiction. Thus f is strictly increasing. $square$



I'm not sure if there is a better way to do this but any help or comments would be appreciated!










share|cite|improve this question









$endgroup$












  • $begingroup$
    I'm not sure how you conclude that $f$ is constant on a sub interval. That doesn't follow from the fact that $f$ is not strictly increasing (it may as well be decreasing or not monotonic at all).
    $endgroup$
    – freakish
    Dec 3 '18 at 11:00
















1












1








1





$begingroup$


Show that if f is differentiable and f'(x) ≥ $0$ on (a, b), then f is strictly increasing provided there is no sub interval (c, d) with с < d on which f' is identically zero.



So so far I'm trying to do this by contradiction:



Suppose not, that is suppose we have function $f$ where f(x)$geq$$0$ on (a,b) where f ' is not identically $0$ for a sub interval of (a,b) and f is not strictly increasing. Since f is not strictly increasing this implies there exists $x_1$ and $x_2$ where a <$x_1$ < $x_2$ < b and f($x_1$) = f($x_2$). Then for all y $in$ [$x_1$, $x_2$], f(y) = f($x_2$) which means that f is constant and f '(y) = 0.



Since f'(y)=$0$ for all y $in$ [$x_1$, $x_2$] this means f ' is identically $0$ which is a contradiction. Thus f is strictly increasing. $square$



I'm not sure if there is a better way to do this but any help or comments would be appreciated!










share|cite|improve this question









$endgroup$




Show that if f is differentiable and f'(x) ≥ $0$ on (a, b), then f is strictly increasing provided there is no sub interval (c, d) with с < d on which f' is identically zero.



So so far I'm trying to do this by contradiction:



Suppose not, that is suppose we have function $f$ where f(x)$geq$$0$ on (a,b) where f ' is not identically $0$ for a sub interval of (a,b) and f is not strictly increasing. Since f is not strictly increasing this implies there exists $x_1$ and $x_2$ where a <$x_1$ < $x_2$ < b and f($x_1$) = f($x_2$). Then for all y $in$ [$x_1$, $x_2$], f(y) = f($x_2$) which means that f is constant and f '(y) = 0.



Since f'(y)=$0$ for all y $in$ [$x_1$, $x_2$] this means f ' is identically $0$ which is a contradiction. Thus f is strictly increasing. $square$



I'm not sure if there is a better way to do this but any help or comments would be appreciated!







real-analysis






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 3 '18 at 10:54









NolandoNolando

111




111












  • $begingroup$
    I'm not sure how you conclude that $f$ is constant on a sub interval. That doesn't follow from the fact that $f$ is not strictly increasing (it may as well be decreasing or not monotonic at all).
    $endgroup$
    – freakish
    Dec 3 '18 at 11:00




















  • $begingroup$
    I'm not sure how you conclude that $f$ is constant on a sub interval. That doesn't follow from the fact that $f$ is not strictly increasing (it may as well be decreasing or not monotonic at all).
    $endgroup$
    – freakish
    Dec 3 '18 at 11:00


















$begingroup$
I'm not sure how you conclude that $f$ is constant on a sub interval. That doesn't follow from the fact that $f$ is not strictly increasing (it may as well be decreasing or not monotonic at all).
$endgroup$
– freakish
Dec 3 '18 at 11:00






$begingroup$
I'm not sure how you conclude that $f$ is constant on a sub interval. That doesn't follow from the fact that $f$ is not strictly increasing (it may as well be decreasing or not monotonic at all).
$endgroup$
– freakish
Dec 3 '18 at 11:00












2 Answers
2






active

oldest

votes


















0












$begingroup$

Your idea of going by contradiction is a good one, but it is not performed all that well. In particular, your argument that there exist $x_1<x_2$ such that $f(x_1)=f(x_2)$ is ok, but it is not clear how to conclude from that the fact that $f$ is constant of $[x_1,x_2]$.



My advice is to either use Rolle's theorem on $x_1,x_2$, or to restart your proof, write exactly what "not strictly increasing" means, and go with the classics and employ Lagrange's mean value theorem.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
    $endgroup$
    – Nolando
    Dec 3 '18 at 12:02










  • $begingroup$
    @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
    $endgroup$
    – 5xum
    Dec 3 '18 at 12:41










  • $begingroup$
    Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
    $endgroup$
    – Nolando
    Dec 3 '18 at 13:27



















-1












$begingroup$

To prove that by contradiction, firstly we can prove that $f'(x)>0 implies f(x)$ strictly increasing.



Suppose indeed that exist $x_1<x_2$ such that $f(x_1)>f(x_2)$ then by MVT



$$f(x_2)-f(x_1)=(x_2-x_1)f'(c)>0$$



which is a contradiction.



Form here we can now extend the result to $f'(x)ge 0$, with $f'(x)=0$ only for a set of isolated points, $implies f(x)$ strictly increasing, indeed assuming again by contradiction that $f(x)$ is not strictly increasing then it would exist an interval with $f'(x)=0$ which is against the hypotesis.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3023902%2fshow-that-if-f-is-differentiable-and-fx-%25e2%2589%25a5-0-on-a-b-then-f-is-strictly-inc%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    0












    $begingroup$

    Your idea of going by contradiction is a good one, but it is not performed all that well. In particular, your argument that there exist $x_1<x_2$ such that $f(x_1)=f(x_2)$ is ok, but it is not clear how to conclude from that the fact that $f$ is constant of $[x_1,x_2]$.



    My advice is to either use Rolle's theorem on $x_1,x_2$, or to restart your proof, write exactly what "not strictly increasing" means, and go with the classics and employ Lagrange's mean value theorem.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
      $endgroup$
      – Nolando
      Dec 3 '18 at 12:02










    • $begingroup$
      @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
      $endgroup$
      – 5xum
      Dec 3 '18 at 12:41










    • $begingroup$
      Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
      $endgroup$
      – Nolando
      Dec 3 '18 at 13:27
















    0












    $begingroup$

    Your idea of going by contradiction is a good one, but it is not performed all that well. In particular, your argument that there exist $x_1<x_2$ such that $f(x_1)=f(x_2)$ is ok, but it is not clear how to conclude from that the fact that $f$ is constant of $[x_1,x_2]$.



    My advice is to either use Rolle's theorem on $x_1,x_2$, or to restart your proof, write exactly what "not strictly increasing" means, and go with the classics and employ Lagrange's mean value theorem.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
      $endgroup$
      – Nolando
      Dec 3 '18 at 12:02










    • $begingroup$
      @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
      $endgroup$
      – 5xum
      Dec 3 '18 at 12:41










    • $begingroup$
      Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
      $endgroup$
      – Nolando
      Dec 3 '18 at 13:27














    0












    0








    0





    $begingroup$

    Your idea of going by contradiction is a good one, but it is not performed all that well. In particular, your argument that there exist $x_1<x_2$ such that $f(x_1)=f(x_2)$ is ok, but it is not clear how to conclude from that the fact that $f$ is constant of $[x_1,x_2]$.



    My advice is to either use Rolle's theorem on $x_1,x_2$, or to restart your proof, write exactly what "not strictly increasing" means, and go with the classics and employ Lagrange's mean value theorem.






    share|cite|improve this answer









    $endgroup$



    Your idea of going by contradiction is a good one, but it is not performed all that well. In particular, your argument that there exist $x_1<x_2$ such that $f(x_1)=f(x_2)$ is ok, but it is not clear how to conclude from that the fact that $f$ is constant of $[x_1,x_2]$.



    My advice is to either use Rolle's theorem on $x_1,x_2$, or to restart your proof, write exactly what "not strictly increasing" means, and go with the classics and employ Lagrange's mean value theorem.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Dec 3 '18 at 10:58









    5xum5xum

    90.2k393161




    90.2k393161












    • $begingroup$
      I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
      $endgroup$
      – Nolando
      Dec 3 '18 at 12:02










    • $begingroup$
      @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
      $endgroup$
      – 5xum
      Dec 3 '18 at 12:41










    • $begingroup$
      Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
      $endgroup$
      – Nolando
      Dec 3 '18 at 13:27


















    • $begingroup$
      I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
      $endgroup$
      – Nolando
      Dec 3 '18 at 12:02










    • $begingroup$
      @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
      $endgroup$
      – 5xum
      Dec 3 '18 at 12:41










    • $begingroup$
      Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
      $endgroup$
      – Nolando
      Dec 3 '18 at 13:27
















    $begingroup$
    I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
    $endgroup$
    – Nolando
    Dec 3 '18 at 12:02




    $begingroup$
    I was wondering how I would define not strictly increasing, would I negate the formal definition or find the contrapositive of the definition? Or is there another way?
    $endgroup$
    – Nolando
    Dec 3 '18 at 12:02












    $begingroup$
    @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
    $endgroup$
    – 5xum
    Dec 3 '18 at 12:41




    $begingroup$
    @Nolando That's exactly it. A function is strictly increasing if for all $x_1,x_2$ such that $x_1<x_2$, we have $f(x_1)<f(x_2)$. Symbolically, this can be written as $$forall x_1, x_2: x_1<x_2implies f(x_1)<f(x_2)$$ By definition, a function is not strictly increasing if the negation of that holds, i.e. $$exists x_1,x_2:x_1<x_2land f(x_1)geq f(x_2)$$ meaning there exists some pair $x_1,x_2$ such that $x_1<x_2$ and $f(x_1)geq f(x_2)$.
    $endgroup$
    – 5xum
    Dec 3 '18 at 12:41












    $begingroup$
    Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
    $endgroup$
    – Nolando
    Dec 3 '18 at 13:27




    $begingroup$
    Thanks! I was thinking wondering if i should go along the lines of $dfrac{f(x2)-f(x1)}{x2-x1}$ $geq$ 0 since f '(x) $geq$ 0 then f(x2)-f(x1) $geq$ 0 but from the fact f is not strictly increasing and f(x2) -f(x1) $leq$ 0. So f(x2)-f(x1) = 0. I'm not sure if this is a good way to go about it either.
    $endgroup$
    – Nolando
    Dec 3 '18 at 13:27











    -1












    $begingroup$

    To prove that by contradiction, firstly we can prove that $f'(x)>0 implies f(x)$ strictly increasing.



    Suppose indeed that exist $x_1<x_2$ such that $f(x_1)>f(x_2)$ then by MVT



    $$f(x_2)-f(x_1)=(x_2-x_1)f'(c)>0$$



    which is a contradiction.



    Form here we can now extend the result to $f'(x)ge 0$, with $f'(x)=0$ only for a set of isolated points, $implies f(x)$ strictly increasing, indeed assuming again by contradiction that $f(x)$ is not strictly increasing then it would exist an interval with $f'(x)=0$ which is against the hypotesis.






    share|cite|improve this answer











    $endgroup$


















      -1












      $begingroup$

      To prove that by contradiction, firstly we can prove that $f'(x)>0 implies f(x)$ strictly increasing.



      Suppose indeed that exist $x_1<x_2$ such that $f(x_1)>f(x_2)$ then by MVT



      $$f(x_2)-f(x_1)=(x_2-x_1)f'(c)>0$$



      which is a contradiction.



      Form here we can now extend the result to $f'(x)ge 0$, with $f'(x)=0$ only for a set of isolated points, $implies f(x)$ strictly increasing, indeed assuming again by contradiction that $f(x)$ is not strictly increasing then it would exist an interval with $f'(x)=0$ which is against the hypotesis.






      share|cite|improve this answer











      $endgroup$
















        -1












        -1








        -1





        $begingroup$

        To prove that by contradiction, firstly we can prove that $f'(x)>0 implies f(x)$ strictly increasing.



        Suppose indeed that exist $x_1<x_2$ such that $f(x_1)>f(x_2)$ then by MVT



        $$f(x_2)-f(x_1)=(x_2-x_1)f'(c)>0$$



        which is a contradiction.



        Form here we can now extend the result to $f'(x)ge 0$, with $f'(x)=0$ only for a set of isolated points, $implies f(x)$ strictly increasing, indeed assuming again by contradiction that $f(x)$ is not strictly increasing then it would exist an interval with $f'(x)=0$ which is against the hypotesis.






        share|cite|improve this answer











        $endgroup$



        To prove that by contradiction, firstly we can prove that $f'(x)>0 implies f(x)$ strictly increasing.



        Suppose indeed that exist $x_1<x_2$ such that $f(x_1)>f(x_2)$ then by MVT



        $$f(x_2)-f(x_1)=(x_2-x_1)f'(c)>0$$



        which is a contradiction.



        Form here we can now extend the result to $f'(x)ge 0$, with $f'(x)=0$ only for a set of isolated points, $implies f(x)$ strictly increasing, indeed assuming again by contradiction that $f(x)$ is not strictly increasing then it would exist an interval with $f'(x)=0$ which is against the hypotesis.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 3 '18 at 11:34

























        answered Dec 3 '18 at 11:24









        gimusigimusi

        92.9k94494




        92.9k94494






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3023902%2fshow-that-if-f-is-differentiable-and-fx-%25e2%2589%25a5-0-on-a-b-then-f-is-strictly-inc%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Ellipse (mathématiques)

            Quarter-circle Tiles

            Mont Emei