What is the area shaded in this figure?












1












$begingroup$


I was sent this problem by a friend, they say it is a year 6 question. Using trigonometry I got the shaded area as $4 - frac{pi}{3}$.



Now Year six, I doubt if they do trigonometry. Is there another approach out there?



enter image description here










share|cite|improve this question











$endgroup$












  • $begingroup$
    Are you sure about your answer? It looks a little large to me. I would say that using the symmetry of the diagram you should be expecting something like $8-2pi$.
    $endgroup$
    – postmortes
    Dec 9 '18 at 8:55










  • $begingroup$
    Can you provide details about what you'd expect in sixth year? Visitors here come from a wide variety of contries and educational systems. I assume they wouldn't be doing integrals either?
    $endgroup$
    – MvG
    Dec 9 '18 at 11:51










  • $begingroup$
    @MvG, it doesn't matter now as the actual answer is $frac{32}{5}-4tan^{-1}(frac{3}{4})$, and so you can't do it without trigonometry.
    $endgroup$
    – Anubhab Ghosal
    Dec 9 '18 at 13:11










  • $begingroup$
    This answer finds the area of a related region. In the notation used there, the target area here can be written as $u-|text{region}PAT|$.
    $endgroup$
    – Blue
    Dec 9 '18 at 14:24


















1












$begingroup$


I was sent this problem by a friend, they say it is a year 6 question. Using trigonometry I got the shaded area as $4 - frac{pi}{3}$.



Now Year six, I doubt if they do trigonometry. Is there another approach out there?



enter image description here










share|cite|improve this question











$endgroup$












  • $begingroup$
    Are you sure about your answer? It looks a little large to me. I would say that using the symmetry of the diagram you should be expecting something like $8-2pi$.
    $endgroup$
    – postmortes
    Dec 9 '18 at 8:55










  • $begingroup$
    Can you provide details about what you'd expect in sixth year? Visitors here come from a wide variety of contries and educational systems. I assume they wouldn't be doing integrals either?
    $endgroup$
    – MvG
    Dec 9 '18 at 11:51










  • $begingroup$
    @MvG, it doesn't matter now as the actual answer is $frac{32}{5}-4tan^{-1}(frac{3}{4})$, and so you can't do it without trigonometry.
    $endgroup$
    – Anubhab Ghosal
    Dec 9 '18 at 13:11










  • $begingroup$
    This answer finds the area of a related region. In the notation used there, the target area here can be written as $u-|text{region}PAT|$.
    $endgroup$
    – Blue
    Dec 9 '18 at 14:24
















1












1








1


2



$begingroup$


I was sent this problem by a friend, they say it is a year 6 question. Using trigonometry I got the shaded area as $4 - frac{pi}{3}$.



Now Year six, I doubt if they do trigonometry. Is there another approach out there?



enter image description here










share|cite|improve this question











$endgroup$




I was sent this problem by a friend, they say it is a year 6 question. Using trigonometry I got the shaded area as $4 - frac{pi}{3}$.



Now Year six, I doubt if they do trigonometry. Is there another approach out there?



enter image description here







geometry






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 9 '18 at 12:05









Anubhab Ghosal

1,19619




1,19619










asked Dec 9 '18 at 8:40









Waitara MburuWaitara Mburu

415




415












  • $begingroup$
    Are you sure about your answer? It looks a little large to me. I would say that using the symmetry of the diagram you should be expecting something like $8-2pi$.
    $endgroup$
    – postmortes
    Dec 9 '18 at 8:55










  • $begingroup$
    Can you provide details about what you'd expect in sixth year? Visitors here come from a wide variety of contries and educational systems. I assume they wouldn't be doing integrals either?
    $endgroup$
    – MvG
    Dec 9 '18 at 11:51










  • $begingroup$
    @MvG, it doesn't matter now as the actual answer is $frac{32}{5}-4tan^{-1}(frac{3}{4})$, and so you can't do it without trigonometry.
    $endgroup$
    – Anubhab Ghosal
    Dec 9 '18 at 13:11










  • $begingroup$
    This answer finds the area of a related region. In the notation used there, the target area here can be written as $u-|text{region}PAT|$.
    $endgroup$
    – Blue
    Dec 9 '18 at 14:24




















  • $begingroup$
    Are you sure about your answer? It looks a little large to me. I would say that using the symmetry of the diagram you should be expecting something like $8-2pi$.
    $endgroup$
    – postmortes
    Dec 9 '18 at 8:55










  • $begingroup$
    Can you provide details about what you'd expect in sixth year? Visitors here come from a wide variety of contries and educational systems. I assume they wouldn't be doing integrals either?
    $endgroup$
    – MvG
    Dec 9 '18 at 11:51










  • $begingroup$
    @MvG, it doesn't matter now as the actual answer is $frac{32}{5}-4tan^{-1}(frac{3}{4})$, and so you can't do it without trigonometry.
    $endgroup$
    – Anubhab Ghosal
    Dec 9 '18 at 13:11










  • $begingroup$
    This answer finds the area of a related region. In the notation used there, the target area here can be written as $u-|text{region}PAT|$.
    $endgroup$
    – Blue
    Dec 9 '18 at 14:24


















$begingroup$
Are you sure about your answer? It looks a little large to me. I would say that using the symmetry of the diagram you should be expecting something like $8-2pi$.
$endgroup$
– postmortes
Dec 9 '18 at 8:55




$begingroup$
Are you sure about your answer? It looks a little large to me. I would say that using the symmetry of the diagram you should be expecting something like $8-2pi$.
$endgroup$
– postmortes
Dec 9 '18 at 8:55












$begingroup$
Can you provide details about what you'd expect in sixth year? Visitors here come from a wide variety of contries and educational systems. I assume they wouldn't be doing integrals either?
$endgroup$
– MvG
Dec 9 '18 at 11:51




$begingroup$
Can you provide details about what you'd expect in sixth year? Visitors here come from a wide variety of contries and educational systems. I assume they wouldn't be doing integrals either?
$endgroup$
– MvG
Dec 9 '18 at 11:51












$begingroup$
@MvG, it doesn't matter now as the actual answer is $frac{32}{5}-4tan^{-1}(frac{3}{4})$, and so you can't do it without trigonometry.
$endgroup$
– Anubhab Ghosal
Dec 9 '18 at 13:11




$begingroup$
@MvG, it doesn't matter now as the actual answer is $frac{32}{5}-4tan^{-1}(frac{3}{4})$, and so you can't do it without trigonometry.
$endgroup$
– Anubhab Ghosal
Dec 9 '18 at 13:11












$begingroup$
This answer finds the area of a related region. In the notation used there, the target area here can be written as $u-|text{region}PAT|$.
$endgroup$
– Blue
Dec 9 '18 at 14:24






$begingroup$
This answer finds the area of a related region. In the notation used there, the target area here can be written as $u-|text{region}PAT|$.
$endgroup$
– Blue
Dec 9 '18 at 14:24












2 Answers
2






active

oldest

votes


















1












$begingroup$

Diagram



Label the vertices as shown in the diagram.
$tanalpha=frac{1}{2}implies tan 2alpha=frac{4}{3}implies 2alpha=tan^{-1}(frac{4}{3})$



$therefore$ Area of circular sector$ BAG=8tan^{-1}(frac{4}{3})$



Area of $triangle AGC=16cosalphasinalpha=8sin2alpha=frac{32}{5}$



Thus, area of curved figure $BEG=frac{48}{5}-8tan^{-1}(frac{4}{3})$



Therefore, Area of shaded part$=frac{1}{2}$ (Area of $BEFC$)$-frac{1}{2}$ (Area of semicircle)$-$Area of curved figure $BEG$.



This gives $frac{32}{5}-4pi+8tan^{-1}(frac{4}{3})=frac{32}{5}-4tan^{-1}(frac{3}{4})approx1.252$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
    $endgroup$
    – user126154
    Dec 10 '18 at 10:12










  • $begingroup$
    ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
    $endgroup$
    – user126154
    Dec 10 '18 at 10:43










  • $begingroup$
    @user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:11












  • $begingroup$
    @user126154, Thanks. Fixed the typo.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:22



















1












$begingroup$

Flip the image by vertically.



It is not as simple as you think. Year six is probably high school when they can do geometry and calculus. I have done it using calculus and the area is as shown in the figure
enter image description here






share|cite|improve this answer









$endgroup$













  • $begingroup$
    It widened my approaches and a fantastic link; thank you all!
    $endgroup$
    – Waitara Mburu
    Dec 10 '18 at 10:34










  • $begingroup$
    @WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:15











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%2f3032164%2fwhat-is-the-area-shaded-in-this-figure%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









1












$begingroup$

Diagram



Label the vertices as shown in the diagram.
$tanalpha=frac{1}{2}implies tan 2alpha=frac{4}{3}implies 2alpha=tan^{-1}(frac{4}{3})$



$therefore$ Area of circular sector$ BAG=8tan^{-1}(frac{4}{3})$



Area of $triangle AGC=16cosalphasinalpha=8sin2alpha=frac{32}{5}$



Thus, area of curved figure $BEG=frac{48}{5}-8tan^{-1}(frac{4}{3})$



Therefore, Area of shaded part$=frac{1}{2}$ (Area of $BEFC$)$-frac{1}{2}$ (Area of semicircle)$-$Area of curved figure $BEG$.



This gives $frac{32}{5}-4pi+8tan^{-1}(frac{4}{3})=frac{32}{5}-4tan^{-1}(frac{3}{4})approx1.252$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
    $endgroup$
    – user126154
    Dec 10 '18 at 10:12










  • $begingroup$
    ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
    $endgroup$
    – user126154
    Dec 10 '18 at 10:43










  • $begingroup$
    @user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:11












  • $begingroup$
    @user126154, Thanks. Fixed the typo.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:22
















1












$begingroup$

Diagram



Label the vertices as shown in the diagram.
$tanalpha=frac{1}{2}implies tan 2alpha=frac{4}{3}implies 2alpha=tan^{-1}(frac{4}{3})$



$therefore$ Area of circular sector$ BAG=8tan^{-1}(frac{4}{3})$



Area of $triangle AGC=16cosalphasinalpha=8sin2alpha=frac{32}{5}$



Thus, area of curved figure $BEG=frac{48}{5}-8tan^{-1}(frac{4}{3})$



Therefore, Area of shaded part$=frac{1}{2}$ (Area of $BEFC$)$-frac{1}{2}$ (Area of semicircle)$-$Area of curved figure $BEG$.



This gives $frac{32}{5}-4pi+8tan^{-1}(frac{4}{3})=frac{32}{5}-4tan^{-1}(frac{3}{4})approx1.252$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
    $endgroup$
    – user126154
    Dec 10 '18 at 10:12










  • $begingroup$
    ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
    $endgroup$
    – user126154
    Dec 10 '18 at 10:43










  • $begingroup$
    @user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:11












  • $begingroup$
    @user126154, Thanks. Fixed the typo.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:22














1












1








1





$begingroup$

Diagram



Label the vertices as shown in the diagram.
$tanalpha=frac{1}{2}implies tan 2alpha=frac{4}{3}implies 2alpha=tan^{-1}(frac{4}{3})$



$therefore$ Area of circular sector$ BAG=8tan^{-1}(frac{4}{3})$



Area of $triangle AGC=16cosalphasinalpha=8sin2alpha=frac{32}{5}$



Thus, area of curved figure $BEG=frac{48}{5}-8tan^{-1}(frac{4}{3})$



Therefore, Area of shaded part$=frac{1}{2}$ (Area of $BEFC$)$-frac{1}{2}$ (Area of semicircle)$-$Area of curved figure $BEG$.



This gives $frac{32}{5}-4pi+8tan^{-1}(frac{4}{3})=frac{32}{5}-4tan^{-1}(frac{3}{4})approx1.252$






share|cite|improve this answer











$endgroup$



Diagram



Label the vertices as shown in the diagram.
$tanalpha=frac{1}{2}implies tan 2alpha=frac{4}{3}implies 2alpha=tan^{-1}(frac{4}{3})$



$therefore$ Area of circular sector$ BAG=8tan^{-1}(frac{4}{3})$



Area of $triangle AGC=16cosalphasinalpha=8sin2alpha=frac{32}{5}$



Thus, area of curved figure $BEG=frac{48}{5}-8tan^{-1}(frac{4}{3})$



Therefore, Area of shaded part$=frac{1}{2}$ (Area of $BEFC$)$-frac{1}{2}$ (Area of semicircle)$-$Area of curved figure $BEG$.



This gives $frac{32}{5}-4pi+8tan^{-1}(frac{4}{3})=frac{32}{5}-4tan^{-1}(frac{3}{4})approx1.252$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 10 '18 at 11:22

























answered Dec 9 '18 at 12:46









Anubhab GhosalAnubhab Ghosal

1,19619




1,19619












  • $begingroup$
    the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
    $endgroup$
    – user126154
    Dec 10 '18 at 10:12










  • $begingroup$
    ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
    $endgroup$
    – user126154
    Dec 10 '18 at 10:43










  • $begingroup$
    @user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:11












  • $begingroup$
    @user126154, Thanks. Fixed the typo.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:22


















  • $begingroup$
    the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
    $endgroup$
    – user126154
    Dec 10 '18 at 10:12










  • $begingroup$
    ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
    $endgroup$
    – user126154
    Dec 10 '18 at 10:43










  • $begingroup$
    @user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:11












  • $begingroup$
    @user126154, Thanks. Fixed the typo.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:22
















$begingroup$
the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
$endgroup$
– user126154
Dec 10 '18 at 10:12




$begingroup$
the numerical result is correct, I don't believe other calculation: that of BEG and the last passage where $4pi$ disappear. I think that BEG=$16-32/5 -8tan^{-1}(4/3)$
$endgroup$
– user126154
Dec 10 '18 at 10:12












$begingroup$
ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
$endgroup$
– user126154
Dec 10 '18 at 10:43




$begingroup$
ok, now I understant the last passage: $4/3to 3/4$ but I still think BEG is wrong
$endgroup$
– user126154
Dec 10 '18 at 10:43












$begingroup$
@user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
$endgroup$
– Anubhab Ghosal
Dec 10 '18 at 11:11






$begingroup$
@user126154 $frac{pi}{2}-tan^{-1}(frac{4}{3})=tan^{-1}(frac{3}{4})$
$endgroup$
– Anubhab Ghosal
Dec 10 '18 at 11:11














$begingroup$
@user126154, Thanks. Fixed the typo.
$endgroup$
– Anubhab Ghosal
Dec 10 '18 at 11:22




$begingroup$
@user126154, Thanks. Fixed the typo.
$endgroup$
– Anubhab Ghosal
Dec 10 '18 at 11:22











1












$begingroup$

Flip the image by vertically.



It is not as simple as you think. Year six is probably high school when they can do geometry and calculus. I have done it using calculus and the area is as shown in the figure
enter image description here






share|cite|improve this answer









$endgroup$













  • $begingroup$
    It widened my approaches and a fantastic link; thank you all!
    $endgroup$
    – Waitara Mburu
    Dec 10 '18 at 10:34










  • $begingroup$
    @WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:15
















1












$begingroup$

Flip the image by vertically.



It is not as simple as you think. Year six is probably high school when they can do geometry and calculus. I have done it using calculus and the area is as shown in the figure
enter image description here






share|cite|improve this answer









$endgroup$













  • $begingroup$
    It widened my approaches and a fantastic link; thank you all!
    $endgroup$
    – Waitara Mburu
    Dec 10 '18 at 10:34










  • $begingroup$
    @WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:15














1












1








1





$begingroup$

Flip the image by vertically.



It is not as simple as you think. Year six is probably high school when they can do geometry and calculus. I have done it using calculus and the area is as shown in the figure
enter image description here






share|cite|improve this answer









$endgroup$



Flip the image by vertically.



It is not as simple as you think. Year six is probably high school when they can do geometry and calculus. I have done it using calculus and the area is as shown in the figure
enter image description here







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 9 '18 at 12:13









Satish RamanathanSatish Ramanathan

10k31323




10k31323












  • $begingroup$
    It widened my approaches and a fantastic link; thank you all!
    $endgroup$
    – Waitara Mburu
    Dec 10 '18 at 10:34










  • $begingroup$
    @WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:15


















  • $begingroup$
    It widened my approaches and a fantastic link; thank you all!
    $endgroup$
    – Waitara Mburu
    Dec 10 '18 at 10:34










  • $begingroup$
    @WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
    $endgroup$
    – Anubhab Ghosal
    Dec 10 '18 at 11:15
















$begingroup$
It widened my approaches and a fantastic link; thank you all!
$endgroup$
– Waitara Mburu
Dec 10 '18 at 10:34




$begingroup$
It widened my approaches and a fantastic link; thank you all!
$endgroup$
– Waitara Mburu
Dec 10 '18 at 10:34












$begingroup$
@WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
$endgroup$
– Anubhab Ghosal
Dec 10 '18 at 11:15




$begingroup$
@WaitaraMburu, while one always appreciates if someone benefits from their efforts, it is always good if you upvote and accept an answer(especially answers of new users like me), if you find the answer correct and useful.
$endgroup$
– Anubhab Ghosal
Dec 10 '18 at 11:15


















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%2f3032164%2fwhat-is-the-area-shaded-in-this-figure%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

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?